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 5820

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        730568 kB
Buffers:         38112 kB
Cached:         224912 kB
SwapCached:          0 kB
Active:          85908 kB
Inactive:       179996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730316 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32524 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 02:19:29 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 4266 7 1200.25 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.59 0.89 0.89 2/54 17738
Raw data (stat): 17738 (runsolver) R 17737 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480815828 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.65 0.89 0.89 2/54 17738
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 3558 0 0 0 987 11 0 0 25 0 1 0 480815828 16756736 3535 4294967295 134512640 134672761 3221224560 3221223696 134560598 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.0005 s]
Raw data (loadavg): 0.70 0.89 0.89 2/54 17738
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 4922 0 0 0 1983 15 0 0 25 0 1 0 480815828 22405120 4899 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5470 4899 603 41 0 5429 0
vsize: 21880
[startup+30.0006 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 17738
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 6496 0 0 0 2979 19 0 0 25 0 1 0 480815828 28860416 6473 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7046 6473 603 41 0 7005 0
vsize: 28184
[startup+40.0018 s]
Raw data (loadavg): 0.79 0.90 0.89 3/58 17783
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 7824 0 0 0 3973 25 0 0 25 0 1 0 480815828 34283520 7801 4294967295 134512640 134672761 3221224560 3221223696 134560632 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8370 7801 603 41 0 8329 0
vsize: 33480
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 9093 0 0 0 4969 29 0 0 25 0 1 0 480815828 39538688 9070 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9653 9070 603 41 0 9612 0
vsize: 38612
[startup+60.003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 10094 0 0 0 5966 32 0 0 25 0 1 0 480815828 43589632 10071 4294967295 134512640 134672761 3221224560 3221223728 134564448 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10642 10071 603 41 0 10601 0
vsize: 42568
[startup+70.0036 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 10805 0 0 0 6964 34 0 0 25 0 1 0 480815828 46424064 10782 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11334 10782 603 41 0 11293 0
vsize: 45336
[startup+80.0041 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 11433 0 0 0 7963 36 0 0 25 0 1 0 480815828 49115136 11410 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11991 11410 603 41 0 11950 0
vsize: 47964
[startup+90.0042 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 12056 0 0 0 8961 37 0 0 25 0 1 0 480815828 51666944 12033 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12614 12033 603 41 0 12573 0
vsize: 50456
[startup+100.004 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 17791
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 12752 0 0 0 9959 40 0 0 25 0 1 0 480815828 54489088 12729 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13303 12729 603 41 0 13262 0
vsize: 53212
[startup+110.004 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 13414 0 0 0 10957 42 0 0 25 0 1 0 480815828 57311232 13391 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13992 13391 603 41 0 13951 0
vsize: 55968
[startup+120.004 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 14022 0 0 0 11955 44 0 0 25 0 1 0 480815828 59736064 13999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14584 13999 603 41 0 14543 0
vsize: 58336
[startup+130.004 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 14603 0 0 0 12953 46 0 0 25 0 1 0 480815828 62148608 14580 4294967295 134512640 134672761 3221224560 3221223664 134559862 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15173 14580 603 41 0 15132 0
vsize: 60692
[startup+140.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 15250 0 0 0 13952 47 0 0 25 0 1 0 480815828 64843776 15227 4294967295 134512640 134672761 3221224560 3221223664 134560252 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15831 15227 603 41 0 15790 0
vsize: 63324
[startup+150.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 16094 0 0 0 14949 50 0 0 25 0 1 0 480815828 68214784 16071 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16654 16071 603 41 0 16613 0
vsize: 66616
[startup+160.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 16826 0 0 0 15947 53 0 0 25 0 1 0 480815828 71168000 16803 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17375 16803 603 41 0 17334 0
vsize: 69500
[startup+170.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 17533 0 0 0 16944 56 0 0 25 0 1 0 480815828 74133504 17510 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18099 17510 603 41 0 18058 0
vsize: 72396
[startup+180.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 18281 0 0 0 17942 58 0 0 25 0 1 0 480815828 77238272 18258 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18857 18258 603 41 0 18816 0
vsize: 75428
[startup+190.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 19004 0 0 0 18941 59 0 0 25 0 1 0 480815828 80068608 18981 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19548 18981 603 41 0 19507 0
vsize: 78192
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 19720 0 0 0 19939 61 0 0 25 0 1 0 480815828 83030016 19697 4294967295 134512640 134672761 3221224560 3221223664 134560510 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20271 19697 603 41 0 20230 0
vsize: 81084
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 20445 0 0 0 20938 62 0 0 25 0 1 0 480815828 85983232 20422 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20992 20422 603 41 0 20951 0
vsize: 83968
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 21105 0 0 0 21937 64 0 0 25 0 1 0 480815828 88670208 21082 4294967295 134512640 134672761 3221224560 3221223728 134561121 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21648 21082 603 41 0 21607 0
vsize: 86592
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 21742 0 0 0 22936 65 0 0 25 0 1 0 480815828 91361280 21719 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22305 21719 603 41 0 22264 0
vsize: 89220
[startup+240.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 22398 0 0 0 23933 68 0 0 25 0 1 0 480815828 94048256 22375 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22961 22375 603 41 0 22920 0
vsize: 91844
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 23093 0 0 0 24931 70 0 0 25 0 1 0 480815828 96886784 23070 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23654 23070 603 41 0 23613 0
vsize: 94616
[startup+260.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 23661 0 0 0 25929 72 0 0 25 0 1 0 480815828 99176448 23638 4294967295 134512640 134672761 3221224560 3221223760 134557852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24213 23638 603 41 0 24172 0
vsize: 96852
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 24222 0 0 0 26928 74 0 0 25 0 1 0 480815828 101466112 24199 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24772 24199 603 41 0 24731 0
vsize: 99088
[startup+280.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 24773 0 0 0 27926 75 0 0 25 0 1 0 480815828 103743488 24750 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25328 24750 603 41 0 25287 0
vsize: 101312
[startup+290.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 25380 0 0 0 28925 77 0 0 25 0 1 0 480815828 106172416 25357 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25921 25357 603 41 0 25880 0
vsize: 103684
[startup+300.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 25981 0 0 0 29922 80 0 0 25 0 1 0 480815828 108863488 25958 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26578 25958 603 41 0 26537 0
vsize: 106312
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 26593 0 0 0 30921 81 0 0 25 0 1 0 480815828 111427584 26570 4294967295 134512640 134672761 3221224560 3221223744 134559381 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27204 26570 603 41 0 27163 0
vsize: 108816
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 27088 0 0 0 31919 83 0 0 25 0 1 0 480815828 113434624 27065 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27694 27065 603 41 0 27653 0
vsize: 110776
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 27584 0 0 0 32918 84 0 0 25 0 1 0 480815828 115441664 27561 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28184 27561 603 41 0 28143 0
vsize: 112736
[startup+340.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 28147 0 0 0 33917 86 0 0 25 0 1 0 480815828 117858304 28124 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28774 28124 603 41 0 28733 0
vsize: 115096
[startup+350.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 28696 0 0 0 34916 87 0 0 25 0 1 0 480815828 120020992 28673 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29302 28673 603 41 0 29261 0
vsize: 117208
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 29180 0 0 0 35915 88 0 0 25 0 1 0 480815828 122048512 29157 4294967295 134512640 134672761 3221224560 3221223728 134561133 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29797 29157 603 41 0 29756 0
vsize: 119188
[startup+370.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 29665 0 0 0 36913 89 0 0 25 0 1 0 480815828 124076032 29642 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30292 29642 603 41 0 30251 0
vsize: 121168
[startup+380.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17793
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 30177 0 0 0 37911 92 0 0 25 0 1 0 480815828 126103552 30154 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30787 30154 603 41 0 30746 0
vsize: 123148
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 30606 0 0 0 38910 93 0 0 25 0 1 0 480815828 127889408 30583 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31223 30583 603 41 0 31182 0
vsize: 124892
[startup+400.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 30974 0 0 0 39909 94 0 0 25 0 1 0 480815828 129368064 30951 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31584 30951 603 41 0 31543 0
vsize: 126336
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 31388 0 0 0 40908 95 0 0 25 0 1 0 480815828 131121152 31365 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32012 31365 603 41 0 31971 0
vsize: 128048
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 31786 0 0 0 41907 96 0 0 25 0 1 0 480815828 132730880 31763 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32405 31763 603 41 0 32364 0
vsize: 129620
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 32081 0 0 0 42907 97 0 0 25 0 1 0 480815828 133947392 32058 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32702 32058 603 41 0 32661 0
vsize: 130808
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 32381 0 0 0 43906 98 0 0 25 0 1 0 480815828 135159808 32358 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32998 32358 603 41 0 32957 0
vsize: 131992
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 32666 0 0 0 44905 99 0 0 25 0 1 0 480815828 136364032 32643 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33292 32643 603 41 0 33251 0
vsize: 133168
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 32945 0 0 0 45904 100 0 0 25 0 1 0 480815828 137437184 32922 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33554 32922 603 41 0 33513 0
vsize: 134216
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 33196 0 0 0 46904 101 0 0 25 0 1 0 480815828 138514432 33173 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33817 33173 603 41 0 33776 0
vsize: 135268
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 33504 0 0 0 47903 102 0 0 25 0 1 0 480815828 139735040 33481 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34115 33481 603 41 0 34074 0
vsize: 136460
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 33941 0 0 0 48901 104 0 0 25 0 1 0 480815828 141631488 33918 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34578 33918 603 41 0 34537 0
vsize: 138312
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 34259 0 0 0 49901 104 0 0 25 0 1 0 480815828 142864384 34236 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34879 34236 603 41 0 34838 0
vsize: 139516
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 34669 0 0 0 50899 105 0 0 25 0 1 0 480815828 144486400 34646 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35275 34646 603 41 0 35234 0
vsize: 141100
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 35107 0 0 0 51898 107 0 0 25 0 1 0 480815828 146362368 35084 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35733 35084 603 41 0 35692 0
vsize: 142932
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 35477 0 0 0 52897 108 0 0 25 0 1 0 480815828 147841024 35454 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36094 35454 603 41 0 36053 0
vsize: 144376
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 35859 0 0 0 53896 109 0 0 25 0 1 0 480815828 149467136 35836 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36491 35836 603 41 0 36450 0
vsize: 145964
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 36281 0 0 0 54895 111 0 0 25 0 1 0 480815828 151220224 36258 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36919 36258 603 41 0 36878 0
vsize: 147676
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 36718 0 0 0 55893 112 0 0 25 0 1 0 480815828 152989696 36695 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37351 36695 603 41 0 37310 0
vsize: 149404
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37088 0 0 0 56892 113 0 0 25 0 1 0 480815828 154476544 37065 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37714 37065 603 41 0 37673 0
vsize: 150856
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 57891 114 0 0 25 0 1 0 480815828 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 58891 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223664 134560418 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 59892 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 60892 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 61892 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 62892 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 63892 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223664 134559869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 64893 114 0 0 25 0 1 0 480815828 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+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 65893 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 66893 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 67893 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560864 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37382 0 0 0 68893 114 0 0 25 0 1 0 480815828 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37359 603 41 0 37968 0
vsize: 152036
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37383 0 0 0 69894 114 0 0 25 0 1 0 480815828 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+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 70894 114 0 0 25 0 1 0 480815828 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+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 71894 114 0 0 25 0 1 0 480815828 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561167 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 72894 114 0 0 25 0 1 0 480815828 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560855 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 73894 114 0 0 25 0 1 0 480815828 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+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 74895 114 0 0 25 0 1 0 480815828 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 75895 114 0 0 25 0 1 0 480815828 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37362 603 41 0 37968 0
vsize: 152036
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37385 0 0 0 76895 114 0 0 25 0 1 0 480815828 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+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37386 0 0 0 77895 114 0 0 25 0 1 0 480815828 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37386 0 0 0 78895 114 0 0 25 0 1 0 480815828 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37363 603 41 0 37968 0
vsize: 152036
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37386 0 0 0 79896 114 0 0 25 0 1 0 480815828 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+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 80896 114 0 0 25 0 1 0 480815828 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+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 81895 114 0 0 25 0 1 0 480815828 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 82895 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 83896 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561001 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 84896 114 0 0 25 0 1 0 480815828 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+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 85896 114 0 0 25 0 1 0 480815828 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+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 86896 114 0 0 25 0 1 0 480815828 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+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 87897 114 0 0 25 0 1 0 480815828 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 88897 114 0 0 25 0 1 0 480815828 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+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 89897 114 0 0 25 0 1 0 480815828 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 90897 114 0 0 25 0 1 0 480815828 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+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 91897 114 0 0 25 0 1 0 480815828 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+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 92897 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223664 134560352 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 93898 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223744 134558899 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 94898 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223664 134560229 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 95898 114 0 0 25 0 1 0 480815828 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 96898 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223696 134560729 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 97898 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560988 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 98899 114 0 0 25 0 1 0 480815828 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+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37387 0 0 0 99899 114 0 0 25 0 1 0 480815828 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37364 603 41 0 37968 0
vsize: 152036
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37388 0 0 0 100899 114 0 0 25 0 1 0 480815828 155684864 37365 4294967295 134512640 134672761 3221224560 3221223664 134560252 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37388 0 0 0 101899 114 0 0 25 0 1 0 480815828 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+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37388 0 0 0 102899 114 0 0 25 0 1 0 480815828 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37365 603 41 0 37968 0
vsize: 152036
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 103899 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 104900 114 0 0 25 0 1 0 480815828 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+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 105900 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 106900 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 107900 114 0 0 25 0 1 0 480815828 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+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 108900 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 109900 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 110901 114 0 0 25 0 1 0 480815828 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+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 111901 114 0 0 25 0 1 0 480815828 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+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 112901 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 113901 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37389 0 0 0 114902 114 0 0 25 0 1 0 480815828 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38009 37366 603 41 0 37968 0
vsize: 152036
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37539 0 0 0 115902 115 0 0 25 0 1 0 480815828 156348416 37516 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38171 37516 603 41 0 38130 0
vsize: 152684
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 37937 0 0 0 116901 116 0 0 25 0 1 0 480815828 157958144 37914 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38564 37914 603 41 0 38523 0
vsize: 154256
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 38406 0 0 0 117900 117 0 0 25 0 1 0 480815828 159842304 38383 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39024 38383 603 41 0 38983 0
vsize: 156096
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 38872 0 0 0 118899 117 0 0 25 0 1 0 480815828 161726464 38849 4294967295 134512640 134672761 3221224560 3221223708 134559754 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39484 38849 603 41 0 39443 0
vsize: 157936
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17795
Raw data (stat): 17738 (minisat+) R 17737 11931 11930 0 -1 0 39318 0 0 0 119898 119 0 0 25 0 1 0 480815828 163602432 39295 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39942 39295 603 41 0 39901 0
vsize: 159768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17795
Raw data (stat): 17738 (minisat+) Z 17737 11931 11930 0 -1 12 39320 0 0 0 119898 126 0 0 25 0 1 0 480815828 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.1
CPU time (s): 1200.25
CPU user time (s): 1198.99
CPU system time (s): 1.26681
CPU usage (%): 100.012
Max. virtual memory (Kb): 159768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####