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 4673

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925400 kB
Buffers:         34404 kB
Cached:          52940 kB
SwapCached:       2144 kB
Active:          57552 kB
Inactive:        34772 kB
HighTotal:      131008 kB
HighFree:        74228 kB
LowTotal:       903652 kB
LowFree:        851172 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11336 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 20:07:08 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 3514 7 1200.22 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 ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   68397   138669 |   22799       0        0     nan |  0.000 % |
c |       100 |   68397   138669 |   25078     100     5288    52.9 |  0.000 % |
c |       250 |   68397   138669 |   27586     250    27345   109.4 |  0.000 % |
c |       476 |   68397   138669 |   30345     476    55808   117.2 |  0.000 % |
c |       813 |   68397   138669 |   33380     813   105508   129.8 |  0.000 % |
c |      1319 |   68397   138669 |   36718    1319   238948   181.2 |  0.000 % |
c |      2080 |   68397   138669 |   40389    2080   408552   196.4 |  0.000 % |
c |      3220 |   68397   138669 |   44428    3220   720088   223.6 |  0.000 % |
c |      4930 |   68397   138669 |   48871    4930  1260193   255.6 |  0.000 % |
c |      7492 |   68397   138669 |   53758    7492  2077236   277.3 |  0.000 % |
c |     11336 |   68397   138669 |   59134   11336  3292984   290.5 |  0.000 % |
c |     17103 |   68397   138669 |   65048   17103  5370978   314.0 |  0.000 % |
c |     25752 |   68397   138669 |   71553   25752  8706513   338.1 |  0.000 % |
c |     38727 |   68397   138669 |   78708   38727 13018646   336.2 |  0.000 % |
c |     58190 |   68397   138669 |   86579   58190 20743435   356.5 |  0.000 % |
c |     87385 |   68397   138669 |   95237   87385 30964013   354.3 |  0.000 % |
c |    131175 |   68397   138669 |  104760   47058 17880606   380.0 |  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.70 0.89 0.68 2/54 31363
Raw data (stat): 31363 (runsolver) R 31362 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 420359662 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.74 0.90 0.68 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 3558 0 0 0 985 11 0 0 25 0 1 0 420359662 16756736 3535 4294967295 134512640 134672761 3221224560 3221223728 134560811 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4091 3535 603 41 0 4050 0
vsize: 16364
[startup+20.0014 s]
Raw data (loadavg): 0.78 0.90 0.68 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 4922 0 0 0 1982 15 0 0 25 0 1 0 420359662 22405120 4899 4294967295 134512640 134672761 3221224560 3221223744 134559031 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5470 4899 603 41 0 5429 0
vsize: 21880
[startup+30.0021 s]
Raw data (loadavg): 0.81 0.90 0.68 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 6490 0 0 0 2976 19 0 0 25 0 1 0 420359662 28860416 6467 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7046 6467 603 41 0 7005 0
vsize: 28184
[startup+40.0024 s]
Raw data (loadavg): 0.84 0.90 0.69 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 7829 0 0 0 3972 23 0 0 25 0 1 0 420359662 34283520 7806 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8370 7806 603 41 0 8329 0
vsize: 33480
[startup+50.0025 s]
Raw data (loadavg): 0.87 0.91 0.69 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 9113 0 0 0 4970 26 0 0 25 0 1 0 420359662 39538688 9090 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9653 9090 603 41 0 9612 0
vsize: 38612
[startup+60.0033 s]
Raw data (loadavg): 0.89 0.91 0.69 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 10110 0 0 0 5966 29 0 0 25 0 1 0 420359662 43589632 10087 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10642 10087 603 41 0 10601 0
vsize: 42568
[startup+70.0039 s]
Raw data (loadavg): 0.90 0.91 0.70 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 10815 0 0 0 6964 32 0 0 25 0 1 0 420359662 46559232 10792 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11367 10792 603 41 0 11326 0
vsize: 45468
[startup+80.005 s]
Raw data (loadavg): 0.92 0.91 0.70 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 11439 0 0 0 7961 34 0 0 25 0 1 0 420359662 49115136 11416 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11991 11416 603 41 0 11950 0
vsize: 47964
[startup+90.0048 s]
Raw data (loadavg): 0.93 0.92 0.70 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 12059 0 0 0 8959 36 0 0 25 0 1 0 420359662 51666944 12036 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12614 12036 603 41 0 12573 0
vsize: 50456
[startup+100.004 s]
Raw data (loadavg): 0.94 0.92 0.70 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 12765 0 0 0 9957 38 0 0 25 0 1 0 420359662 54489088 12742 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13303 12742 603 41 0 13262 0
vsize: 53212
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.71 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 13420 0 0 0 10955 40 0 0 25 0 1 0 420359662 57311232 13397 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13992 13397 603 41 0 13951 0
vsize: 55968
[startup+120.006 s]
Raw data (loadavg): 0.96 0.92 0.71 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 14028 0 0 0 11954 42 0 0 25 0 1 0 420359662 59736064 14005 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14584 14005 603 41 0 14543 0
vsize: 58336
[startup+130.007 s]
Raw data (loadavg): 0.96 0.92 0.71 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 14617 0 0 0 12953 43 0 0 25 0 1 0 420359662 62148608 14594 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15173 14594 603 41 0 15132 0
vsize: 60692
[startup+140.007 s]
Raw data (loadavg): 0.97 0.93 0.72 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 15260 0 0 0 13951 45 0 0 25 0 1 0 420359662 64843776 15237 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15831 15237 603 41 0 15790 0
vsize: 63324
[startup+150.008 s]
Raw data (loadavg): 0.97 0.93 0.72 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 16105 0 0 0 14948 48 0 0 25 0 1 0 420359662 68214784 16082 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16654 16082 603 41 0 16613 0
vsize: 66616
[startup+160.008 s]
Raw data (loadavg): 0.98 0.93 0.72 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 16843 0 0 0 15947 50 0 0 25 0 1 0 420359662 71303168 16820 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17408 16820 603 41 0 17367 0
vsize: 69632
[startup+170.008 s]
Raw data (loadavg): 0.98 0.93 0.72 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 17548 0 0 0 16945 52 0 0 25 0 1 0 420359662 74133504 17525 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18099 17525 603 41 0 18058 0
vsize: 72396
[startup+180.009 s]
Raw data (loadavg): 0.98 0.93 0.73 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 18296 0 0 0 17943 53 0 0 25 0 1 0 420359662 77238272 18273 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18857 18274 603 41 0 18816 0
vsize: 75428
[startup+190.01 s]
Raw data (loadavg): 0.98 0.94 0.73 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 19018 0 0 0 18942 55 0 0 25 0 1 0 420359662 80203776 18995 4294967295 134512640 134672761 3221224560 3221223664 134560418 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19581 18995 603 41 0 19540 0
vsize: 78324
[startup+200.01 s]
Raw data (loadavg): 0.99 0.94 0.73 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 19742 0 0 0 19940 57 0 0 25 0 1 0 420359662 83165184 19719 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20304 19719 603 41 0 20263 0
vsize: 81216
[startup+210.011 s]
Raw data (loadavg): 0.99 0.94 0.73 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 20478 0 0 0 20938 59 0 0 25 0 1 0 420359662 86118400 20455 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21025 20455 603 41 0 20984 0
vsize: 84100
[startup+220.011 s]
Raw data (loadavg): 0.99 0.94 0.74 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 21146 0 0 0 21937 61 0 0 25 0 1 0 420359662 88940544 21123 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21714 21123 603 41 0 21673 0
vsize: 86856
[startup+230.011 s]
Raw data (loadavg): 0.99 0.94 0.74 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 21772 0 0 0 22936 62 0 0 25 0 1 0 420359662 91496448 21749 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22338 21749 603 41 0 22297 0
vsize: 89352
[startup+240.011 s]
Raw data (loadavg): 0.99 0.94 0.74 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 22447 0 0 0 23934 63 0 0 25 0 1 0 420359662 94179328 22424 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22993 22424 603 41 0 22952 0
vsize: 91972
[startup+250.011 s]
Raw data (loadavg): 0.99 0.94 0.74 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 23134 0 0 0 24933 65 0 0 25 0 1 0 420359662 97021952 23111 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23687 23111 603 41 0 23646 0
vsize: 94748
[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.74 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 23695 0 0 0 25931 66 0 0 25 0 1 0 420359662 99311616 23672 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24246 23672 603 41 0 24205 0
vsize: 96984
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.75 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 24251 0 0 0 26929 67 0 0 25 0 1 0 420359662 101597184 24228 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24804 24228 603 41 0 24763 0
vsize: 99216
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.75 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 24816 0 0 0 27927 69 0 0 25 0 1 0 420359662 103878656 24793 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25361 24793 603 41 0 25320 0
vsize: 101444
[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.75 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 25432 0 0 0 28926 71 0 0 25 0 1 0 420359662 106442752 25409 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25987 25409 603 41 0 25946 0
vsize: 103948
[startup+300.013 s]
Raw data (loadavg): 0.99 0.95 0.75 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 26038 0 0 0 29924 72 0 0 25 0 1 0 420359662 109133824 26015 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26644 26015 603 41 0 26603 0
vsize: 106576
[startup+310.012 s]
Raw data (loadavg): 0.99 0.95 0.75 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 26661 0 0 0 30923 74 0 0 25 0 1 0 420359662 111693824 26638 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27269 26638 603 41 0 27228 0
vsize: 109076
[startup+320.012 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 27141 0 0 0 31923 74 0 0 25 0 1 0 420359662 113704960 27118 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27760 27118 603 41 0 27719 0
vsize: 111040
[startup+330.012 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 27652 0 0 0 32921 76 0 0 25 0 1 0 420359662 115838976 27629 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28281 27629 603 41 0 28240 0
vsize: 113124
[startup+340.012 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 28223 0 0 0 33920 78 0 0 25 0 1 0 420359662 118128640 28200 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28840 28200 603 41 0 28799 0
vsize: 115360
[startup+350.012 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 28787 0 0 0 34918 79 0 0 25 0 1 0 420359662 120426496 28764 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29401 28764 603 41 0 29360 0
vsize: 117604
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.76 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 29264 0 0 0 35918 80 0 0 25 0 1 0 420359662 122318848 29241 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29863 29241 603 41 0 29822 0
vsize: 119452
[startup+370.012 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 29756 0 0 0 36916 82 0 0 25 0 1 0 420359662 124346368 29733 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30358 29733 603 41 0 30317 0
vsize: 121432
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 30272 0 0 0 37914 84 0 0 25 0 1 0 420359662 126509056 30249 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30886 30249 603 41 0 30845 0
vsize: 123544
[startup+390.012 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 30684 0 0 0 38913 85 0 0 25 0 1 0 420359662 128159744 30661 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31289 30661 603 41 0 31248 0
vsize: 125156
[startup+400.012 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 31074 0 0 0 39912 86 0 0 25 0 1 0 420359662 129773568 31051 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31683 31051 603 41 0 31642 0
vsize: 126732
[startup+410.013 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 31498 0 0 0 40911 87 0 0 25 0 1 0 420359662 131518464 31475 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32109 31475 603 41 0 32068 0
vsize: 128436
[startup+420.012 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 31869 0 0 0 41910 89 0 0 25 0 1 0 420359662 133001216 31846 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32471 31846 603 41 0 32430 0
vsize: 129884
[startup+430.014 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 32164 0 0 0 42909 90 0 0 25 0 1 0 420359662 134221824 32141 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32769 32141 603 41 0 32728 0
vsize: 131076
[startup+440.013 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 32471 0 0 0 43909 90 0 0 25 0 1 0 420359662 135561216 32448 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33096 32448 603 41 0 33055 0
vsize: 132384
[startup+450.013 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 32745 0 0 0 44908 91 0 0 25 0 1 0 420359662 136626176 32722 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33356 32722 603 41 0 33315 0
vsize: 133424
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 33024 0 0 0 45907 92 0 0 25 0 1 0 420359662 137838592 33001 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33652 33001 603 41 0 33611 0
vsize: 134608
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 33286 0 0 0 46906 93 0 0 25 0 1 0 420359662 138915840 33263 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33915 33263 603 41 0 33874 0
vsize: 135660
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 33683 0 0 0 47905 95 0 0 25 0 1 0 420359662 140558336 33660 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34316 33660 603 41 0 34275 0
vsize: 137264
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 34046 0 0 0 48903 96 0 0 25 0 1 0 420359662 142036992 34023 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34677 34023 603 41 0 34636 0
vsize: 138708
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 34392 0 0 0 49902 97 0 0 25 0 1 0 420359662 143405056 34369 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35011 34369 603 41 0 34970 0
vsize: 140044
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 34820 0 0 0 50901 99 0 0 25 0 1 0 420359662 145162240 34797 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35440 34797 603 41 0 35399 0
vsize: 141760
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 35248 0 0 0 51899 100 0 0 25 0 1 0 420359662 146894848 35225 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35863 35225 603 41 0 35822 0
vsize: 143452
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 35621 0 0 0 52899 101 0 0 25 0 1 0 420359662 148381696 35598 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36226 35598 603 41 0 36185 0
vsize: 144904
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 36023 0 0 0 53898 103 0 0 25 0 1 0 420359662 150142976 36000 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36656 36000 603 41 0 36615 0
vsize: 146624
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.80 3/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 36442 0 0 0 54897 104 0 0 25 0 1 0 420359662 151760896 36419 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37051 36419 603 41 0 37010 0
vsize: 148204
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 36885 0 0 0 55895 105 0 0 25 0 1 0 420359662 153661440 36862 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37515 36862 603 41 0 37474 0
vsize: 150060
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37241 0 0 0 56894 106 0 0 25 0 1 0 420359662 155144192 37218 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37877 37218 603 41 0 37836 0
vsize: 151508
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 57895 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 58895 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 59895 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 60895 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223664 134555330 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 61895 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 62896 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 63896 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 64896 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223704 134560555 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 65896 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223744 134558851 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 66896 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37382 0 0 0 67897 107 0 0 25 0 1 0 420359662 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37383 0 0 0 68897 107 0 0 25 0 1 0 420359662 155684864 37360 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37360 603 41 0 37968 0
vsize: 152036
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 69897 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 70897 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 71897 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 72898 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 73898 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223664 134559985 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 74898 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223664 134560212 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37385 0 0 0 75899 107 0 0 25 0 1 0 420359662 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 31363
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37386 0 0 0 76899 107 0 0 25 0 1 0 420359662 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+780.035 s]
Raw data (loadavg): 1.07 0.99 0.84 2/56 31398
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37386 0 0 0 77899 107 0 0 25 0 1 0 420359662 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+790.035 s]
Raw data (loadavg): 1.06 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37386 0 0 0 78899 107 0 0 25 0 1 0 420359662 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+800.035 s]
Raw data (loadavg): 1.05 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37386 0 0 0 79900 107 0 0 25 0 1 0 420359662 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+810.036 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 80899 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+820.036 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 81899 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223696 134560652 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+830.037 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 82899 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+840.037 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 31416
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 83899 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+850.038 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 84899 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560912 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+860.039 s]
Raw data (loadavg): 1.02 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 85900 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+870.039 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 86900 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560900 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+880.04 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 87900 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+890.04 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 88900 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+900.04 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 89901 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+910.041 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 90901 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 91901 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+930.042 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 92901 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 93901 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 94902 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 95902 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 96902 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223664 134560226 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 97902 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37387 0 0 0 98902 107 0 0 25 0 1 0 420359662 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37388 0 0 0 99903 107 0 0 25 0 1 0 420359662 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37388 0 0 0 100903 107 0 0 25 0 1 0 420359662 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37388 0 0 0 101903 107 0 0 25 0 1 0 420359662 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 102903 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 103904 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 104904 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 105904 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 106904 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 107904 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 108905 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223664 134560224 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 109905 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 110905 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 111905 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1130.05 s]
Raw data (loadavg): 1.08 1.00 0.88 2/54 31418
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 112905 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1140.05 s]
Raw data (loadavg): 1.07 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37389 0 0 0 113906 107 0 0 25 0 1 0 420359662 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1150.05 s]
Raw data (loadavg): 1.06 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37589 0 0 0 114905 107 0 0 25 0 1 0 420359662 156483584 37566 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38204 37566 603 41 0 38163 0
vsize: 152816
[startup+1160.05 s]
Raw data (loadavg): 1.05 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 37998 0 0 0 115905 108 0 0 25 0 1 0 420359662 158228480 37975 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38630 37975 603 41 0 38589 0
vsize: 154520
[startup+1170.05 s]
Raw data (loadavg): 1.04 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 38480 0 0 0 116904 109 0 0 25 0 1 0 420359662 160112640 38457 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39090 38457 603 41 0 39049 0
vsize: 156360
[startup+1180.05 s]
Raw data (loadavg): 1.03 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 38953 0 0 0 117902 111 0 0 25 0 1 0 420359662 162131968 38930 4294967295 134512640 134672761 3221224560 3221223664 134554948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39583 38930 603 41 0 39542 0
vsize: 158332
[startup+1190.05 s]
Raw data (loadavg): 1.03 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 39404 0 0 0 118901 113 0 0 25 0 1 0 420359662 163872768 39381 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40008 39381 603 41 0 39967 0
vsize: 160032
[startup+1200.05 s]
Raw data (loadavg): 1.02 1.00 0.88 2/54 31420
Raw data (stat): 31363 (minisat+) R 31362 29151 29150 0 -1 0 39809 0 0 0 119900 113 0 0 25 0 1 0 420359662 165621760 39786 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40435 39786 603 41 0 40394 0
vsize: 161740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.02 1.00 0.88 1/54 31420
Raw data (stat): 31363 (minisat+) Z 31362 29151 29150 0 -1 12 39811 0 0 0 119901 120 0 0 25 0 1 0 420359662 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.13
CPU time (s): 1200.22
CPU user time (s): 1199.01
CPU system time (s): 1.20982
CPU usage (%): 100.008
Max. virtual memory (Kb): 161740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####