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 5436

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        894184 kB
Buffers:         33796 kB
Cached:          71704 kB
SwapCached:         36 kB
Active:          48788 kB
Inactive:        59588 kB
HighTotal:      131008 kB
HighFree:        55636 kB
LowTotal:       903652 kB
LowFree:        838548 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            26572 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 00:17:15 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 3891 7 1200.34 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 =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |   72413   146826 |   21723       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/4500          
c   -- var.elim.:  2000/4500          
c   -- var.elim.:  3000/4500          
c   -- var.elim.:  4000/4500          
c   -- var.elim.:  4500/4500          
c |         0 |   72413   146826 |   28965       0        0     nan |  0.000 % |
c |       101 |   72413   146826 |   31861     101     5961    59.0 |  0.000 % |
c |       252 |   72413   146826 |   35047     252    21691    86.1 |  0.001 % |
c |       477 |   72413   146826 |   38552     477    60437   126.7 |  0.000 % |
c |       814 |   72413   146826 |   42407     814   147608   181.3 |  0.000 % |
c |      1320 |   72413   146826 |   46648    1320   244650   185.3 |  0.000 #### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.56 0.84 0.87 2/54 31974
Raw data (stat): 31974 (runsolver) R 31973 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480094576 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99909 s]
Raw data (loadavg): 0.63 0.85 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 4608 0 0 0 987 11 0 0 25 0 1 0 480094576 21487616 4586 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5246 4586 603 41 0 5205 0
vsize: 20984
[startup+19.9997 s]
Raw data (loadavg): 0.69 0.85 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 6211 0 0 0 1982 15 0 0 25 0 1 0 480094576 28094464 6189 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6859 6189 603 41 0 6818 0
vsize: 27436
[startup+29.9996 s]
Raw data (loadavg): 0.73 0.86 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 7811 0 0 0 2978 20 0 0 25 0 1 0 480094576 34684928 7789 4294967295 134512640 134672761 3221224560 3221223392 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8468 7789 603 41 0 8427 0
vsize: 33872
[startup+39.9999 s]
Raw data (loadavg): 0.77 0.86 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 9149 0 0 0 3975 23 0 0 25 0 1 0 480094576 40189952 9127 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9812 9127 603 41 0 9771 0
vsize: 39248
[startup+49.9995 s]
Raw data (loadavg): 0.81 0.86 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 10350 0 0 0 4972 27 0 0 25 0 1 0 480094576 45088768 10328 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11008 10328 603 41 0 10967 0
vsize: 44032
[startup+59.9994 s]
Raw data (loadavg): 0.84 0.87 0.87 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 11549 0 0 0 5969 30 0 0 25 0 1 0 480094576 49983488 11527 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12203 11527 603 41 0 12162 0
vsize: 48812
[startup+69.9997 s]
Raw data (loadavg): 0.86 0.87 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 12538 0 0 0 6966 33 0 0 25 0 1 0 480094576 53956608 12516 4294967295 134512640 134672761 3221224560 3221223744 134615608 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13173 12516 603 41 0 13132 0
vsize: 52692
[startup+79.9993 s]
Raw data (loadavg): 0.88 0.88 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 13959 0 0 0 7963 36 0 0 25 0 1 0 480094576 59809792 13937 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14602 13937 603 41 0 14561 0
vsize: 58408
[startup+89.9992 s]
Raw data (loadavg): 0.90 0.88 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 15189 0 0 0 8960 39 0 0 25 0 1 0 480094576 64831488 15167 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15828 15167 603 41 0 15787 0
vsize: 63312
[startup+99.9985 s]
Raw data (loadavg): 0.91 0.88 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 16394 0 0 0 9958 41 0 0 25 0 1 0 480094576 69967872 16372 4294967295 134512640 134672761 3221224560 3221223552 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17082 16372 603 41 0 17041 0
vsize: 68328
[startup+109.998 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 17376 0 0 0 10956 44 0 0 25 0 1 0 480094576 73957376 17354 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18056 17354 603 41 0 18015 0
vsize: 72224
[startup+119.999 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 18223 0 0 0 11954 46 0 0 25 0 1 0 480094576 77426688 18201 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18903 18201 603 41 0 18862 0
vsize: 75612
[startup+129.998 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 19034 0 0 0 12952 48 0 0 25 0 1 0 480094576 80736256 19012 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19711 19012 603 41 0 19670 0
vsize: 78844
[startup+139.998 s]
Raw data (loadavg): 0.95 0.90 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 20204 0 0 0 13950 50 0 0 25 0 1 0 480094576 85458944 20182 4294967295 134512640 134672761 3221224560 3221223744 134615747 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20864 20182 603 41 0 20823 0
vsize: 83456
[startup+149.998 s]
Raw data (loadavg): 0.96 0.90 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 21513 0 0 0 14948 53 0 0 25 0 1 0 480094576 90877952 21491 4294967295 134512640 134672761 3221224560 3221223600 134612684 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22187 21491 603 41 0 22146 0
vsize: 88748
[startup+159.997 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 22776 0 0 0 15945 55 0 0 25 0 1 0 480094576 96030720 22754 4294967295 134512640 134672761 3221224560 3221223600 134612587 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23445 22754 603 41 0 23404 0
vsize: 93780
[startup+169.997 s]
Raw data (loadavg): 0.97 0.90 0.89 2/54 31974
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 23944 0 0 0 16943 57 0 0 25 0 1 0 480094576 100790272 23922 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24607 23922 603 41 0 24566 0
vsize: 98428
[startup+179.997 s]
Raw data (loadavg): 1.05 0.92 0.89 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 24937 0 0 0 17939 61 0 0 25 0 1 0 480094576 104873984 24915 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25604 24915 603 41 0 25563 0
vsize: 102416
[startup+189.998 s]
Raw data (loadavg): 1.04 0.93 0.89 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 25925 0 0 0 18937 64 0 0 25 0 1 0 480094576 108933120 25903 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26595 25903 603 41 0 26554 0
vsize: 106380
[startup+199.998 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 26919 0 0 0 19934 67 0 0 25 0 1 0 480094576 112984064 26897 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27584 26897 603 41 0 27543 0
vsize: 110336
[startup+209.997 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 27798 0 0 0 20931 70 0 0 25 0 1 0 480094576 116518912 27776 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28447 27776 603 41 0 28406 0
vsize: 113788
[startup+219.998 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 28602 0 0 0 21929 72 0 0 25 0 1 0 480094576 119930880 28580 4294967295 134512640 134672761 3221224560 3221223744 134615937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29280 28580 603 41 0 29239 0
vsize: 117120
[startup+229.997 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 29474 0 0 0 22926 75 0 0 25 0 1 0 480094576 123453440 29452 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30140 29452 603 41 0 30099 0
vsize: 120560
[startup+239.997 s]
Raw data (loadavg): 1.02 0.94 0.90 2/54 32027
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 30389 0 0 0 23923 78 0 0 25 0 1 0 480094576 127266816 30367 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31071 30367 603 41 0 31030 0
vsize: 124284
[startup+249.997 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 31087 0 0 0 24922 80 0 0 25 0 1 0 480094576 130019328 31065 4294967295 134512640 134672761 3221224560 3221223600 134612684 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31743 31065 603 41 0 31702 0
vsize: 126972
[startup+259.997 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 31582 0 0 0 25921 81 0 0 25 0 1 0 480094576 132136960 31560 4294967295 134512640 134672761 3221224560 3221223600 134612614 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32260 31560 603 41 0 32219 0
vsize: 129040
[startup+269.997 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 32192 0 0 0 26920 82 0 0 25 0 1 0 480094576 134660096 32170 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32876 32170 603 41 0 32835 0
vsize: 131504
[startup+279.996 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 32771 0 0 0 27918 84 0 0 25 0 1 0 480094576 137011200 32749 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33450 32749 603 41 0 33409 0
vsize: 133800
[startup+289.997 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 33364 0 0 0 28917 86 0 0 25 0 1 0 480094576 139382784 33342 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34029 33342 603 41 0 33988 0
vsize: 136116
[startup+299.997 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 33961 0 0 0 29915 88 0 0 25 0 1 0 480094576 141877248 33939 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34638 33939 603 41 0 34597 0
vsize: 138552
[startup+309.996 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 34504 0 0 0 30914 89 0 0 25 0 1 0 480094576 144097280 34482 4294967295 134512640 134672761 3221224560 3221223744 134615747 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35180 34482 603 41 0 35139 0
vsize: 140720
[startup+319.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 35168 0 0 0 31912 91 0 0 25 0 1 0 480094576 146841600 35146 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35850 35146 603 41 0 35809 0
vsize: 143400
[startup+329.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 35703 0 0 0 32911 92 0 0 25 0 1 0 480094576 148967424 35681 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36369 35681 603 41 0 36328 0
vsize: 145476
[startup+339.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 36263 0 0 0 33909 94 0 0 25 0 1 0 480094576 151334912 36241 4294967295 134512640 134672761 3221224560 3221223744 134615940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36947 36241 603 41 0 36906 0
vsize: 147788
[startup+349.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 36861 0 0 0 34908 96 0 0 25 0 1 0 480094576 153710592 36839 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37527 36839 603 41 0 37486 0
vsize: 150108
[startup+359.995 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 37595 0 0 0 35906 98 0 0 25 0 1 0 480094576 156749824 37573 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38269 37573 603 41 0 38228 0
vsize: 153076
[startup+369.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 38430 0 0 0 36904 100 0 0 25 0 1 0 480094576 160243712 38408 4294967295 134512640 134672761 3221224560 3221223600 134612628 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39122 38408 603 41 0 39081 0
vsize: 156488
[startup+379.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 39077 0 0 0 37903 101 0 0 25 0 1 0 480094576 162852864 39055 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39759 39055 603 41 0 39718 0
vsize: 159036
[startup+389.996 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 39796 0 0 0 38901 103 0 0 25 0 1 0 480094576 165740544 39774 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40464 39774 603 41 0 40423 0
vsize: 161856
[startup+399.997 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 40393 0 0 0 39900 105 0 0 25 0 1 0 480094576 168243200 40371 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41075 40371 603 41 0 41034 0
vsize: 164300
[startup+409.997 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 40924 0 0 0 40898 107 0 0 25 0 1 0 480094576 170590208 40902 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41648 40902 603 41 0 41607 0
vsize: 166592
[startup+419.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 41362 0 0 0 41896 108 0 0 25 0 1 0 480094576 172429312 41340 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42097 41340 603 41 0 42056 0
vsize: 168388
[startup+429.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 41771 0 0 0 42896 109 0 0 25 0 1 0 480094576 174137344 41749 4294967295 134512640 134672761 3221224560 3221223600 134613822 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42514 41749 603 41 0 42473 0
vsize: 170056
[startup+439.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 42195 0 0 0 43895 110 0 0 25 0 1 0 480094576 175845376 42173 4294967295 134512640 134672761 3221224560 3221223600 134613137 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42931 42173 603 41 0 42890 0
vsize: 171724
[startup+449.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 42694 0 0 0 44894 112 0 0 25 0 1 0 480094576 177860608 42672 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43423 42672 603 41 0 43382 0
vsize: 173692
[startup+459.996 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 43121 0 0 0 45892 113 0 0 25 0 1 0 480094576 179703808 43099 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43873 43099 603 41 0 43832 0
vsize: 175492
[startup+469.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 43727 0 0 0 46891 115 0 0 25 0 1 0 480094576 182218752 43705 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44487 43705 603 41 0 44446 0
vsize: 177948
[startup+479.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 44420 0 0 0 47889 117 0 0 25 0 1 0 480094576 185085952 44398 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45187 44398 603 41 0 45146 0
vsize: 180748
[startup+489.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 45092 0 0 0 48887 119 0 0 25 0 1 0 480094576 187838464 45070 4294967295 134512640 134672761 3221224560 3221223744 134615583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45859 45070 603 41 0 45818 0
vsize: 183436
[startup+499.997 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 45661 0 0 0 49886 121 0 0 25 0 1 0 480094576 190087168 45639 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46408 45639 603 41 0 46367 0
vsize: 185632
[startup+509.996 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 46086 0 0 0 50884 122 0 0 25 0 1 0 480094576 191803392 46064 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46827 46064 603 41 0 46786 0
vsize: 187308
[startup+519.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32029
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 46542 0 0 0 51883 124 0 0 25 0 1 0 480094576 193675264 46520 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47284 46520 603 41 0 47243 0
vsize: 189136
[startup+529.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 47028 0 0 0 52881 126 0 0 25 0 1 0 480094576 195657728 47006 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47768 47006 603 41 0 47727 0
vsize: 191072
[startup+539.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 47488 0 0 0 53880 127 0 0 25 0 1 0 480094576 197652480 47466 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48255 47466 603 41 0 48214 0
vsize: 193020
[startup+549.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 47919 0 0 0 54879 129 0 0 25 0 1 0 480094576 199385088 47897 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48678 47897 603 41 0 48637 0
vsize: 194712
[startup+559.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 48498 0 0 0 55877 130 0 0 25 0 1 0 480094576 201752576 48476 4294967295 134512640 134672761 3221224560 3221223744 134615711 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49256 48476 603 41 0 49215 0
vsize: 197024
[startup+569.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 49061 0 0 0 56875 133 0 0 25 0 1 0 480094576 204017664 49039 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49809 49039 603 41 0 49768 0
vsize: 199236
[startup+579.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 49619 0 0 0 57873 134 0 0 25 0 1 0 480094576 206372864 49597 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50384 49597 603 41 0 50343 0
vsize: 201536
[startup+589.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 50241 0 0 0 58872 136 0 0 25 0 1 0 480094576 208859136 50219 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50991 50219 603 41 0 50950 0
vsize: 203964
[startup+599.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 50764 0 0 0 59870 138 0 0 25 0 1 0 480094576 210989056 50742 4294967295 134512640 134672761 3221224560 3221223744 134615921 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51511 50742 603 41 0 51470 0
vsize: 206044
[startup+609.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 51210 0 0 0 60868 140 0 0 25 0 1 0 480094576 212840448 51188 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51963 51188 603 41 0 51922 0
vsize: 207852
[startup+619.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 51572 0 0 0 61867 142 0 0 25 0 1 0 480094576 214310912 51550 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 52322 51550 603 41 0 52281 0
vsize: 209288
[startup+629.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 52027 0 0 0 62866 143 0 0 25 0 1 0 480094576 216178688 52005 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 52778 52005 603 41 0 52737 0
vsize: 211112
[startup+639.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 52432 0 0 0 63865 144 0 0 25 0 1 0 480094576 217776128 52410 4294967295 134512640 134672761 3221224560 3221223392 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53168 52410 603 41 0 53127 0
vsize: 212672
[startup+649.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 52987 0 0 0 64863 146 0 0 25 0 1 0 480094576 220028928 52965 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53718 52965 603 41 0 53677 0
vsize: 214872
[startup+659.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 53331 0 0 0 65862 147 0 0 25 0 1 0 480094576 221560832 53309 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54092 53309 603 41 0 54051 0
vsize: 216368
[startup+669.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 53741 0 0 0 66861 148 0 0 25 0 1 0 480094576 223150080 53719 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54480 53719 603 41 0 54439 0
vsize: 217920
[startup+679.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 54305 0 0 0 67859 150 0 0 25 0 1 0 480094576 225546240 54283 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 55065 54283 603 41 0 55024 0
vsize: 220260
[startup+689.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 54829 0 0 0 68858 152 0 0 25 0 1 0 480094576 227655680 54807 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 55580 54807 603 41 0 55539 0
vsize: 222320
[startup+699.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 55315 0 0 0 69857 153 0 0 25 0 1 0 480094576 229650432 55293 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 56067 55293 603 41 0 56026 0
vsize: 224268
[startup+709.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 55801 0 0 0 70856 154 0 0 25 0 1 0 480094576 231628800 55779 4294967295 134512640 134672761 3221224560 3221223744 134615921 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 56550 55779 603 41 0 56509 0
vsize: 226200
[startup+719.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 56304 0 0 0 71855 156 0 0 25 0 1 0 480094576 233734144 56282 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57064 56282 603 41 0 57023 0
vsize: 228256
[startup+729.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 56914 0 0 0 72853 157 0 0 25 0 1 0 480094576 236154880 56892 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57655 56892 603 41 0 57614 0
vsize: 230620
[startup+739.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 57525 0 0 0 73852 159 0 0 25 0 1 0 480094576 238665728 57503 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58268 57503 603 41 0 58227 0
vsize: 233072
[startup+749.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 58065 0 0 0 74850 160 0 0 25 0 1 0 480094576 240926720 58043 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58820 58043 603 41 0 58779 0
vsize: 235280
[startup+759.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 58686 0 0 0 75848 163 0 0 25 0 1 0 480094576 243437568 58664 4294967295 134512640 134672761 3221224560 3221223744 134615773 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59433 58664 603 41 0 59392 0
vsize: 237732
[startup+769.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 59313 0 0 0 76846 165 0 0 25 0 1 0 480094576 246054912 59291 4294967295 134512640 134672761 3221224560 3221223392 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60072 59291 603 41 0 60031 0
vsize: 240288
[startup+779.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 59956 0 0 0 77845 167 0 0 25 0 1 0 480094576 248692736 59934 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60716 59934 603 41 0 60675 0
vsize: 242864
[startup+789.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 60599 0 0 0 78843 168 0 0 25 0 1 0 480094576 251338752 60577 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61362 60577 603 41 0 61321 0
vsize: 245448
[startup+799.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 61164 0 0 0 79841 170 0 0 25 0 1 0 480094576 253571072 61142 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61907 61142 603 41 0 61866 0
vsize: 247628
[startup+809.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 61703 0 0 0 80839 173 0 0 25 0 1 0 480094576 255836160 61681 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62460 61681 603 41 0 62419 0
vsize: 249840
[startup+819.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 62240 0 0 0 81837 175 0 0 25 0 1 0 480094576 257937408 62218 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62973 62218 603 41 0 62932 0
vsize: 251892
[startup+829.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 62791 0 0 0 82836 176 0 0 25 0 1 0 480094576 260296704 62769 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 63549 62769 603 41 0 63508 0
vsize: 254196
[startup+839.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 63354 0 0 0 83834 178 0 0 25 0 1 0 480094576 262529024 63332 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64094 63332 603 41 0 64053 0
vsize: 256376
[startup+849.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 63993 0 0 0 84834 179 0 0 25 0 1 0 480094576 265162752 63971 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64737 63971 603 41 0 64696 0
vsize: 258948
[startup+859.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 64644 0 0 0 85832 181 0 0 25 0 1 0 480094576 267804672 64622 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65382 64622 603 41 0 65341 0
vsize: 261528
[startup+869.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 65154 0 0 0 86831 182 0 0 25 0 1 0 480094576 269885440 65132 4294967295 134512640 134672761 3221224560 3221223664 134603768 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65890 65132 603 41 0 65849 0
vsize: 263560
[startup+879.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 65567 0 0 0 87830 183 0 0 25 0 1 0 480094576 271605760 65545 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66310 65545 603 41 0 66269 0
vsize: 265240
[startup+889.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 65972 0 0 0 88829 184 0 0 25 0 1 0 480094576 273330176 65950 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66731 65950 603 41 0 66690 0
vsize: 266924
[startup+899.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 66423 0 0 0 89828 186 0 0 25 0 1 0 480094576 275185664 66401 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67184 66401 603 41 0 67143 0
vsize: 268736
[startup+909.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 66895 0 0 0 90826 188 0 0 25 0 1 0 480094576 277049344 66873 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67639 66873 603 41 0 67598 0
vsize: 270556
[startup+919.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 67339 0 0 0 91824 190 0 0 25 0 1 0 480094576 278896640 67317 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68090 67317 603 41 0 68049 0
vsize: 272360
[startup+929.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 67720 0 0 0 92823 191 0 0 25 0 1 0 480094576 280477696 67698 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68476 67698 603 41 0 68435 0
vsize: 273904
[startup+939.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 68151 0 0 0 93821 193 0 0 25 0 1 0 480094576 282202112 68129 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68897 68129 603 41 0 68856 0
vsize: 275588
[startup+949.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 68646 0 0 0 94820 194 0 0 25 0 1 0 480094576 284315648 68624 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69413 68624 603 41 0 69372 0
vsize: 277652
[startup+959.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 69143 0 0 0 95819 196 0 0 25 0 1 0 480094576 286314496 69121 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69901 69121 603 41 0 69860 0
vsize: 279604
[startup+969.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 69550 0 0 0 96818 197 0 0 25 0 1 0 480094576 288026624 69528 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70319 69528 603 41 0 70278 0
vsize: 281276
[startup+979.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 69938 0 0 0 97817 198 0 0 25 0 1 0 480094576 289492992 69916 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70677 69916 603 41 0 70636 0
vsize: 282708
[startup+989.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 70321 0 0 0 98815 200 0 0 25 0 1 0 480094576 291069952 70299 4294967295 134512640 134672761 3221224560 3221223744 134615724 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71062 70299 603 41 0 71021 0
vsize: 284248
[startup+999.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 70769 0 0 0 99813 202 0 0 25 0 1 0 480094576 293052416 70747 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71546 70747 603 41 0 71505 0
vsize: 286184
[startup+1009.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 71221 0 0 0 100812 203 0 0 25 0 1 0 480094576 294776832 71199 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71967 71199 603 41 0 71926 0
vsize: 287868
[startup+1019.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 71634 0 0 0 101811 204 0 0 25 0 1 0 480094576 296472576 71612 4294967295 134512640 134672761 3221224560 3221223760 134610686 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72381 71612 603 41 0 72340 0
vsize: 289524
[startup+1029.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 72157 0 0 0 102810 206 0 0 25 0 1 0 480094576 298729472 72135 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72932 72135 603 41 0 72891 0
vsize: 291728
[startup+1039.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 72608 0 0 0 103808 208 0 0 25 0 1 0 480094576 300584960 72586 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73385 72586 603 41 0 73344 0
vsize: 293540
[startup+1049.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 73072 0 0 0 104807 209 0 0 25 0 1 0 480094576 302444544 73050 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73839 73050 603 41 0 73798 0
vsize: 295356
[startup+1059.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 73513 0 0 0 105806 211 0 0 25 0 1 0 480094576 304304128 73491 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 74293 73491 603 41 0 74252 0
vsize: 297172
[startup+1069.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 73953 0 0 0 106805 212 0 0 25 0 1 0 480094576 306044928 73931 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 74718 73931 603 41 0 74677 0
vsize: 298872
[startup+1079.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 74419 0 0 0 107803 213 0 0 25 0 1 0 480094576 307904512 74397 4294967295 134512640 134672761 3221224560 3221223744 134615693 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 75172 74397 603 41 0 75131 0
vsize: 300688
[startup+1089.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 74820 0 0 0 108803 214 0 0 25 0 1 0 480094576 309641216 74798 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 75596 74798 603 41 0 75555 0
vsize: 302384
[startup+1099.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 75207 0 0 0 109802 215 0 0 25 0 1 0 480094576 311234560 75185 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 75985 75185 603 41 0 75944 0
vsize: 303940
[startup+1109.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 75532 0 0 0 110802 216 0 0 25 0 1 0 480094576 312487936 75510 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 76291 75510 603 41 0 76250 0
vsize: 305164
[startup+1119.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 75726 0 0 0 111801 217 0 0 25 0 1 0 480094576 313389056 75704 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 76511 75704 603 41 0 76470 0
vsize: 306044
[startup+1129.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 76039 0 0 0 112800 218 0 0 25 0 1 0 480094576 314728448 76017 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 76838 76017 603 41 0 76797 0
vsize: 307352
[startup+1139.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 76288 0 0 0 113800 218 0 0 25 0 1 0 480094576 315662336 76266 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 77066 76266 603 41 0 77025 0
vsize: 308264
[startup+1149.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 76567 0 0 0 114798 220 0 0 25 0 1 0 480094576 316854272 76545 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 77357 76545 603 41 0 77316 0
vsize: 309428
[startup+1159.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 76828 0 0 0 115798 221 0 0 25 0 1 0 480094576 317906944 76806 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 77614 76806 603 41 0 77573 0
vsize: 310456
[startup+1169.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 77138 0 0 0 116797 221 0 0 25 0 1 0 480094576 319209472 77116 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 77932 77116 603 41 0 77891 0
vsize: 311728
[startup+1179.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 77477 0 0 0 117796 223 0 0 25 0 1 0 480094576 320647168 77455 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 78283 77455 603 41 0 78242 0
vsize: 313132
[startup+1189.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 77718 0 0 0 118796 223 0 0 25 0 1 0 480094576 321585152 77696 4294967295 134512640 134672761 3221224560 3221223744 134615698 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 78512 77696 603 41 0 78471 0
vsize: 314048
[startup+1199.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 32031
Raw data (stat): 31974 (minisat+) R 31973 28099 28098 0 -1 0 78054 0 0 0 119795 224 0 0 25 0 1 0 480094576 323014656 78032 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 78861 78032 603 41 0 78820 0
vsize: 315444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 32031
Raw data (stat): 31974 (minisat+) Z 31973 28099 28098 0 -1 12 78054 0 0 0 119795 238 0 0 25 0 1 0 480094576 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.14
CPU time (s): 1200.34
CPU user time (s): 1197.96
CPU system time (s): 2.38664
CPU usage (%): 100.017
Max. virtual memory (Kb): 315444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####