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.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
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	4500
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	4500
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	4500
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	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	18
Trace number 4674

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        895120 kB
Buffers:         32508 kB
Cached:          71140 kB
SwapCached:       2636 kB
Active:          44672 kB
Inactive:        64484 kB
HighTotal:      131008 kB
HighFree:        56140 kB
LowTotal:       903652 kB
LowFree:        838980 kB
SwapTotal:     2097892 kB
SwapFree:      2095256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            24852 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:07:10 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3515 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 72413 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 |   72413   146826 |   24137       0        0     nan |  0.000 % |
c |       100 |   72413   146826 |   26550     100     5662    56.6 |  0.000 % |
c |       251 |   72413   146826 |   29205     251    35284   140.6 |  0.000 % |
c |       478 |   72413   146826 |   32126     478    80636   168.7 |  0.000 % |
c |       815 |   72413   146826 |   35338     815   187600   230.2 |  0.000 % |
c |      1322 |   72413   146826 |   38872    1322   375200   283.8 |  0.000 % |
c |      2082 |   72413   146826 |   42760    2082   613029   294.4 |  0.000 % |
c |      3222 |   72413   146826 |   47036    3222   935358   290.3 |  0.000 % |
c |      4930 |   72413   146826 |   51739    4930  1674242   339.6 |  0.000 % |
c |      7492 |   72413   146826 |   56913    7492  2548585   340.2 |  0.000 % |
c |     11336 |   72413   146826 |   62605   11336  4532097   399.8 |  0.000 % |
c |     17105 |   72413   146826 |   68865   17105  7210651   421.6 |  0.000 % |
c |     25754 |   72413   146826 |   75752   25754 11332646   440.0 |  0.000 % |
c |     38729 |   72413   146826 |   83327   38729 16386246   423.1 |  0.000 % |
c |     58190 |   72413   146826 |   91660   58190 22895367   393.5 |  0.000 % |
c |     87382 |   72413   146826 |  100826   87382 36504093   417.8 |  0.000 % |
c |    131175 |   72413   146826 |  110908   41235 18834474   456.8 |  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.58 0.85 0.67 2/54 30130
Raw data (stat): 30130 (runsolver) R 30129 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478583362 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.65 0.86 0.67 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 3748 0 0 0 985 12 0 0 25 0 1 0 478583362 17571840 3725 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4290 3725 603 41 0 4249 0
vsize: 17160
[startup+20.001 s]
Raw data (loadavg): 0.70 0.86 0.67 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 5565 0 0 0 1980 18 0 0 25 0 1 0 478583362 24944640 5542 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6090 5542 603 41 0 6049 0
vsize: 24360
[startup+30.001 s]
Raw data (loadavg): 0.75 0.86 0.68 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 6920 0 0 0 2975 22 0 0 25 0 1 0 478583362 30547968 6897 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7458 6897 603 41 0 7417 0
vsize: 29832
[startup+40.0017 s]
Raw data (loadavg): 0.79 0.87 0.68 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 8171 0 0 0 3971 26 0 0 25 0 1 0 478583362 35680256 8148 4294967295 134512640 134672761 3221224560 3221223652 1075346528 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8711 8148 603 41 0 8670 0
vsize: 34844
[startup+50.0021 s]
Raw data (loadavg): 0.82 0.87 0.68 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 9424 0 0 0 4967 30 0 0 25 0 1 0 478583362 40857600 9401 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9975 9401 603 41 0 9934 0
vsize: 39900
[startup+60.0031 s]
Raw data (loadavg): 0.85 0.88 0.68 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 10883 0 0 0 5963 35 0 0 25 0 1 0 478583362 46841856 10860 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11436 10860 603 41 0 11395 0
vsize: 45744
[startup+70.0039 s]
Raw data (loadavg): 0.87 0.88 0.69 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 12014 0 0 0 6961 37 0 0 25 0 1 0 478583362 51417088 11991 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12553 11991 603 41 0 12512 0
vsize: 50212
[startup+80.0033 s]
Raw data (loadavg): 0.89 0.88 0.69 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 13045 0 0 0 7958 40 0 0 25 0 1 0 478583362 55562240 13022 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13565 13022 603 41 0 13524 0
vsize: 54260
[startup+90.0033 s]
Raw data (loadavg): 0.91 0.89 0.69 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 14212 0 0 0 8954 45 0 0 25 0 1 0 478583362 60407808 14189 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14748 14189 603 41 0 14707 0
vsize: 58992
[startup+100.003 s]
Raw data (loadavg): 0.92 0.89 0.70 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 15163 0 0 0 9951 48 0 0 25 0 1 0 478583362 64319488 15140 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15703 15140 603 41 0 15662 0
vsize: 62812
[startup+110.003 s]
Raw data (loadavg): 0.93 0.89 0.70 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 16065 0 0 0 10949 50 0 0 25 0 1 0 478583362 68083712 16042 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16622 16042 603 41 0 16581 0
vsize: 66488
[startup+120.003 s]
Raw data (loadavg): 0.94 0.89 0.70 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 16976 0 0 0 11947 52 0 0 25 0 1 0 478583362 71856128 16953 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17543 16953 603 41 0 17502 0
vsize: 70172
[startup+130.003 s]
Raw data (loadavg): 0.95 0.90 0.70 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 17725 0 0 0 12945 55 0 0 25 0 1 0 478583362 74821632 17702 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18267 17702 603 41 0 18226 0
vsize: 73068
[startup+140.004 s]
Raw data (loadavg): 0.96 0.90 0.71 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 18433 0 0 0 13943 57 0 0 25 0 1 0 478583362 77783040 18410 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18990 18410 603 41 0 18949 0
vsize: 75960
[startup+150.004 s]
Raw data (loadavg): 0.96 0.90 0.71 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 19328 0 0 0 14940 59 0 0 25 0 1 0 478583362 81428480 19305 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19880 19305 603 41 0 19839 0
vsize: 79520
[startup+160.004 s]
Raw data (loadavg): 0.97 0.91 0.71 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 20007 0 0 0 15938 61 0 0 25 0 1 0 478583362 84254720 19984 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20570 19984 603 41 0 20529 0
vsize: 82280
[startup+170.004 s]
Raw data (loadavg): 0.97 0.91 0.72 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 20686 0 0 0 16936 64 0 0 25 0 1 0 478583362 86945792 20663 4294967295 134512640 134672761 3221224560 3221223664 134560510 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21227 20663 603 41 0 21186 0
vsize: 84908
[startup+180.004 s]
Raw data (loadavg): 0.98 0.91 0.72 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 21307 0 0 0 17935 65 0 0 25 0 1 0 478583362 89505792 21284 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21852 21284 603 41 0 21811 0
vsize: 87408
[startup+190.004 s]
Raw data (loadavg): 0.98 0.91 0.72 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 21909 0 0 0 18934 67 0 0 25 0 1 0 478583362 92057600 21886 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22475 21886 603 41 0 22434 0
vsize: 89900
[startup+200.004 s]
Raw data (loadavg): 0.98 0.92 0.72 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 22480 0 0 0 19932 68 0 0 25 0 1 0 478583362 94334976 22457 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23031 22457 603 41 0 22990 0
vsize: 92124
[startup+210.005 s]
Raw data (loadavg): 0.98 0.92 0.73 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 23055 0 0 0 20931 70 0 0 25 0 1 0 478583362 96653312 23032 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23597 23032 603 41 0 23556 0
vsize: 94388
[startup+220.006 s]
Raw data (loadavg): 0.99 0.92 0.73 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 23644 0 0 0 21929 72 0 0 25 0 1 0 478583362 99078144 23621 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24189 23621 603 41 0 24148 0
vsize: 96756
[startup+230.005 s]
Raw data (loadavg): 0.99 0.92 0.73 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 24292 0 0 0 22927 74 0 0 25 0 1 0 478583362 101773312 24269 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24847 24269 603 41 0 24806 0
vsize: 99388
[startup+240.005 s]
Raw data (loadavg): 0.99 0.92 0.73 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 24894 0 0 0 23925 76 0 0 25 0 1 0 478583362 104189952 24871 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25437 24871 603 41 0 25396 0
vsize: 101748
[startup+250.006 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 25447 0 0 0 24924 78 0 0 25 0 1 0 478583362 106491904 25424 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25999 25424 603 41 0 25958 0
vsize: 103996
[startup+260.006 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 26179 0 0 0 25922 79 0 0 25 0 1 0 478583362 109420544 26156 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26714 26156 603 41 0 26673 0
vsize: 106856
[startup+270.007 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 26855 0 0 0 26920 81 0 0 25 0 1 0 478583362 112222208 26832 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27398 26832 603 41 0 27357 0
vsize: 109592
[startup+280.007 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 27590 0 0 0 27918 83 0 0 25 0 1 0 478583362 115294208 27567 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28148 27567 603 41 0 28107 0
vsize: 112592
[startup+290.008 s]
Raw data (loadavg): 0.99 0.93 0.74 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 28264 0 0 0 28916 86 0 0 25 0 1 0 478583362 117977088 28241 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28803 28241 603 41 0 28762 0
vsize: 115212
[startup+300.007 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 28932 0 0 0 29914 88 0 0 25 0 1 0 478583362 121053184 28909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29554 28909 603 41 0 29513 0
vsize: 118216
[startup+310.008 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 29594 0 0 0 30912 90 0 0 25 0 1 0 478583362 123736064 29571 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30209 29571 603 41 0 30168 0
vsize: 120836
[startup+320.009 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 30235 0 0 0 31911 91 0 0 25 0 1 0 478583362 126291968 30212 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30833 30212 603 41 0 30792 0
vsize: 123332
[startup+330.008 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 30808 0 0 0 32910 92 0 0 25 0 1 0 478583362 128712704 30785 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31424 30785 603 41 0 31383 0
vsize: 125696
[startup+340.009 s]
Raw data (loadavg): 0.99 0.94 0.75 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 31399 0 0 0 33909 94 0 0 25 0 1 0 478583362 131129344 31376 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32014 31376 603 41 0 31973 0
vsize: 128056
[startup+350.009 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 32031 0 0 0 34907 96 0 0 25 0 1 0 478583362 133660672 32008 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32632 32008 603 41 0 32591 0
vsize: 130528
[startup+360.01 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 32627 0 0 0 35906 97 0 0 25 0 1 0 478583362 136093696 32604 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33226 32604 603 41 0 33185 0
vsize: 132904
[startup+370.01 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 33214 0 0 0 36904 99 0 0 25 0 1 0 478583362 138510336 33191 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33816 33191 603 41 0 33775 0
vsize: 135264
[startup+380.01 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 33798 0 0 0 37902 101 0 0 25 0 1 0 478583362 140943360 33775 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34410 33775 603 41 0 34369 0
vsize: 137640
[startup+390.011 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 34283 0 0 0 38901 103 0 0 25 0 1 0 478583362 142970880 34260 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34905 34260 603 41 0 34864 0
vsize: 139620
[startup+400.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 34806 0 0 0 39900 104 0 0 25 0 1 0 478583362 145125376 34783 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35431 34783 603 41 0 35390 0
vsize: 141724
[startup+410.012 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 35305 0 0 0 40899 106 0 0 25 0 1 0 478583362 147120128 35282 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35918 35282 603 41 0 35877 0
vsize: 143672
[startup+420.012 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 35756 0 0 0 41898 107 0 0 25 0 1 0 478583362 149004288 35733 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36378 35733 603 41 0 36337 0
vsize: 145512
[startup+430.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 36178 0 0 0 42897 108 0 0 25 0 1 0 478583362 150749184 36155 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36804 36155 603 41 0 36763 0
vsize: 147216
[startup+440.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 36670 0 0 0 43895 109 0 0 25 0 1 0 478583362 152764416 36647 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37296 36647 603 41 0 37255 0
vsize: 149184
[startup+450.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 37132 0 0 0 44894 111 0 0 25 0 1 0 478583362 154624000 37109 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37750 37109 603 41 0 37709 0
vsize: 151000
[startup+460.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 37665 0 0 0 45893 112 0 0 25 0 1 0 478583362 156868608 37642 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38298 37642 603 41 0 38257 0
vsize: 153192
[startup+470.011 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 38231 0 0 0 46892 113 0 0 25 0 1 0 478583362 159141888 38208 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38853 38208 603 41 0 38812 0
vsize: 155412
[startup+480.011 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 38736 0 0 0 47891 115 0 0 25 0 1 0 478583362 161271808 38713 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39373 38713 603 41 0 39332 0
vsize: 157492
[startup+490.012 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 39279 0 0 0 48889 116 0 0 25 0 1 0 478583362 163446784 39256 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39904 39256 603 41 0 39863 0
vsize: 159616
[startup+500.012 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 39664 0 0 0 49889 117 0 0 25 0 1 0 478583362 165072896 39641 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40301 39641 603 41 0 40260 0
vsize: 161204
[startup+510.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 40044 0 0 0 50888 118 0 0 25 0 1 0 478583362 166559744 40021 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40664 40021 603 41 0 40623 0
vsize: 162656
[startup+520.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 40412 0 0 0 51887 119 0 0 25 0 1 0 478583362 168177664 40389 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41059 40389 603 41 0 41018 0
vsize: 164236
[startup+530.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 40751 0 0 0 52886 120 0 0 25 0 1 0 478583362 169521152 40728 4294967295 134512640 134672761 3221224560 3221223760 134557814 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41387 40728 603 41 0 41346 0
vsize: 165548
[startup+540.014 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 41170 0 0 0 53884 122 0 0 25 0 1 0 478583362 171274240 41147 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41815 41147 603 41 0 41774 0
vsize: 167260
[startup+550.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 41635 0 0 0 54883 123 0 0 25 0 1 0 478583362 173162496 41612 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42276 41612 603 41 0 42235 0
vsize: 169104
[startup+560.014 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 42072 0 0 0 55882 125 0 0 25 0 1 0 478583362 174915584 42049 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42704 42049 603 41 0 42663 0
vsize: 170816
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 42487 0 0 0 56881 126 0 0 25 0 1 0 478583362 176668672 42464 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43132 42464 603 41 0 43091 0
vsize: 172528
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 42833 0 0 0 57879 128 0 0 25 0 1 0 478583362 178016256 42810 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43461 42810 603 41 0 43420 0
vsize: 173844
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 43186 0 0 0 58878 129 0 0 25 0 1 0 478583362 179507200 43163 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43825 43163 603 41 0 43784 0
vsize: 175300
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 43596 0 0 0 59877 130 0 0 25 0 1 0 478583362 181129216 43573 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44221 43573 603 41 0 44180 0
vsize: 176884
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 44039 0 0 0 60877 131 0 0 25 0 1 0 478583362 182882304 44016 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44649 44016 603 41 0 44608 0
vsize: 178596
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 44470 0 0 0 61876 132 0 0 25 0 1 0 478583362 184643584 44447 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45079 44447 603 41 0 45038 0
vsize: 180316
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 44864 0 0 0 62875 133 0 0 25 0 1 0 478583362 186265600 44841 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45475 44841 603 41 0 45434 0
vsize: 181900
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 45244 0 0 0 63875 133 0 0 25 0 1 0 478583362 187895808 45221 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45873 45221 603 41 0 45832 0
vsize: 183492
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 45634 0 0 0 64875 134 0 0 25 0 1 0 478583362 189513728 45611 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46268 45611 603 41 0 46227 0
vsize: 185072
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46070 0 0 0 65874 135 0 0 25 0 1 0 478583362 191270912 46047 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46697 46047 603 41 0 46656 0
vsize: 186788
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46131 0 0 0 66874 135 0 0 25 0 1 0 478583362 191545344 46108 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46108 603 41 0 46723 0
vsize: 187056
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46132 0 0 0 67874 135 0 0 25 0 1 0 478583362 191545344 46109 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46109 603 41 0 46723 0
vsize: 187056
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46133 0 0 0 68874 135 0 0 25 0 1 0 478583362 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46133 0 0 0 69874 135 0 0 25 0 1 0 478583362 191545344 46110 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46133 0 0 0 70874 135 0 0 25 0 1 0 478583362 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46134 0 0 0 71875 135 0 0 25 0 1 0 478583362 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46134 0 0 0 72875 135 0 0 25 0 1 0 478583362 191545344 46111 4294967295 134512640 134672761 3221224560 3221223696 134560566 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46134 0 0 0 73875 135 0 0 25 0 1 0 478583362 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 74875 136 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 75875 136 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 30130
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 76875 136 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134559063 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+780.02 s]
Raw data (loadavg): 1.07 0.99 0.83 2/56 30173
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 77870 140 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+790.02 s]
Raw data (loadavg): 1.06 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 78871 140 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+800.021 s]
Raw data (loadavg): 1.05 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46136 0 0 0 79871 140 0 0 25 0 1 0 478583362 191545344 46113 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+810.021 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 80871 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+820.021 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 81871 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+830.021 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 82871 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+840.022 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 30183
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 83871 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134560418 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+850.021 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 84871 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+860.021 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 85872 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+870.022 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 86872 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+880.022 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 87872 140 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+890.021 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 88872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+900.021 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 89872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+910.021 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 90872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 91872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 92872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 93872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 94872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 95872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 96872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 97872 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 98873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 99873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 100873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 101873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 102873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 103873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 104873 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 105874 141 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 106873 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 107874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 108874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134560034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 109874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30185
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 110874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 111874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 112874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 113874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 114875 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 115874 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 116875 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 117875 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 118875 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 30187
Raw data (stat): 30130 (minisat+) R 30129 27565 27564 0 -1 0 46137 0 0 0 119875 142 0 0 25 0 1 0 478583362 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.88 1/54 30187
Raw data (stat): 30130 (minisat+) Z 30129 27565 27564 0 -1 12 46139 0 0 0 119875 151 0 0 25 0 1 0 478583362 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.11
CPU time (s): 1200.27
CPU user time (s): 1198.75
CPU system time (s): 1.51477
CPU usage (%): 100.013
Max. virtual memory (Kb): 187056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####