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 4873

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861164 kB
Buffers:         33656 kB
Cached:          97156 kB
SwapCached:       3828 kB
Active:          49192 kB
Inactive:        88332 kB
HighTotal:      131008 kB
HighFree:        31556 kB
LowTotal:       903652 kB
LowFree:        829608 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30420 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:57:01 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 1175 7 1200.28 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): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (runsolver) R 31221 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478879730 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 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.0006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 3749 0 0 0 987 11 0 0 25 0 1 0 478879730 17571840 3726 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4290 3726 603 41 0 4249 0
vsize: 17160
[startup+20.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 5498 0 0 0 1982 15 0 0 25 0 1 0 478879730 24678400 5475 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6025 5475 603 41 0 5984 0
vsize: 24100
[startup+30.0015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 6862 0 0 0 2978 19 0 0 25 0 1 0 478879730 30277632 6839 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6839 603 41 0 7351 0
vsize: 29568
[startup+40.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 8091 0 0 0 3974 23 0 0 25 0 1 0 478879730 35274752 8068 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8612 8068 603 41 0 8571 0
vsize: 34448
[startup+50.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 9334 0 0 0 4972 26 0 0 25 0 1 0 478879730 40456192 9311 4294967295 134512640 134672761 3221224640 3221223824 134559636 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9877 9311 603 41 0 9836 0
vsize: 39508
[startup+60.0015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 10805 0 0 0 5968 30 0 0 25 0 1 0 478879730 46440448 10782 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11338 10782 603 41 0 11297 0
vsize: 45352
[startup+70.0015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 11963 0 0 0 6966 32 0 0 25 0 1 0 478879730 51154944 11940 4294967295 134512640 134672761 3221224640 3221223744 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12489 11941 603 41 0 12448 0
vsize: 49956
[startup+80.0022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 13001 0 0 0 7964 34 0 0 25 0 1 0 478879730 55427072 12978 4294967295 134512640 134672761 3221224640 3221223808 134560968 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13532 12978 603 41 0 13491 0
vsize: 54128
[startup+90.0016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 14155 0 0 0 8961 38 0 0 25 0 1 0 478879730 60137472 14132 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14682 14132 603 41 0 14641 0
vsize: 58728
[startup+100.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 15119 0 0 0 9958 40 0 0 25 0 1 0 478879730 64049152 15096 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15637 15096 603 41 0 15596 0
vsize: 62548
[startup+110.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 16002 0 0 0 10956 43 0 0 25 0 1 0 478879730 67813376 15979 4294967295 134512640 134672761 3221224640 3221223792 134541816 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16556 15979 603 41 0 16515 0
vsize: 66224
[startup+120.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 16910 0 0 0 11955 44 0 0 25 0 1 0 478879730 71589888 16887 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17478 16887 603 41 0 17437 0
vsize: 69912
[startup+130.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 17672 0 0 0 12952 47 0 0 25 0 1 0 478879730 74686464 17649 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18234 17649 603 41 0 18193 0
vsize: 72936
[startup+140.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 18363 0 0 0 13950 49 0 0 25 0 1 0 478879730 77512704 18340 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18924 18340 603 41 0 18883 0
vsize: 75696
[startup+150.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 19245 0 0 0 14948 51 0 0 25 0 1 0 478879730 81158144 19222 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19814 19222 603 41 0 19773 0
vsize: 79256
[startup+160.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 19928 0 0 0 15946 53 0 0 25 0 1 0 478879730 83853312 19905 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20472 19905 603 41 0 20431 0
vsize: 81888
[startup+170.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 20627 0 0 0 16945 55 0 0 25 0 1 0 478879730 86814720 20604 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21195 20604 603 41 0 21154 0
vsize: 84780
[startup+180.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 21219 0 0 0 17943 57 0 0 25 0 1 0 478879730 89235456 21196 4294967295 134512640 134672761 3221224640 3221223784 134560555 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21786 21196 603 41 0 21745 0
vsize: 87144
[startup+190.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 21817 0 0 0 18941 59 0 0 25 0 1 0 478879730 91660288 21794 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22378 21794 603 41 0 22337 0
vsize: 89512
[startup+200.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 22400 0 0 0 19940 61 0 0 25 0 1 0 478879730 94068736 22377 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22966 22377 603 41 0 22925 0
vsize: 91864
[startup+210.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 22956 0 0 0 20939 61 0 0 25 0 1 0 478879730 96247808 22933 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23498 22933 603 41 0 23457 0
vsize: 93992
[startup+220.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 23524 0 0 0 21937 64 0 0 25 0 1 0 478879730 98537472 23501 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24057 23501 603 41 0 24016 0
vsize: 96228
[startup+230.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 24151 0 0 0 22935 66 0 0 25 0 1 0 478879730 101097472 24128 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24682 24128 603 41 0 24641 0
vsize: 98728
[startup+240.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 24795 0 0 0 23933 68 0 0 25 0 1 0 478879730 103784448 24772 4294967295 134512640 134672761 3221224640 3221223808 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25338 24772 603 41 0 25297 0
vsize: 101352
[startup+250.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 25287 0 0 0 24931 70 0 0 25 0 1 0 478879730 105816064 25264 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25834 25264 603 41 0 25793 0
vsize: 103336
[startup+260.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 25967 0 0 0 25929 72 0 0 25 0 1 0 478879730 108630016 25944 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26521 25944 603 41 0 26480 0
vsize: 106084
[startup+270.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 26657 0 0 0 26928 73 0 0 25 0 1 0 478879730 111415296 26634 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27201 26634 603 41 0 27160 0
vsize: 108804
[startup+280.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 27348 0 0 0 27926 75 0 0 25 0 1 0 478879730 114216960 27325 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27885 27325 603 41 0 27844 0
vsize: 111540
[startup+290.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 28039 0 0 0 28924 77 0 0 25 0 1 0 478879730 117026816 28016 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28571 28016 603 41 0 28530 0
vsize: 114284
[startup+300.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 28709 0 0 0 29922 79 0 0 25 0 1 0 478879730 120107008 28686 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29323 28686 603 41 0 29282 0
vsize: 117292
[startup+310.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 29366 0 0 0 30921 81 0 0 25 0 1 0 478879730 122789888 29343 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29978 29343 603 41 0 29937 0
vsize: 119912
[startup+320.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 30004 0 0 0 31920 82 0 0 25 0 1 0 478879730 125333504 29981 4294967295 134512640 134672761 3221224640 3221223824 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30599 29981 603 41 0 30558 0
vsize: 122396
[startup+330.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 30598 0 0 0 32918 84 0 0 25 0 1 0 478879730 127774720 30575 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31195 30575 603 41 0 31154 0
vsize: 124780
[startup+340.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 31176 0 0 0 33918 85 0 0 25 0 1 0 478879730 130187264 31153 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31784 31153 603 41 0 31743 0
vsize: 127136
[startup+350.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 31780 0 0 0 34916 87 0 0 25 0 1 0 478879730 132722688 31757 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32403 31757 603 41 0 32362 0
vsize: 129612
[startup+360.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 32382 0 0 0 35915 88 0 0 25 0 1 0 478879730 135139328 32359 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32993 32359 603 41 0 32952 0
vsize: 131972
[startup+370.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 32949 0 0 0 36914 90 0 0 25 0 1 0 478879730 137433088 32926 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33553 32926 603 41 0 33512 0
vsize: 134212
[startup+380.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 33561 0 0 0 37913 91 0 0 25 0 1 0 478879730 139997184 33538 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34179 33538 603 41 0 34138 0
vsize: 136716
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 34068 0 0 0 38912 92 0 0 25 0 1 0 478879730 142024704 34045 4294967295 134512640 134672761 3221224640 3221223744 134560514 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34674 34045 603 41 0 34633 0
vsize: 138696
[startup+400.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 34548 0 0 0 39911 94 0 0 25 0 1 0 478879730 144048128 34525 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35168 34525 603 41 0 35127 0
vsize: 140672
[startup+410.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 35078 0 0 0 40910 94 0 0 25 0 1 0 478879730 146178048 35055 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35688 35055 603 41 0 35647 0
vsize: 142752
[startup+420.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 35515 0 0 0 41910 95 0 0 25 0 1 0 478879730 148058112 35492 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36147 35492 603 41 0 36106 0
vsize: 144588
[startup+430.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 35931 0 0 0 42908 97 0 0 25 0 1 0 478879730 149680128 35908 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36543 35908 603 41 0 36502 0
vsize: 146172
[startup+440.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 36396 0 0 0 43908 98 0 0 25 0 1 0 478879730 151556096 36373 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37001 36373 603 41 0 36960 0
vsize: 148004
[startup+450.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 36851 0 0 0 44907 99 0 0 25 0 1 0 478879730 153436160 36828 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37460 36828 603 41 0 37419 0
vsize: 149840
[startup+460.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 37320 0 0 0 45905 101 0 0 25 0 1 0 478879730 155418624 37297 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37944 37297 603 41 0 37903 0
vsize: 151776
[startup+470.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 37874 0 0 0 46904 102 0 0 25 0 1 0 478879730 157667328 37851 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38493 37851 603 41 0 38452 0
vsize: 153972
[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 38428 0 0 0 47903 103 0 0 25 0 1 0 478879730 159936512 38405 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39047 38405 603 41 0 39006 0
vsize: 156188
[startup+490.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 38920 0 0 0 48902 104 0 0 25 0 1 0 478879730 161943552 38897 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39537 38897 603 41 0 39496 0
vsize: 158148
[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 39382 0 0 0 49901 105 0 0 25 0 1 0 478879730 163852288 39359 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40003 39359 603 41 0 39962 0
vsize: 160012
[startup+510.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 39755 0 0 0 50899 107 0 0 25 0 1 0 478879730 165478400 39732 4294967295 134512640 134672761 3221224640 3221223776 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40400 39732 603 41 0 40359 0
vsize: 161600
[startup+520.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 40140 0 0 0 51899 107 0 0 25 0 1 0 478879730 166965248 40117 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40763 40117 603 41 0 40722 0
vsize: 163052
[startup+530.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 40496 0 0 0 52898 108 0 0 25 0 1 0 478879730 168448000 40473 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41125 40473 603 41 0 41084 0
vsize: 164500
[startup+540.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 40828 0 0 0 53898 109 0 0 25 0 1 0 478879730 169791488 40805 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41453 40805 603 41 0 41412 0
vsize: 165812
[startup+550.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 41259 0 0 0 54897 110 0 0 25 0 1 0 478879730 171544576 41236 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41881 41236 603 41 0 41840 0
vsize: 167524
[startup+560.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 41694 0 0 0 55896 111 0 0 25 0 1 0 478879730 173432832 41671 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42342 41671 603 41 0 42301 0
vsize: 169368
[startup+570.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 42126 0 0 0 56894 113 0 0 25 0 1 0 478879730 175190016 42103 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42771 42103 603 41 0 42730 0
vsize: 171084
[startup+580.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 42526 0 0 0 57893 114 0 0 25 0 1 0 478879730 176803840 42503 4294967295 134512640 134672761 3221224640 3221223808 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43165 42503 603 41 0 43124 0
vsize: 172660
[startup+590.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 42863 0 0 0 58893 114 0 0 25 0 1 0 478879730 178151424 42840 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43494 42840 603 41 0 43453 0
vsize: 173976
[startup+600.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 43211 0 0 0 59892 115 0 0 25 0 1 0 478879730 179507200 43188 4294967295 134512640 134672761 3221224640 3221223808 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43825 43188 603 41 0 43784 0
vsize: 175300
[startup+610.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 43615 0 0 0 60891 116 0 0 25 0 1 0 478879730 181264384 43592 4294967295 134512640 134672761 3221224640 3221223776 134560622 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44254 43592 603 41 0 44213 0
vsize: 177016
[startup+620.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 44051 0 0 0 61891 117 0 0 25 0 1 0 478879730 183017472 44028 4294967295 134512640 134672761 3221224640 3221223744 134555211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44682 44028 603 41 0 44641 0
vsize: 178728
[startup+630.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 44473 0 0 0 62890 118 0 0 25 0 1 0 478879730 184778752 44450 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45112 44450 603 41 0 45071 0
vsize: 180448
[startup+640.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 44862 0 0 0 63889 119 0 0 25 0 1 0 478879730 186265600 44839 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45475 44839 603 41 0 45434 0
vsize: 181900
[startup+650.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 45231 0 0 0 64888 120 0 0 25 0 1 0 478879730 187895808 45208 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45873 45208 603 41 0 45832 0
vsize: 183492
[startup+660.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 45606 0 0 0 65887 121 0 0 25 0 1 0 478879730 189378560 45583 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46235 45583 603 41 0 46194 0
vsize: 184940
[startup+670.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46039 0 0 0 66887 122 0 0 25 0 1 0 478879730 191135744 46016 4294967295 134512640 134672761 3221224640 3221223744 134560529 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46664 46016 603 41 0 46623 0
vsize: 186656
[startup+680.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46132 0 0 0 67887 122 0 0 25 0 1 0 478879730 191545344 46109 4294967295 134512640 134672761 3221224640 3221223808 134561118 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.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46133 0 0 0 68887 122 0 0 25 0 1 0 478879730 191545344 46110 4294967295 134512640 134672761 3221224640 3221223744 134554910 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.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46133 0 0 0 69887 122 0 0 25 0 1 0 478879730 191545344 46110 4294967295 134512640 134672761 3221224640 3221223840 134557895 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.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46134 0 0 0 70887 122 0 0 25 0 1 0 478879730 191545344 46111 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+720.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46134 0 0 0 71887 123 0 0 25 0 1 0 478879730 191545344 46111 4294967295 134512640 134672761 3221224640 3221223808 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.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46135 0 0 0 72888 123 0 0 25 0 1 0 478879730 191545344 46112 4294967295 134512640 134672761 3221224640 3221223808 134561016 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46112 603 41 0 46723 0
vsize: 187056
[startup+740.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46135 0 0 0 73888 123 0 0 25 0 1 0 478879730 191545344 46112 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46112 603 41 0 46723 0
vsize: 187056
[startup+750.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46135 0 0 0 74888 123 0 0 25 0 1 0 478879730 191545344 46112 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46112 603 41 0 46723 0
vsize: 187056
[startup+760.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 75888 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223840 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+770.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 76887 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+780.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 77887 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+790.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 78888 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223808 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+800.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 79888 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223808 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+810.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46137 0 0 0 80888 123 0 0 25 0 1 0 478879730 191545344 46114 4294967295 134512640 134672761 3221224640 3221223808 134560830 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.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 81888 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+830.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 82888 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+840.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 83889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+850.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 84889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+860.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 85889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+870.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 86889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+880.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 87889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+890.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 88889 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+900.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 89890 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+910.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 90890 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+920.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 91890 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+930.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 92890 123 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+940.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 93890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223788 134559754 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+950.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 94890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+960.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 95890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+970.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 96890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+980.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 97890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+990.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 98890 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1000.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 99891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1010.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 100891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1020.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 101891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1030.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 102891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1040.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 103891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 104891 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 105892 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1070.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 106892 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223824 134559031 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1080.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 107892 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1090.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 108892 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 109892 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 110893 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 111893 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 112893 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 113893 124 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223744 134555216 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 114893 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 115893 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 116893 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 117893 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 118894 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31222
Raw data (stat): 31222 (minisat+) R 31221 28546 28545 0 -1 0 46138 0 0 0 119894 125 0 0 25 0 1 0 478879730 191545344 46115 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46115 603 41 0 46723 0
vsize: 187056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31222
Raw data (stat): 31222 (minisat+) Z 31221 28546 28545 0 -1 12 46140 0 0 0 119894 133 0 0 25 0 1 0 478879730 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.12
CPU time (s): 1200.28
CPU user time (s): 1198.94
CPU system time (s): 1.3378
CPU usage (%): 100.014
Max. virtual memory (Kb): 187056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####