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 4864

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        857644 kB
Buffers:         35568 kB
Cached:         103684 kB
SwapCached:         12 kB
Active:          53720 kB
Inactive:        88396 kB
HighTotal:      131008 kB
HighFree:        23856 kB
LowTotal:       903652 kB
LowFree:        833788 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29352 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:56:11 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 1166 7 1200.26 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.84 0.94 0.90 2/54 29553
Raw data (stat): 29553 (runsolver) R 29552 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478875641 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 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.87 0.94 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 3558 0 0 0 988 10 0 0 25 0 1 0 478875641 16756736 3535 4294967295 134512640 134672761 3221224640 3221223808 134561400 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4091 3535 603 41 0 4050 0
vsize: 16364
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 4929 0 0 0 1984 14 0 0 25 0 1 0 478875641 22405120 4906 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5470 4906 603 41 0 5429 0
vsize: 21880
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 6502 0 0 0 2980 18 0 0 25 0 1 0 478875641 28860416 6479 4294967295 134512640 134672761 3221224640 3221223808 134561212 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7046 6479 603 41 0 7005 0
vsize: 28184
[startup+40.0004 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 7830 0 0 0 3976 21 0 0 25 0 1 0 478875641 34283520 7807 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8370 7807 603 41 0 8329 0
vsize: 33480
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 9107 0 0 0 4972 26 0 0 25 0 1 0 478875641 39538688 9084 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9653 9084 603 41 0 9612 0
vsize: 38612
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 10103 0 0 0 5970 29 0 0 25 0 1 0 478875641 43589632 10080 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10642 10080 603 41 0 10601 0
vsize: 42568
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 10821 0 0 0 6967 31 0 0 25 0 1 0 478875641 46559232 10798 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11367 10798 603 41 0 11326 0
vsize: 45468
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 11446 0 0 0 7966 32 0 0 25 0 1 0 478875641 49115136 11423 4294967295 134512640 134672761 3221224640 3221223808 134560876 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11991 11423 603 41 0 11950 0
vsize: 47964
[startup+90.0013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 12064 0 0 0 8964 34 0 0 25 0 1 0 478875641 51666944 12041 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12614 12041 603 41 0 12573 0
vsize: 50456
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 12771 0 0 0 9962 36 0 0 25 0 1 0 478875641 54489088 12748 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13303 12748 603 41 0 13262 0
vsize: 53212
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 13426 0 0 0 10961 38 0 0 25 0 1 0 478875641 57311232 13403 4294967295 134512640 134672761 3221224640 3221223824 134559498 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13992 13403 603 41 0 13951 0
vsize: 55968
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 14037 0 0 0 11958 41 0 0 25 0 1 0 478875641 59871232 14014 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14617 14014 603 41 0 14576 0
vsize: 58468
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 3/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 14628 0 0 0 12957 42 0 0 25 0 1 0 478875641 62283776 14605 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15206 14605 603 41 0 15165 0
vsize: 60824
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 15277 0 0 0 13954 45 0 0 25 0 1 0 478875641 64843776 15254 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15831 15254 603 41 0 15790 0
vsize: 63324
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 16115 0 0 0 14952 47 0 0 25 0 1 0 478875641 68349952 16092 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16687 16092 603 41 0 16646 0
vsize: 66748
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 16854 0 0 0 15950 49 0 0 25 0 1 0 478875641 71303168 16831 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17408 16831 603 41 0 17367 0
vsize: 69632
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 17556 0 0 0 16948 52 0 0 25 0 1 0 478875641 74268672 17533 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18132 17533 603 41 0 18091 0
vsize: 72528
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 18297 0 0 0 17945 54 0 0 25 0 1 0 478875641 77238272 18274 4294967295 134512640 134672761 3221224640 3221223808 134561193 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.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 19016 0 0 0 18943 57 0 0 25 0 1 0 478875641 80203776 18993 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19581 18993 603 41 0 19540 0
vsize: 78324
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 19734 0 0 0 19940 59 0 0 25 0 1 0 478875641 83165184 19711 4294967295 134512640 134672761 3221224640 3221223744 134559958 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20304 19711 603 41 0 20263 0
vsize: 81216
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 20463 0 0 0 20939 61 0 0 25 0 1 0 478875641 86118400 20440 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21025 20440 603 41 0 20984 0
vsize: 84100
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 21125 0 0 0 21937 63 0 0 25 0 1 0 478875641 88805376 21102 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21681 21102 603 41 0 21640 0
vsize: 86724
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 21757 0 0 0 22936 64 0 0 25 0 1 0 478875641 91361280 21734 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22305 21734 603 41 0 22264 0
vsize: 89220
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 22414 0 0 0 23934 66 0 0 25 0 1 0 478875641 94048256 22391 4294967295 134512640 134672761 3221224640 3221223808 134561148 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22961 22391 603 41 0 22920 0
vsize: 91844
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 23112 0 0 0 24933 68 0 0 25 0 1 0 478875641 96886784 23089 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23654 23089 603 41 0 23613 0
vsize: 94616
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 23682 0 0 0 25930 70 0 0 25 0 1 0 478875641 99311616 23659 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24246 23659 603 41 0 24205 0
vsize: 96984
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 24238 0 0 0 26929 72 0 0 25 0 1 0 478875641 101597184 24215 4294967295 134512640 134672761 3221224640 3221223744 134555314 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24804 24215 603 41 0 24763 0
vsize: 99216
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 24796 0 0 0 27928 73 0 0 25 0 1 0 478875641 103878656 24773 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25361 24773 603 41 0 25320 0
vsize: 101444
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 25404 0 0 0 28926 75 0 0 25 0 1 0 478875641 106307584 25381 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25954 25381 603 41 0 25913 0
vsize: 103816
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 26008 0 0 0 29925 76 0 0 25 0 1 0 478875641 108998656 25985 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26611 25985 603 41 0 26570 0
vsize: 106444
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 26627 0 0 0 30923 78 0 0 25 0 1 0 478875641 111562752 26604 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27237 26604 603 41 0 27196 0
vsize: 108948
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 27107 0 0 0 31922 79 0 0 25 0 1 0 478875641 113569792 27084 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27727 27084 603 41 0 27686 0
vsize: 110908
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 27612 0 0 0 32921 81 0 0 25 0 1 0 478875641 115572736 27589 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28216 27589 603 41 0 28175 0
vsize: 112864
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 28175 0 0 0 33920 83 0 0 25 0 1 0 478875641 117858304 28152 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28774 28152 603 41 0 28733 0
vsize: 115096
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 28723 0 0 0 34918 84 0 0 25 0 1 0 478875641 120156160 28700 4294967295 134512640 134672761 3221224640 3221223808 134561115 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29335 28700 603 41 0 29294 0
vsize: 117340
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 29218 0 0 0 35917 85 0 0 25 0 1 0 478875641 122183680 29195 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29830 29195 603 41 0 29789 0
vsize: 119320
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 29704 0 0 0 36916 87 0 0 25 0 1 0 478875641 124211200 29681 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30325 29681 603 41 0 30284 0
vsize: 121300
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 30206 0 0 0 37915 88 0 0 25 0 1 0 478875641 126238720 30183 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30820 30183 603 41 0 30779 0
vsize: 123280
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 30635 0 0 0 38914 89 0 0 25 0 1 0 478875641 128024576 30612 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31256 30612 603 41 0 31215 0
vsize: 125024
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31006 0 0 0 39913 91 0 0 25 0 1 0 478875641 129503232 30983 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31617 30983 603 41 0 31576 0
vsize: 126468
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31420 0 0 0 40912 92 0 0 25 0 1 0 478875641 131256320 31397 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32045 31397 603 41 0 32004 0
vsize: 128180
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31812 0 0 0 41911 93 0 0 25 0 1 0 478875641 132730880 31789 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32405 31789 603 41 0 32364 0
vsize: 129620
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32111 0 0 0 42911 93 0 0 25 0 1 0 478875641 134090752 32088 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32737 32088 603 41 0 32696 0
vsize: 130948
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32404 0 0 0 43910 94 0 0 25 0 1 0 478875641 135294976 32381 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33031 32381 603 41 0 32990 0
vsize: 132124
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32691 0 0 0 44910 95 0 0 25 0 1 0 478875641 136364032 32668 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33292 32668 603 41 0 33251 0
vsize: 133168
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32975 0 0 0 45909 95 0 0 25 0 1 0 478875641 137572352 32952 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33587 32952 603 41 0 33546 0
vsize: 134348
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33225 0 0 0 46908 96 0 0 25 0 1 0 478875641 138649600 33202 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33850 33202 603 41 0 33809 0
vsize: 135400
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33575 0 0 0 47907 98 0 0 25 0 1 0 478875641 140017664 33552 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34184 33552 603 41 0 34143 0
vsize: 136736
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33970 0 0 0 48906 98 0 0 25 0 1 0 478875641 141631488 33947 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34578 33947 603 41 0 34537 0
vsize: 138312
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 34289 0 0 0 49905 100 0 0 25 0 1 0 478875641 142999552 34266 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34912 34266 603 41 0 34871 0
vsize: 139648
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 34714 0 0 0 50904 101 0 0 25 0 1 0 478875641 144752640 34691 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35340 34691 603 41 0 35299 0
vsize: 141360
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35151 0 0 0 51903 102 0 0 25 0 1 0 478875641 146497536 35128 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35766 35128 603 41 0 35725 0
vsize: 143064
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35518 0 0 0 52902 103 0 0 25 0 1 0 478875641 147976192 35495 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36127 35495 603 41 0 36086 0
vsize: 144508
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35898 0 0 0 53901 104 0 0 25 0 1 0 478875641 149602304 35875 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36524 35875 603 41 0 36483 0
vsize: 146096
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 36323 0 0 0 54900 106 0 0 25 0 1 0 478875641 151355392 36300 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36952 36300 603 41 0 36911 0
vsize: 147808
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 36761 0 0 0 55899 107 0 0 25 0 1 0 478875641 153124864 36738 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37384 36738 603 41 0 37343 0
vsize: 149536
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37131 0 0 0 56898 108 0 0 25 0 1 0 478875641 154611712 37108 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37747 37108 603 41 0 37706 0
vsize: 150988
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 57898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561193 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 58898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 59898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 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+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 60898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561193 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 61898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134560903 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 62899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561121 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 63899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561011 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 64899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561151 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 65899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561001 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 66899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 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+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 67900 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561151 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 68900 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37384 0 0 0 69900 109 0 0 25 0 1 0 478875641 155684864 37361 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37361 603 41 0 37968 0
vsize: 152036
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 70900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561229 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 71900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134560898 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.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 72900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 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+740.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 73901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561201 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.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 74901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 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+760.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 75901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561001 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.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 76901 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223744 134560025 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.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 77901 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 134560980 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.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 78902 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 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.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 79902 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 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+810.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 80902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+820.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 81901 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561164 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.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 82902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 83902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+850.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 84902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223744 134560529 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.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 85902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223736 1075347133 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.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 86902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+880.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 87903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561275 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.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 88903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561205 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.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 89903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 90903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+920.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 91903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561005 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.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 92904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+940.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 93904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+950.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 94904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+960.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 95904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 96904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+980.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 97905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560830 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.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 98905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560806 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 99905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 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+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37388 0 0 0 100905 109 0 0 25 0 1 0 478875641 155684864 37365 4294967295 134512640 134672761 3221224640 3221223808 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+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37388 0 0 0 101905 109 0 0 25 0 1 0 478875641 155684864 37365 4294967295 134512640 134672761 3221224640 3221223808 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 102906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223776 134560588 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 103906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223744 134560194 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 104906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 105906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 106906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 107906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560980 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 108907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561118 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 109907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 110907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561005 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 111907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 112907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561218 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 113908 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 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+1150.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 114908 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223744 134560252 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1160.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37678 0 0 0 115907 110 0 0 25 0 1 0 478875641 156884992 37655 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38302 37655 603 41 0 38261 0
vsize: 153208
[startup+1170.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 38093 0 0 0 116907 111 0 0 25 0 1 0 478875641 158494720 38070 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38695 38070 603 41 0 38654 0
vsize: 154780
[startup+1180.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 38568 0 0 0 117906 112 0 0 25 0 1 0 478875641 160514048 38545 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39188 38545 603 41 0 39147 0
vsize: 156752
[startup+1190.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 39040 0 0 0 118905 113 0 0 25 0 1 0 478875641 162398208 39017 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39648 39017 603 41 0 39607 0
vsize: 158592
[startup+1200.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29553
Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 39491 0 0 0 119903 115 0 0 25 0 1 0 478875641 164270080 39468 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40105 39468 603 41 0 40064 0
vsize: 160420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.03 1.00 0.92 1/54 29553
Raw data (stat): 29553 (minisat+) Z 29552 27222 27221 0 -1 12 39493 0 0 0 119903 122 0 0 25 0 1 0 478875641 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.1
CPU time (s): 1200.26
CPU user time (s): 1199.04
CPU system time (s): 1.22381
CPU usage (%): 100.014
Max. virtual memory (Kb): 160420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####