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 5821

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846528 kB
Buffers:         41008 kB
Cached:         122328 kB
SwapCached:          0 kB
Active:         112424 kB
Inactive:        54036 kB
HighTotal:      131008 kB
HighFree:        15988 kB
LowTotal:       903652 kB
LowFree:        830540 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7200 kB
Slab:            15936 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 02:19:31 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 4267 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 72413 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   72413   146826 |   24137       0        0     nan |  0.000 % |
c |       100 |   72413   146826 |   26550     100     5662    56.6 |  0.000 % |
c |       251 |   72413   146826 |   29205     251    35284   140.6 |  0.000 % |
c |       478 |   72413   146826 |   32126     478    80636   168.7 |  0.000 % |
c |       815 |   72413   146826 |   35338     815   187600   230.2 |  0.000 % |
c |      1322 |   72413   146826 |   38872    1322   375200   283.8 |  0.000 % |
c |      2082 |   72413   146826 |   42760    2082   613029   294.4 |  0.000 % |
c |      3222 |   72413   146826 |   47036    3222   935358   290.3 |  0.000 % |
c |      4930 |   72413   146826 |   51739    4930  1674242   339.6 |  0.000 % |
c |      7492 |   72413   146826 |   56913    7492  2548585   340.2 |  0.000 % |
c |     11336 |   72413   146826 |   62605   11336  4532097   399.8 |  0.000 % |
c |     17105 |   72413   146826 |   68865   17105  7210651   421.6 |  0.000 % |
c |     25754 |   72413   146826 |   75752   25754 11332646   440.0 |  0.000 % |
c |     38729 |   72413   146826 |   83327   38729 16386246   423.1 |  0.000 % |
c |     58190 |   72413   146826 |   91660   58190 22895367   393.5 |  0.000 % |
c |     87382 |   72413   146826 |  100826   87382 36504093   417.8 |  0.000 % |
c |    131175 |   72413   146826 |  110908   41235 18834474   456.8 |  0.000 % |
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.41 0.78 0.85 2/56 20155
Raw data (stat): 20155 (runsolver) R 20154 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 365742473 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.50 0.79 0.85 2/56 20155
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 3748 0 0 0 989 10 0 0 25 0 1 0 365742473 17571840 3725 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4290 3725 603 41 0 4249 0
vsize: 17160
[startup+20.0004 s]
Raw data (loadavg): 0.58 0.80 0.85 2/56 20155
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 5563 0 0 0 1983 15 0 0 25 0 1 0 365742473 24944640 5540 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6090 5540 603 41 0 6049 0
vsize: 24360
[startup+30.0012 s]
Raw data (loadavg): 0.64 0.80 0.85 2/56 20155
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 6930 0 0 0 2980 20 0 0 25 0 1 0 365742473 30547968 6907 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7458 6907 603 41 0 7417 0
vsize: 29832
[startup+40.0009 s]
Raw data (loadavg): 0.70 0.81 0.85 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 8203 0 0 0 3974 24 0 0 25 0 1 0 365742473 35815424 8180 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8744 8180 603 41 0 8703 0
vsize: 34976
[startup+50.0203 s]
Raw data (loadavg): 0.74 0.81 0.85 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 9499 0 0 0 4972 28 0 0 25 0 1 0 365742473 41127936 9476 4294967295 134512640 134672761 3221224560 3221223696 134560560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10041 9476 603 41 0 10000 0
vsize: 40164
[startup+60.0206 s]
Raw data (loadavg): 0.78 0.82 0.85 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 10970 0 0 0 5969 31 0 0 25 0 1 0 365742473 47112192 10947 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11502 10947 603 41 0 11461 0
vsize: 46008
[startup+70.0203 s]
Raw data (loadavg): 0.81 0.83 0.85 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 12095 0 0 0 6966 34 0 0 25 0 1 0 365742473 51687424 12072 4294967295 134512640 134672761 3221224560 3221223664 134560254 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12619 12072 603 41 0 12578 0
vsize: 50476
[startup+80.0211 s]
Raw data (loadavg): 0.84 0.83 0.85 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 13131 0 0 0 7963 37 0 0 25 0 1 0 365742473 55963648 13108 4294967295 134512640 134672761 3221224560 3221223728 134553607 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13663 13108 603 41 0 13622 0
vsize: 54652
[startup+90.0209 s]
Raw data (loadavg): 0.87 0.84 0.86 2/56 20208
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 14330 0 0 0 8959 42 0 0 25 0 1 0 365742473 60813312 14307 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14847 14307 603 41 0 14806 0
vsize: 59388
[startup+100.022 s]
Raw data (loadavg): 0.89 0.84 0.86 2/56 20212
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 15226 0 0 0 9955 45 0 0 25 0 1 0 365742473 64585728 15203 4294967295 134512640 134672761 3221224560 3221223728 134561226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15768 15203 603 41 0 15727 0
vsize: 63072
[startup+110.023 s]
Raw data (loadavg): 0.90 0.85 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 16162 0 0 0 10952 49 0 0 25 0 1 0 365742473 68489216 16139 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16721 16139 603 41 0 16680 0
vsize: 66884
[startup+120.023 s]
Raw data (loadavg): 0.92 0.85 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 17071 0 0 0 11949 51 0 0 25 0 1 0 365742473 72257536 17048 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17641 17048 603 41 0 17600 0
vsize: 70564
[startup+130.023 s]
Raw data (loadavg): 0.93 0.85 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 17790 0 0 0 12948 53 0 0 25 0 1 0 365742473 75087872 17767 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18332 17767 603 41 0 18291 0
vsize: 73328
[startup+140.023 s]
Raw data (loadavg): 0.94 0.86 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 18534 0 0 0 13947 54 0 0 25 0 1 0 365742473 78184448 18511 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19088 18511 603 41 0 19047 0
vsize: 76352
[startup+150.024 s]
Raw data (loadavg): 0.95 0.86 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 19411 0 0 0 14944 57 0 0 25 0 1 0 365742473 81833984 19388 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19979 19388 603 41 0 19938 0
vsize: 79916
[startup+160.023 s]
Raw data (loadavg): 0.96 0.87 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 20099 0 0 0 15943 59 0 0 25 0 1 0 365742473 84525056 20076 4294967295 134512640 134672761 3221224560 3221223728 134561220 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20636 20076 603 41 0 20595 0
vsize: 82544
[startup+170.024 s]
Raw data (loadavg): 0.96 0.87 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 20767 0 0 0 16942 60 0 0 25 0 1 0 365742473 87351296 20744 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21326 20744 603 41 0 21285 0
vsize: 85304
[startup+180.024 s]
Raw data (loadavg): 0.97 0.87 0.86 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 21389 0 0 0 17940 62 0 0 25 0 1 0 365742473 89907200 21366 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21950 21366 603 41 0 21909 0
vsize: 87800
[startup+190.024 s]
Raw data (loadavg): 0.97 0.88 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 22001 0 0 0 18939 63 0 0 25 0 1 0 365742473 92327936 21978 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22541 21978 603 41 0 22500 0
vsize: 90164
[startup+200.023 s]
Raw data (loadavg): 0.98 0.88 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 22578 0 0 0 19937 65 0 0 25 0 1 0 365742473 94744576 22555 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23131 22555 603 41 0 23090 0
vsize: 92524
[startup+210.023 s]
Raw data (loadavg): 0.98 0.89 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 23154 0 0 0 20936 66 0 0 25 0 1 0 365742473 97058816 23131 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23696 23131 603 41 0 23655 0
vsize: 94784
[startup+220.023 s]
Raw data (loadavg): 0.98 0.89 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 23773 0 0 0 21935 68 0 0 25 0 1 0 365742473 99618816 23750 4294967295 134512640 134672761 3221224560 3221223472 1075352340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24321 23750 603 41 0 24280 0
vsize: 97284
[startup+230.023 s]
Raw data (loadavg): 0.98 0.89 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 24454 0 0 0 22932 70 0 0 25 0 1 0 365742473 102445056 24431 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25011 24431 603 41 0 24970 0
vsize: 100044
[startup+240.023 s]
Raw data (loadavg): 0.99 0.89 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 25000 0 0 0 23930 72 0 0 25 0 1 0 365742473 104595456 24977 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25536 24977 603 41 0 25495 0
vsize: 102144
[startup+250.023 s]
Raw data (loadavg): 0.99 0.90 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 25627 0 0 0 24929 74 0 0 25 0 1 0 365742473 107163648 25604 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26163 25604 603 41 0 26122 0
vsize: 104652
[startup+260.023 s]
Raw data (loadavg): 0.99 0.90 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 26340 0 0 0 25927 76 0 0 25 0 1 0 365742473 110092288 26317 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26878 26317 603 41 0 26837 0
vsize: 107512
[startup+270.023 s]
Raw data (loadavg): 0.99 0.90 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 27020 0 0 0 26926 77 0 0 25 0 1 0 365742473 112885760 26997 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27560 26997 603 41 0 27519 0
vsize: 110240
[startup+280.023 s]
Raw data (loadavg): 0.99 0.91 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 27747 0 0 0 27924 79 0 0 25 0 1 0 365742473 115953664 27724 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28309 27724 603 41 0 28268 0
vsize: 113236
[startup+290.024 s]
Raw data (loadavg): 0.99 0.91 0.87 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 28419 0 0 0 28922 81 0 0 25 0 1 0 365742473 118910976 28396 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29031 28396 603 41 0 28990 0
vsize: 116124
[startup+300.024 s]
Raw data (loadavg): 0.99 0.91 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 29120 0 0 0 29921 82 0 0 25 0 1 0 365742473 121716736 29097 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29716 29097 603 41 0 29675 0
vsize: 118864
[startup+310.024 s]
Raw data (loadavg): 0.99 0.91 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 29740 0 0 0 30919 84 0 0 25 0 1 0 365742473 124276736 29717 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30341 29717 603 41 0 30300 0
vsize: 121364
[startup+320.024 s]
Raw data (loadavg): 0.99 0.92 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 30396 0 0 0 31918 86 0 0 25 0 1 0 365742473 126963712 30373 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30997 30373 603 41 0 30956 0
vsize: 123988
[startup+330.025 s]
Raw data (loadavg): 0.99 0.92 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 30955 0 0 0 32916 88 0 0 25 0 1 0 365742473 129253376 30932 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31556 30932 603 41 0 31515 0
vsize: 126224
[startup+340.025 s]
Raw data (loadavg): 0.99 0.92 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 31550 0 0 0 33915 89 0 0 25 0 1 0 365742473 131661824 31527 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32144 31527 603 41 0 32103 0
vsize: 128576
[startup+350.026 s]
Raw data (loadavg): 0.99 0.92 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 32177 0 0 0 34912 92 0 0 25 0 1 0 365742473 134336512 32154 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32797 32154 603 41 0 32756 0
vsize: 131188
[startup+360.026 s]
Raw data (loadavg): 0.99 0.92 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 32772 0 0 0 35911 93 0 0 25 0 1 0 365742473 136761344 32749 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33389 32749 603 41 0 33348 0
vsize: 133556
[startup+370.026 s]
Raw data (loadavg): 0.99 0.93 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 33363 0 0 0 36910 94 0 0 25 0 1 0 365742473 139186176 33340 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33981 33340 603 41 0 33940 0
vsize: 135924
[startup+380.026 s]
Raw data (loadavg): 0.99 0.93 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 33926 0 0 0 37910 95 0 0 25 0 1 0 365742473 141484032 33903 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34542 33903 603 41 0 34501 0
vsize: 138168
[startup+390.025 s]
Raw data (loadavg): 0.99 0.93 0.88 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 34436 0 0 0 38909 96 0 0 25 0 1 0 365742473 143642624 34413 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35069 34413 603 41 0 35028 0
vsize: 140276
[startup+400.027 s]
Raw data (loadavg): 0.99 0.93 0.89 2/56 20214
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 34974 0 0 0 39908 97 0 0 25 0 1 0 365742473 145788928 34951 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35593 34951 603 41 0 35552 0
vsize: 142372
[startup+410.027 s]
Raw data (loadavg): 0.99 0.93 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 35433 0 0 0 40907 98 0 0 25 0 1 0 365742473 147660800 35410 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36050 35410 603 41 0 36009 0
vsize: 144200
[startup+420.027 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 35875 0 0 0 41905 100 0 0 25 0 1 0 365742473 149544960 35852 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36510 35852 603 41 0 36469 0
vsize: 146040
[startup+430.028 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 36360 0 0 0 42904 101 0 0 25 0 1 0 365742473 151420928 36337 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36968 36337 603 41 0 36927 0
vsize: 147872
[startup+440.027 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 36822 0 0 0 43903 102 0 0 25 0 1 0 365742473 153436160 36799 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37460 36799 603 41 0 37419 0
vsize: 149840
[startup+450.027 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 37301 0 0 0 44902 103 0 0 25 0 1 0 365742473 155291648 37278 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37913 37278 603 41 0 37872 0
vsize: 151652
[startup+460.027 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 37872 0 0 0 45900 105 0 0 25 0 1 0 365742473 157667328 37849 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38493 37849 603 41 0 38452 0
vsize: 153972
[startup+470.027 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 38443 0 0 0 46899 106 0 0 25 0 1 0 365742473 160071680 38420 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39080 38420 603 41 0 39039 0
vsize: 156320
[startup+480.028 s]
Raw data (loadavg): 0.99 0.94 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 38980 0 0 0 47898 108 0 0 25 0 1 0 365742473 162213888 38957 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39603 38957 603 41 0 39562 0
vsize: 158412
[startup+490.027 s]
Raw data (loadavg): 0.99 0.95 0.89 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 39411 0 0 0 48897 109 0 0 25 0 1 0 365742473 163987456 39388 4294967295 134512640 134672761 3221224560 3221223736 134559059 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40036 39388 603 41 0 39995 0
vsize: 160144
[startup+500.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 39801 0 0 0 49896 110 0 0 25 0 1 0 365742473 165613568 39778 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40433 39778 603 41 0 40392 0
vsize: 161732
[startup+510.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 40197 0 0 0 50895 111 0 0 25 0 1 0 365742473 167235584 40174 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40829 40174 603 41 0 40788 0
vsize: 163316
[startup+520.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 40548 0 0 0 51895 112 0 0 25 0 1 0 365742473 168714240 40525 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41190 40525 603 41 0 41149 0
vsize: 164760
[startup+530.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 40904 0 0 0 52893 113 0 0 25 0 1 0 365742473 170192896 40881 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41551 40881 603 41 0 41510 0
vsize: 166204
[startup+540.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 41351 0 0 0 53892 115 0 0 25 0 1 0 365742473 171950080 41328 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41980 41328 603 41 0 41939 0
vsize: 167920
[startup+550.03 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 41825 0 0 0 54891 116 0 0 25 0 1 0 365742473 173838336 41802 4294967295 134512640 134672761 3221224560 3221223664 134559979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42441 41802 603 41 0 42400 0
vsize: 169764
[startup+560.03 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 42240 0 0 0 55891 116 0 0 25 0 1 0 365742473 175595520 42217 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42870 42217 603 41 0 42829 0
vsize: 171480
[startup+570.03 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 42654 0 0 0 56890 117 0 0 25 0 1 0 365742473 177340416 42631 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43296 42631 603 41 0 43255 0
vsize: 173184
[startup+580.03 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 42980 0 0 0 57889 118 0 0 25 0 1 0 365742473 178688000 42957 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43625 42957 603 41 0 43584 0
vsize: 174500
[startup+590.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 43380 0 0 0 58889 119 0 0 25 0 1 0 365742473 180318208 43357 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44023 43357 603 41 0 43982 0
vsize: 176092
[startup+600.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 43829 0 0 0 59888 120 0 0 25 0 1 0 365742473 182071296 43806 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44451 43806 603 41 0 44410 0
vsize: 177804
[startup+610.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 44255 0 0 0 60887 121 0 0 25 0 1 0 365742473 183828480 44232 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44880 44232 603 41 0 44839 0
vsize: 179520
[startup+620.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 44678 0 0 0 61886 122 0 0 25 0 1 0 365742473 185589760 44655 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45310 44655 603 41 0 45269 0
vsize: 181240
[startup+630.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 45074 0 0 0 62885 123 0 0 25 0 1 0 365742473 187211776 45051 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45706 45051 603 41 0 45665 0
vsize: 182824
[startup+640.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 45463 0 0 0 63884 125 0 0 25 0 1 0 365742473 188841984 45440 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46104 45440 603 41 0 46063 0
vsize: 184416
[startup+650.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 45884 0 0 0 64883 125 0 0 25 0 1 0 365742473 190459904 45861 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46499 45861 603 41 0 46458 0
vsize: 185996
[startup+660.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46131 0 0 0 65882 126 0 0 25 0 1 0 365742473 191545344 46108 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46108 603 41 0 46723 0
vsize: 187056
[startup+670.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46132 0 0 0 66883 126 0 0 25 0 1 0 365742473 191545344 46109 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46109 603 41 0 46723 0
vsize: 187056
[startup+680.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46132 0 0 0 67883 126 0 0 25 0 1 0 365742473 191545344 46109 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46109 603 41 0 46723 0
vsize: 187056
[startup+690.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46133 0 0 0 68883 126 0 0 25 0 1 0 365742473 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20216
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46133 0 0 0 69883 126 0 0 25 0 1 0 365742473 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134560855 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46134 0 0 0 70883 126 0 0 25 0 1 0 365742473 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46134 0 0 0 71884 126 0 0 25 0 1 0 365742473 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46134 0 0 0 72884 126 0 0 25 0 1 0 365742473 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46135 0 0 0 73884 126 0 0 25 0 1 0 365742473 191545344 46112 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46112 603 41 0 46723 0
vsize: 187056
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46136 0 0 0 74884 126 0 0 25 0 1 0 365742473 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46136 0 0 0 75884 126 0 0 25 0 1 0 365742473 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46136 0 0 0 76884 126 0 0 25 0 1 0 365742473 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46136 0 0 0 77885 126 0 0 25 0 1 0 365742473 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46136 0 0 0 78885 126 0 0 25 0 1 0 365742473 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46113 603 41 0 46723 0
vsize: 187056
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 79885 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 80885 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 81885 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134559376 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 82885 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 83886 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 84886 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 85886 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223704 134560553 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 86886 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 87886 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 88887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 89887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 90887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 91887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 92887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 93887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 94887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 95887 126 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223664 134560048 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 96887 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 97887 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 98887 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20218
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 99888 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 100887 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 101887 127 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 102887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 103887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 104887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 105887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 106887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 107887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 108887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 109887 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 110888 128 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 111887 129 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 112887 129 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 113887 129 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 114887 129 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 115887 130 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 116887 130 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 117887 130 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 118887 130 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20220
Raw data (stat): 20155 (minisat+) R 20154 12452 12451 0 -1 0 46137 0 0 0 119887 130 0 0 25 0 1 0 365742473 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20220
Raw data (stat): 20155 (minisat+) Z 20154 12452 12451 0 -1 12 46139 0 0 0 119887 139 0 0 25 0 1 0 365742473 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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