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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
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	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	17
Trace number 5435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 23:57:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3890 boxname=wulflinc30 idbench=130 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc30/normalized-g125.17.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc30/normalized-g125.17.opb /oldhome/oroussel/tmp/wulflinc30/normalized-g125.17.opb
IDLAUNCH: 3890
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        733656 kB
Buffers:         37500 kB
Cached:         222328 kB
SwapCached:          0 kB
Active:          83628 kB
Inactive:       179080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        733404 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32644 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 00:17:15 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 3890 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 68397 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |   68397   138669 |   20519       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/4250          
c   -- var.elim.:  2000/4250          
c   -- var.elim.:  3000/4250          
c   -- var.elim.:  4000/4250          
c   -- var.elim.:  4250/4250          
c |         0 |   68397   138669 |   27358       0        0     nan |  0.000 % |
c |       100 |   68397   138669 |   30094     100     5502    55.0 |  0.000 % |
c |       250 |   68397   138669 |   33104     250    19292    77.2 |  0.000 % |
c |       476 |   68397   138669 |   36414     476    63440   133.3 |  0.000 % |
c |       814 |   68397   138669 |   40056     814   166770   204.9 |  0.000 %#### 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.49 0.80 0.85 2/54 16356
Raw data (stat): 16356 (runsolver) R 16355 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480082251 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.57 0.81 0.85 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 4374 0 0 0 986 12 0 0 25 0 1 0 480082251 20668416 4352 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5046 4352 603 41 0 5005 0
vsize: 20184
[startup+20.0018 s]
Raw data (loadavg): 0.63 0.82 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 5770 0 0 0 1982 16 0 0 25 0 1 0 480082251 26357760 5748 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6435 5748 603 41 0 6394 0
vsize: 25740
[startup+30.0019 s]
Raw data (loadavg): 0.69 0.82 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 7329 0 0 0 2978 20 0 0 25 0 1 0 480082251 32690176 7307 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7981 7307 603 41 0 7940 0
vsize: 31924
[startup+40.0017 s]
Raw data (loadavg): 0.74 0.83 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 8676 0 0 0 3974 24 0 0 25 0 1 0 480082251 38236160 8654 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9335 8654 603 41 0 9294 0
vsize: 37340
[startup+50.0029 s]
Raw data (loadavg): 0.78 0.83 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 9993 0 0 0 4971 27 0 0 25 0 1 0 480082251 43663360 9971 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10660 9971 603 41 0 10619 0
vsize: 42640
[startup+60.0034 s]
Raw data (loadavg): 0.81 0.84 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 11603 0 0 0 5967 32 0 0 25 0 1 0 480082251 50249728 11581 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12268 11581 603 41 0 12227 0
vsize: 49072
[startup+70.0041 s]
Raw data (loadavg): 0.84 0.84 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 13136 0 0 0 6963 36 0 0 25 0 1 0 480082251 56610816 13114 4294967295 134512640 134672761 3221224560 3221223600 134603510 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13821 13114 603 41 0 13780 0
vsize: 55284
[startup+80.0046 s]
Raw data (loadavg): 0.86 0.85 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 14220 0 0 0 7961 39 0 0 25 0 1 0 480082251 61030400 14198 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14900 14198 603 41 0 14859 0
vsize: 59600
[startup+90.0048 s]
Raw data (loadavg): 0.88 0.85 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 15275 0 0 0 8957 42 0 0 25 0 1 0 480082251 65323008 15253 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15948 15253 603 41 0 15907 0
vsize: 63792
[startup+100.005 s]
Raw data (loadavg): 0.90 0.86 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 16439 0 0 0 9955 45 0 0 25 0 1 0 480082251 70029312 16417 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17097 16417 603 41 0 17056 0
vsize: 68388
[startup+110.006 s]
Raw data (loadavg): 0.92 0.86 0.86 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 17494 0 0 0 10952 48 0 0 25 0 1 0 480082251 74383360 17472 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18160 17472 603 41 0 18119 0
vsize: 72640
[startup+120.006 s]
Raw data (loadavg): 0.93 0.86 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 18616 0 0 0 11948 52 0 0 25 0 1 0 480082251 78995456 18594 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19286 18594 603 41 0 19245 0
vsize: 77144
[startup+130.006 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 19365 0 0 0 12946 54 0 0 25 0 1 0 480082251 82034688 19343 4294967295 134512640 134672761 3221224560 3221223744 134615940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20028 19343 603 41 0 19987 0
vsize: 80112
[startup+140.006 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 20104 0 0 0 13944 56 0 0 25 0 1 0 480082251 85209088 20082 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20803 20082 603 41 0 20762 0
vsize: 83212
[startup+150.007 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 20841 0 0 0 14942 59 0 0 25 0 1 0 480082251 88236032 20819 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21542 20819 603 41 0 21501 0
vsize: 86168
[startup+160.007 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 21522 0 0 0 15940 61 0 0 25 0 1 0 480082251 91017216 21500 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22221 21500 603 41 0 22180 0
vsize: 88884
[startup+170.008 s]
Raw data (loadavg): 0.97 0.88 0.87 2/54 16356
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 22161 0 0 0 16938 63 0 0 25 0 1 0 480082251 93663232 22139 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22867 22139 603 41 0 22826 0
vsize: 91468
[startup+180.007 s]
Raw data (loadavg): 1.04 0.90 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 22797 0 0 0 17933 67 0 0 25 0 1 0 480082251 96190464 22775 4294967295 134512640 134672761 3221224560 3221223744 134615617 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23484 22775 603 41 0 23443 0
vsize: 93936
[startup+190.008 s]
Raw data (loadavg): 1.04 0.91 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 24002 0 0 0 18930 71 0 0 25 0 1 0 480082251 101212160 23980 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24710 23980 603 41 0 24669 0
vsize: 98840
[startup+200.008 s]
Raw data (loadavg): 1.03 0.91 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 24871 0 0 0 19928 73 0 0 25 0 1 0 480082251 104669184 24849 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25554 24849 603 41 0 25513 0
vsize: 102216
[startup+210.008 s]
Raw data (loadavg): 1.03 0.91 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 25706 0 0 0 20926 75 0 0 25 0 1 0 480082251 108109824 25684 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26394 25684 603 41 0 26353 0
vsize: 105576
[startup+220.009 s]
Raw data (loadavg): 1.02 0.91 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 26479 0 0 0 21924 77 0 0 25 0 1 0 480082251 111288320 26457 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27170 26457 603 41 0 27129 0
vsize: 108680
[startup+230.009 s]
Raw data (loadavg): 1.02 0.92 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 27132 0 0 0 22922 79 0 0 25 0 1 0 480082251 113938432 27110 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27817 27110 603 41 0 27776 0
vsize: 111268
[startup+240.01 s]
Raw data (loadavg): 1.01 0.92 0.88 2/54 16409
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 27833 0 0 0 23921 80 0 0 25 0 1 0 480082251 116871168 27811 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28533 27811 603 41 0 28492 0
vsize: 114132
[startup+250.009 s]
Raw data (loadavg): 1.01 0.92 0.88 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 28482 0 0 0 24920 81 0 0 25 0 1 0 480082251 119533568 28460 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29183 28460 603 41 0 29142 0
vsize: 116732
[startup+260.011 s]
Raw data (loadavg): 1.01 0.92 0.88 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 29292 0 0 0 25919 83 0 0 25 0 1 0 480082251 122740736 29270 4294967295 134512640 134672761 3221224560 3221223744 134615921 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29966 29270 603 41 0 29925 0
vsize: 119864
[startup+270.011 s]
Raw data (loadavg): 1.01 0.92 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 29902 0 0 0 26918 84 0 0 25 0 1 0 480082251 125243392 29880 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30577 29880 603 41 0 30536 0
vsize: 122308
[startup+280.011 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 30362 0 0 0 27917 85 0 0 25 0 1 0 480082251 127115264 30340 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31034 30340 603 41 0 30993 0
vsize: 124136
[startup+290.012 s]
Raw data (loadavg): 1.00 0.93 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 30771 0 0 0 28916 86 0 0 25 0 1 0 480082251 128860160 30749 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31460 30749 603 41 0 31419 0
vsize: 125840
[startup+300.011 s]
Raw data (loadavg): 1.00 0.93 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 31331 0 0 0 29915 87 0 0 25 0 1 0 480082251 131104768 31309 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32008 31309 603 41 0 31967 0
vsize: 128032
[startup+310.012 s]
Raw data (loadavg): 1.00 0.93 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 32090 0 0 0 30914 89 0 0 25 0 1 0 480082251 134254592 32068 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32777 32068 603 41 0 32736 0
vsize: 131108
[startup+320.013 s]
Raw data (loadavg): 1.00 0.93 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 32987 0 0 0 31911 91 0 0 25 0 1 0 480082251 137912320 32965 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33670 32965 603 41 0 33629 0
vsize: 134680
[startup+330.013 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 33747 0 0 0 32908 94 0 0 25 0 1 0 480082251 141082624 33725 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34444 33725 603 41 0 34403 0
vsize: 137776
[startup+340.013 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 34503 0 0 0 33905 96 0 0 25 0 1 0 480082251 144125952 34481 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35187 34481 603 41 0 35146 0
vsize: 140748
[startup+350.013 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 35288 0 0 0 34903 98 0 0 25 0 1 0 480082251 147283968 35266 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35958 35266 603 41 0 35917 0
vsize: 143832
[startup+360.013 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 36030 0 0 0 35902 100 0 0 25 0 1 0 480082251 150433792 36008 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36727 36008 603 41 0 36686 0
vsize: 146908
[startup+370.013 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 36811 0 0 0 36901 101 0 0 25 0 1 0 480082251 153587712 36789 4294967295 134512640 134672761 3221224560 3221223744 134615665 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37497 36789 603 41 0 37456 0
vsize: 149988
[startup+380.013 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 37672 0 0 0 37898 104 0 0 25 0 1 0 480082251 157401088 37650 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38428 37650 603 41 0 38387 0
vsize: 153712
[startup+390.014 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 38408 0 0 0 38896 106 0 0 25 0 1 0 480082251 160407552 38386 4294967295 134512640 134672761 3221224560 3221223744 134615591 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39162 38386 603 41 0 39121 0
vsize: 156648
[startup+400.013 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 38968 0 0 0 39895 108 0 0 25 0 1 0 480082251 162648064 38946 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39709 38946 603 41 0 39668 0
vsize: 158836
[startup+410.015 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 39784 0 0 0 40893 109 0 0 25 0 1 0 480082251 165941248 39762 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40513 39762 603 41 0 40472 0
vsize: 162052
[startup+420.014 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 40216 0 0 0 41893 110 0 0 25 0 1 0 480082251 167788544 40194 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40964 40194 603 41 0 40923 0
vsize: 163856
[startup+430.014 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 40657 0 0 0 42892 111 0 0 25 0 1 0 480082251 169512960 40635 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41385 40635 603 41 0 41344 0
vsize: 165540
[startup+440.014 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 41248 0 0 0 43891 113 0 0 25 0 1 0 480082251 172027904 41226 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41999 41226 603 41 0 41958 0
vsize: 167996
[startup+450.014 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 41856 0 0 0 44890 114 0 0 25 0 1 0 480082251 174505984 41834 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42604 41834 603 41 0 42563 0
vsize: 170416
[startup+460.015 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 42422 0 0 0 45888 115 0 0 25 0 1 0 480082251 176750592 42400 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43152 42400 603 41 0 43111 0
vsize: 172608
[startup+470.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 43026 0 0 0 46887 116 0 0 25 0 1 0 480082251 179240960 43004 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43760 43004 603 41 0 43719 0
vsize: 175040
[startup+480.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 43547 0 0 0 47886 118 0 0 25 0 1 0 480082251 181338112 43525 4294967295 134512640 134672761 3221224560 3221223744 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44272 43525 603 41 0 44231 0
vsize: 177088
[startup+490.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 44041 0 0 0 48885 119 0 0 25 0 1 0 480082251 183443456 44019 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44786 44019 603 41 0 44745 0
vsize: 179144
[startup+500.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 44488 0 0 0 49884 121 0 0 25 0 1 0 480082251 185278464 44466 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45234 44466 603 41 0 45193 0
vsize: 180936
[startup+510.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16411
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 44886 0 0 0 50882 122 0 0 25 0 1 0 480082251 186867712 44864 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45622 44864 603 41 0 45581 0
vsize: 182488
[startup+520.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 45324 0 0 0 51881 123 0 0 25 0 1 0 480082251 188710912 45302 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46072 45302 603 41 0 46031 0
vsize: 184288
[startup+530.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 45884 0 0 0 52880 125 0 0 25 0 1 0 480082251 190935040 45862 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46615 45862 603 41 0 46574 0
vsize: 186460
[startup+540.017 s]
Raw data (loadavg): 1.08 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 46439 0 0 0 53879 127 0 0 25 0 1 0 480082251 193294336 46417 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47191 46417 603 41 0 47150 0
vsize: 188764
[startup+550.016 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 47023 0 0 0 54877 128 0 0 25 0 1 0 480082251 195653632 47001 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47767 47001 603 41 0 47726 0
vsize: 191068
[startup+560.018 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 47583 0 0 0 55876 130 0 0 25 0 1 0 480082251 197885952 47561 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48312 47561 603 41 0 48271 0
vsize: 193248
[startup+570.018 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 48037 0 0 0 56875 131 0 0 25 0 1 0 480082251 199835648 48015 4294967295 134512640 134672761 3221224560 3221223744 134615747 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48788 48015 603 41 0 48747 0
vsize: 195152
[startup+580.018 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 48519 0 0 0 57874 132 0 0 25 0 1 0 480082251 201830400 48497 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49275 48497 603 41 0 49234 0
vsize: 197100
[startup+590.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 49064 0 0 0 58872 134 0 0 25 0 1 0 480082251 204054528 49042 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49818 49042 603 41 0 49777 0
vsize: 199272
[startup+600.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 49500 0 0 0 59871 135 0 0 25 0 1 0 480082251 205766656 49478 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50236 49478 603 41 0 50195 0
vsize: 200944
[startup+610.018 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 49975 0 0 0 60870 136 0 0 25 0 1 0 480082251 207736832 49953 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50717 49953 603 41 0 50676 0
vsize: 202868
[startup+620.019 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 50449 0 0 0 61869 138 0 0 25 0 1 0 480082251 209690624 50427 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51194 50427 603 41 0 51153 0
vsize: 204776
[startup+630.018 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 50985 0 0 0 62868 139 0 0 25 0 1 0 480082251 211931136 50963 4294967295 134512640 134672761 3221224560 3221223744 134615752 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51741 50963 603 41 0 51700 0
vsize: 206964
[startup+640.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 51446 0 0 0 63867 140 0 0 25 0 1 0 480082251 213766144 51424 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52189 51424 603 41 0 52148 0
vsize: 208756
[startup+650.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 51959 0 0 0 64866 141 0 0 25 0 1 0 480082251 215846912 51937 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52697 51937 603 41 0 52656 0
vsize: 210788
[startup+660.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 52449 0 0 0 65865 143 0 0 25 0 1 0 480082251 217964544 52427 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53214 52427 603 41 0 53173 0
vsize: 212856
[startup+670.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 52904 0 0 0 66864 144 0 0 25 0 1 0 480082251 219815936 52882 4294967295 134512640 134672761 3221224560 3221223744 134615703 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53666 52882 603 41 0 53625 0
vsize: 214664
[startup+680.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 53384 0 0 0 67862 145 0 0 25 0 1 0 480082251 221786112 53362 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54147 53362 603 41 0 54106 0
vsize: 216588
[startup+690.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 53872 0 0 0 68862 146 0 0 25 0 1 0 480082251 223756288 53850 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54628 53850 603 41 0 54587 0
vsize: 218512
[startup+700.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 54368 0 0 0 69860 148 0 0 25 0 1 0 480082251 225730560 54346 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55110 54346 603 41 0 55069 0
vsize: 220440
[startup+710.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 54886 0 0 0 70859 150 0 0 25 0 1 0 480082251 227840000 54864 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55625 54864 603 41 0 55584 0
vsize: 222500
[startup+720.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 55333 0 0 0 71858 151 0 0 25 0 1 0 480082251 229691392 55311 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56077 55311 603 41 0 56036 0
vsize: 224308
[startup+730.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 55796 0 0 0 72857 152 0 0 25 0 1 0 480082251 231555072 55774 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56532 55774 603 41 0 56491 0
vsize: 226128
[startup+740.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 56299 0 0 0 73856 153 0 0 25 0 1 0 480082251 233664512 56277 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57047 56277 603 41 0 57006 0
vsize: 228188
[startup+750.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 56850 0 0 0 74855 154 0 0 25 0 1 0 480082251 235921408 56828 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57598 56828 603 41 0 57557 0
vsize: 230392
[startup+760.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 57369 0 0 0 75854 155 0 0 25 0 1 0 480082251 238043136 57347 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58116 57347 603 41 0 58075 0
vsize: 232464
[startup+770.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 58021 0 0 0 76853 157 0 0 25 0 1 0 480082251 240664576 57999 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58756 57999 603 41 0 58715 0
vsize: 235024
[startup+780.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 58567 0 0 0 77851 158 0 0 25 0 1 0 480082251 242892800 58545 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59300 58545 603 41 0 59259 0
vsize: 237200
[startup+790.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 59313 0 0 0 78850 160 0 0 25 0 1 0 480082251 246013952 59291 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60062 59291 603 41 0 60021 0
vsize: 240248
[startup+800.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 59948 0 0 0 79848 161 0 0 25 0 1 0 480082251 248631296 59926 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60701 59926 603 41 0 60660 0
vsize: 242804
[startup+810.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 60382 0 0 0 80848 163 0 0 25 0 1 0 480082251 250339328 60360 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61118 60360 603 41 0 61077 0
vsize: 244472
[startup+820.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 60788 0 0 0 81847 164 0 0 25 0 1 0 480082251 252047360 60766 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61535 60766 603 41 0 61494 0
vsize: 246140
[startup+830.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 61360 0 0 0 82846 165 0 0 25 0 1 0 480082251 254418944 61338 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62114 61338 603 41 0 62073 0
vsize: 248456
[startup+840.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 61850 0 0 0 83845 166 0 0 25 0 1 0 480082251 256385024 61828 4294967295 134512640 134672761 3221224560 3221223744 134615921 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62594 61828 603 41 0 62553 0
vsize: 250376
[startup+850.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 62355 0 0 0 84844 167 0 0 25 0 1 0 480082251 258461696 62333 4294967295 134512640 134672761 3221224560 3221223696 134614800 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63101 62333 603 41 0 63060 0
vsize: 252404
[startup+860.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 62912 0 0 0 85843 168 0 0 25 0 1 0 480082251 260702208 62890 4294967295 134512640 134672761 3221224560 3221223744 134615785 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63648 62890 603 41 0 63607 0
vsize: 254592
[startup+870.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 63495 0 0 0 86842 170 0 0 25 0 1 0 480082251 263069696 63473 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64226 63473 603 41 0 64185 0
vsize: 256904
[startup+880.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 63900 0 0 0 87841 171 0 0 25 0 1 0 480082251 264769536 63878 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64641 63878 603 41 0 64600 0
vsize: 258564
[startup+890.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 64316 0 0 0 88840 172 0 0 25 0 1 0 480082251 266465280 64294 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65055 64294 603 41 0 65014 0
vsize: 260220
[startup+900.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 64853 0 0 0 89839 173 0 0 25 0 1 0 480082251 268689408 64831 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65598 64831 603 41 0 65557 0
vsize: 262392
[startup+910.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 65369 0 0 0 90838 175 0 0 25 0 1 0 480082251 270790656 65347 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66111 65347 603 41 0 66070 0
vsize: 264444
[startup+920.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 65931 0 0 0 91837 176 0 0 25 0 1 0 480082251 273174528 65909 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66693 65909 603 41 0 66652 0
vsize: 266772
[startup+930.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 66466 0 0 0 92836 177 0 0 25 0 1 0 480082251 275283968 66444 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67208 66444 603 41 0 67167 0
vsize: 268832
[startup+940.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 66951 0 0 0 93835 178 0 0 25 0 1 0 480082251 277377024 66929 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67719 66929 603 41 0 67678 0
vsize: 270876
[startup+950.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 67385 0 0 0 94834 179 0 0 25 0 1 0 480082251 279113728 67363 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68143 67363 603 41 0 68102 0
vsize: 272572
[startup+960.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 67815 0 0 0 95833 180 0 0 25 0 1 0 480082251 280825856 67793 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68561 67793 603 41 0 68520 0
vsize: 274244
[startup+970.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 68149 0 0 0 96832 181 0 0 25 0 1 0 480082251 282275840 68127 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68915 68127 603 41 0 68874 0
vsize: 275660
[startup+980.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 68459 0 0 0 97832 182 0 0 25 0 1 0 480082251 283463680 68437 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 69205 68437 603 41 0 69164 0
vsize: 276820
[startup+990.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 68954 0 0 0 98831 182 0 0 25 0 1 0 480082251 285585408 68932 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 69723 68932 603 41 0 69682 0
vsize: 278892
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 69341 0 0 0 99830 184 0 0 25 0 1 0 480082251 287154176 69319 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 70106 69319 603 41 0 70065 0
vsize: 280424
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 69730 0 0 0 100829 185 0 0 25 0 1 0 480082251 288747520 69708 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 70495 69708 603 41 0 70454 0
vsize: 281980
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 70165 0 0 0 101828 186 0 0 25 0 1 0 480082251 290623488 70143 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 70953 70143 603 41 0 70912 0
vsize: 283812
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 70637 0 0 0 102827 187 0 0 25 0 1 0 480082251 292577280 70615 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71430 70615 603 41 0 71389 0
vsize: 285720
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 71109 0 0 0 103826 188 0 0 25 0 1 0 480082251 294404096 71087 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71876 71087 603 41 0 71835 0
vsize: 287504
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 71516 0 0 0 104825 189 0 0 25 0 1 0 480082251 296112128 71494 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72293 71494 603 41 0 72252 0
vsize: 289172
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 105824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 106824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223600 134612614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 107824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 108824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 109824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223568 134522349 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72031 0 0 0 110824 191 0 0 25 0 1 0 480082251 297562112 71863 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71863 603 41 0 72606 0
vsize: 290588
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 111824 191 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 112824 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 113824 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 114825 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 115825 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 116825 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615683 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 117825 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72032 0 0 0 118825 192 0 0 25 0 1 0 480082251 297562112 71864 4294967295 134512640 134672761 3221224560 3221223744 134615571 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71864 603 41 0 72606 0
vsize: 290588
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16413
Raw data (stat): 16356 (minisat+) R 16355 11931 11930 0 -1 0 72033 0 0 0 119825 192 0 0 25 0 1 0 480082251 297562112 71865 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72647 71865 603 41 0 72606 0
vsize: 290588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 16413
Raw data (stat): 16356 (minisat+) Z 16355 11931 11930 0 -1 12 72033 0 0 0 119825 205 0 0 25 0 1 0 480082251 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.16
CPU time (s): 1200.32
CPU user time (s): 1198.26
CPU system time (s): 2.05669
CPU usage (%): 100.013
Max. virtual memory (Kb): 290588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####