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 6193

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        872276 kB
Buffers:         35280 kB
Cached:          91020 kB
SwapCached:       2628 kB
Active:          51728 kB
Inactive:        80060 kB
HighTotal:      131008 kB
HighFree:        36232 kB
LowTotal:       903652 kB
LowFree:        836044 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            25048 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 04:07:43 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 4642 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 68397 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   68397   138669 |   22799       0        0     nan |  0.000 % |
c |       100 |   68397   138669 |   25078     100     5288    52.9 |  0.000 % |
c |       250 |   68397   138669 |   27586     250    27345   109.4 |  0.000 % |
c |       476 |   68397   138669 |   30345     476    55808   117.2 |  0.000 % |
c |       813 |   68397   138669 |   33380     813   105508   129.8 |  0.000 % |
c |      1319 |   68397   138669 |   36718    1319   238948   181.2 |  0.000 % |
c |      2080 |   68397   138669 |   40389    2080   408552   196.4 |  0.000 % |
c |      3220 |   68397   138669 |   44428    3220   720088   223.6 |  0.000 % |
c |      4930 |   68397   138669 |   48871    4930  1260193   255.6 |  0.000 % |
c |      7492 |   68397   138669 |   53758    7492  2077236   277.3 |  0.000 % |
c |     11336 |   68397   138669 |   59134   11336  3292984   290.5 |  0.000 % |
c |     17103 |   68397   138669 |   65048   17103  5370978   314.0 |  0.000 % |
c |     25752 |   68397   138669 |   71553   25752  8706513   338.1 |  0.000 % |
c |     38727 |   68397   138669 |   78708   38727 13018646   336.2 |  0.000 % |
c |     58190 |   68397   138669 |   86579   58190 20743435   356.5 |  0.000 % |
c |     87385 |   68397   138669 |   95237   87385 30964013   354.3 |  0.000 % |
c |    131175 |   68397   138669 |  104760   47058 17880606   380.0 |  0.000 % |
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.70 0.91 0.89 2/54 3119
Raw data (stat): 3119 (runsolver) R 3118 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481466859 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.75 0.91 0.89 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 3558 0 0 0 987 10 0 0 25 0 1 0 481466859 16756736 3535 4294967295 134512640 134672761 3221224560 3221223728 134561151 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.0014 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 4950 0 0 0 1984 13 0 0 25 0 1 0 481466859 22540288 4927 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5503 4927 603 41 0 5462 0
vsize: 22012
[startup+30.0021 s]
Raw data (loadavg): 0.82 0.92 0.89 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 6557 0 0 0 2980 17 0 0 25 0 1 0 481466859 29130752 6534 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7112 6534 603 41 0 7071 0
vsize: 28448
[startup+40.0021 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 7890 0 0 0 3978 20 0 0 25 0 1 0 481466859 34553856 7867 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8436 7867 603 41 0 8395 0
vsize: 33744
[startup+50.0015 s]
Raw data (loadavg): 0.87 0.92 0.89 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 9164 0 0 0 4974 23 0 0 25 0 1 0 481466859 39809024 9141 4294967295 134512640 134672761 3221224560 3221223716 134559752 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9719 9141 603 41 0 9678 0
vsize: 38876
[startup+60.0013 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 10167 0 0 0 5972 26 0 0 25 0 1 0 481466859 43859968 10144 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10708 10144 603 41 0 10667 0
vsize: 42832
[startup+70.0013 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 10865 0 0 0 6969 28 0 0 25 0 1 0 481466859 46694400 10842 4294967295 134512640 134672761 3221224560 3221223728 134561148 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11400 10842 603 41 0 11359 0
vsize: 45600
[startup+80.0017 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 11486 0 0 0 7968 29 0 0 25 0 1 0 481466859 49250304 11463 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12024 11463 603 41 0 11983 0
vsize: 48096
[startup+90.0014 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 12118 0 0 0 8967 31 0 0 25 0 1 0 481466859 51802112 12095 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12647 12095 603 41 0 12606 0
vsize: 50588
[startup+100.001 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 12852 0 0 0 9965 33 0 0 25 0 1 0 481466859 54894592 12829 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13402 12829 603 41 0 13361 0
vsize: 53608
[startup+110.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 13490 0 0 0 10964 34 0 0 25 0 1 0 481466859 57581568 13467 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14058 13467 603 41 0 14017 0
vsize: 56232
[startup+120.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 14102 0 0 0 11962 36 0 0 25 0 1 0 481466859 60137472 14079 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14682 14079 603 41 0 14641 0
vsize: 58728
[startup+130.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 14703 0 0 0 12961 37 0 0 25 0 1 0 481466859 62554112 14680 4294967295 134512640 134672761 3221224560 3221223684 134566059 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15272 14680 603 41 0 15231 0
vsize: 61088
[startup+140.002 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 15384 0 0 0 13958 40 0 0 25 0 1 0 481466859 65384448 15361 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15963 15361 603 41 0 15922 0
vsize: 63852
[startup+150.002 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 16229 0 0 0 14956 42 0 0 25 0 1 0 481466859 68755456 16206 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16786 16206 603 41 0 16745 0
vsize: 67144
[startup+160.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 16967 0 0 0 15954 44 0 0 25 0 1 0 481466859 71843840 16944 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17540 16944 603 41 0 17499 0
vsize: 70160
[startup+170.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 17704 0 0 0 16952 46 0 0 25 0 1 0 481466859 74809344 17681 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18264 17681 603 41 0 18223 0
vsize: 73056
[startup+180.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 18451 0 0 0 17951 48 0 0 25 0 1 0 481466859 77914112 18428 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19022 18428 603 41 0 18981 0
vsize: 76088
[startup+190.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 19154 0 0 0 18948 50 0 0 25 0 1 0 481466859 80744448 19131 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19713 19131 603 41 0 19672 0
vsize: 78852
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 19893 0 0 0 19946 53 0 0 25 0 1 0 481466859 83705856 19870 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20436 19870 603 41 0 20395 0
vsize: 81744
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 20642 0 0 0 20944 55 0 0 25 0 1 0 481466859 86790144 20619 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21189 20619 603 41 0 21148 0
vsize: 84756
[startup+220.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 21276 0 0 0 21942 57 0 0 25 0 1 0 481466859 89481216 21253 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21846 21253 603 41 0 21805 0
vsize: 87384
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 21938 0 0 0 22941 59 0 0 25 0 1 0 481466859 92160000 21915 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22500 21915 603 41 0 22459 0
vsize: 90000
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 22658 0 0 0 23939 61 0 0 25 0 1 0 481466859 95125504 22635 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23224 22635 603 41 0 23183 0
vsize: 92896
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 23305 0 0 0 24938 62 0 0 25 0 1 0 481466859 97697792 23282 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23852 23282 603 41 0 23811 0
vsize: 95408
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 23902 0 0 0 25936 64 0 0 25 0 1 0 481466859 100122624 23879 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24444 23879 603 41 0 24403 0
vsize: 97776
[startup+270.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 24411 0 0 0 26934 66 0 0 25 0 1 0 481466859 102268928 24388 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24968 24388 603 41 0 24927 0
vsize: 99872
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 25013 0 0 0 27933 67 0 0 25 0 1 0 481466859 104689664 24990 4294967295 134512640 134672761 3221224560 3221223664 134555091 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25559 24990 603 41 0 25518 0
vsize: 102236
[startup+290.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 25634 0 0 0 28932 69 0 0 25 0 1 0 481466859 107515904 25611 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26249 25611 603 41 0 26208 0
vsize: 104996
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 26238 0 0 0 29930 70 0 0 25 0 1 0 481466859 109940736 26215 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26841 26215 603 41 0 26800 0
vsize: 107364
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 26835 0 0 0 30930 71 0 0 25 0 1 0 481466859 112369664 26812 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27434 26812 603 41 0 27393 0
vsize: 109736
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 27321 0 0 0 31929 72 0 0 25 0 1 0 481466859 114380800 27298 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27925 27298 603 41 0 27884 0
vsize: 111700
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 27858 0 0 0 32928 74 0 0 25 0 1 0 481466859 116645888 27835 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28478 27835 603 41 0 28437 0
vsize: 113912
[startup+340.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 28414 0 0 0 33927 75 0 0 25 0 1 0 481466859 118943744 28391 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29039 28391 603 41 0 28998 0
vsize: 116156
[startup+350.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 28960 0 0 0 34925 77 0 0 25 0 1 0 481466859 121102336 28937 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29566 28937 603 41 0 29525 0
vsize: 118264
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 29460 0 0 0 35924 78 0 0 25 0 1 0 481466859 123129856 29437 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30061 29437 603 41 0 30020 0
vsize: 120244
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 29954 0 0 0 36923 79 0 0 25 0 1 0 481466859 125157376 29931 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30556 29931 603 41 0 30515 0
vsize: 122224
[startup+380.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 30474 0 0 0 37922 80 0 0 25 0 1 0 481466859 127320064 30451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31084 30451 603 41 0 31043 0
vsize: 124336
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 30833 0 0 0 38921 82 0 0 25 0 1 0 481466859 128831488 30810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31453 30810 603 41 0 31412 0
vsize: 125812
[startup+400.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31240 0 0 0 39920 82 0 0 25 0 1 0 481466859 130453504 31217 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31849 31217 603 41 0 31808 0
vsize: 127396
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31645 0 0 0 40920 83 0 0 25 0 1 0 481466859 132055040 31622 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32240 31622 603 41 0 32199 0
vsize: 128960
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31981 0 0 0 41919 84 0 0 25 0 1 0 481466859 133541888 31958 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32603 31958 603 41 0 32562 0
vsize: 130412
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32284 0 0 0 42919 84 0 0 25 0 1 0 481466859 134762496 32261 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32901 32261 603 41 0 32860 0
vsize: 131604
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32602 0 0 0 43918 85 0 0 25 0 1 0 481466859 136093696 32579 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33226 32579 603 41 0 33185 0
vsize: 132904
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32863 0 0 0 44918 86 0 0 25 0 1 0 481466859 137166848 32840 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33488 32840 603 41 0 33447 0
vsize: 133952
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33133 0 0 0 45917 87 0 0 25 0 1 0 481466859 138244096 33110 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33751 33110 603 41 0 33710 0
vsize: 135004
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33428 0 0 0 46917 87 0 0 25 0 1 0 481466859 139468800 33405 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34050 33405 603 41 0 34009 0
vsize: 136200
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33858 0 0 0 47915 89 0 0 25 0 1 0 481466859 141225984 33835 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34479 33835 603 41 0 34438 0
vsize: 137916
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 34182 0 0 0 48915 89 0 0 25 0 1 0 481466859 142577664 34159 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34809 34159 603 41 0 34768 0
vsize: 139236
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 34589 0 0 0 49914 91 0 0 25 0 1 0 481466859 144216064 34566 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35209 34566 603 41 0 35168 0
vsize: 140836
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35027 0 0 0 50913 91 0 0 25 0 1 0 481466859 145960960 35004 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35635 35004 603 41 0 35594 0
vsize: 142540
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35416 0 0 0 51912 92 0 0 25 0 1 0 481466859 147570688 35393 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36028 35393 603 41 0 35987 0
vsize: 144112
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35807 0 0 0 52911 93 0 0 25 0 1 0 481466859 149192704 35784 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36424 35784 603 41 0 36383 0
vsize: 145696
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 36221 0 0 0 53911 94 0 0 25 0 1 0 481466859 150953984 36198 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36854 36198 603 41 0 36813 0
vsize: 147416
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 36676 0 0 0 54910 95 0 0 25 0 1 0 481466859 152707072 36653 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37282 36653 603 41 0 37241 0
vsize: 149128
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37059 0 0 0 55910 96 0 0 25 0 1 0 481466859 154341376 37036 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37681 37036 603 41 0 37640 0
vsize: 150724
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 56910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223664 134554662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 57910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 58910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561229 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 59910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 60910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 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+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 61911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561269 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 62911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 63911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 64911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561218 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 65911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561205 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 66912 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561005 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 67912 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223744 134558754 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37383 0 0 0 68912 96 0 0 25 0 1 0 481466859 155684864 37360 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37360 603 41 0 37968 0
vsize: 152036
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 69912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 70912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 71912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 72913 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3119
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 73913 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561218 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.064 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 3162
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 74918 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 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+760.068 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 75919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+770.069 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 76919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.068 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 77919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223744 134559354 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.069 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 78920 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223744 134558925 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.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 79920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560797 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+810.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3172
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 80919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+820.069 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 81919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+830.069 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 82919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 83919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223744 134559354 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.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 84919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+860.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 85919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+870.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 86919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+880.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 87920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+890.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 88920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+900.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 89920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+910.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 90920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223664 134560224 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.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 91920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 92920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560980 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.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 93921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223744 134558920 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.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 94921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+960.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 95921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+970.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 96921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+980.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 97921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+990.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 98922 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37388 0 0 0 99922 96 0 0 25 0 1 0 481466859 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37388 0 0 0 100922 96 0 0 25 0 1 0 481466859 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560903 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.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 101922 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 102922 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 103923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 104923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561229 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.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 105923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560869 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.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3174
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 106923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223664 134559908 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.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 107923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 108923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 109923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 110923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 111924 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223664 134559875 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.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 112924 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37496 0 0 0 113924 97 0 0 25 0 1 0 481466859 156082176 37473 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38106 37473 603 41 0 38065 0
vsize: 152424
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37887 0 0 0 114922 98 0 0 25 0 1 0 481466859 157691904 37864 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38499 37864 603 41 0 38458 0
vsize: 153996
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 38371 0 0 0 115921 100 0 0 25 0 1 0 481466859 159703040 38348 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38990 38348 603 41 0 38949 0
vsize: 155960
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 38823 0 0 0 116920 101 0 0 25 0 1 0 481466859 161591296 38800 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39451 38800 603 41 0 39410 0
vsize: 157804
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 39286 0 0 0 117919 102 0 0 25 0 1 0 481466859 163467264 39263 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39909 39263 603 41 0 39868 0
vsize: 159636
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 39709 0 0 0 118918 103 0 0 25 0 1 0 481466859 165216256 39686 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40336 39686 603 41 0 40295 0
vsize: 161344
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3176
Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 40143 0 0 0 119918 103 0 0 25 0 1 0 481466859 166965248 40120 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40763 40120 603 41 0 40722 0
vsize: 163052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 3176
Raw data (stat): 3119 (minisat+) Z 3118 27565 27564 0 -1 12 40146 0 0 0 119918 111 0 0 25 0 1 0 481466859 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.14
CPU time (s): 1200.3
CPU user time (s): 1199.18
CPU system time (s): 1.11283
CPU usage (%): 100.013
Max. virtual memory (Kb): 163052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####