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 6194

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        857508 kB
Buffers:         35576 kB
Cached:         121272 kB
SwapCached:        164 kB
Active:          56572 kB
Inactive:       103340 kB
HighTotal:      131008 kB
HighFree:         6076 kB
LowTotal:       903652 kB
LowFree:        851432 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11644 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 04:07:43 (client local time) WITH STATUS 0 IN 1200.17 SECONDS
stats: 4643 7 1200.17 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.55 0.83 0.86 2/54 1261
Raw data (stat): 1261 (runsolver) R 1259 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423253400 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.62 0.83 0.86 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 3748 0 0 0 987 12 0 0 25 0 1 0 423253400 17571840 3725 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4290 3725 603 41 0 4249 0
vsize: 17160
[startup+20.0016 s]
Raw data (loadavg): 0.68 0.84 0.86 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 5568 0 0 0 1981 17 0 0 25 0 1 0 423253400 24944640 5545 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6090 5545 603 41 0 6049 0
vsize: 24360
[startup+30.0026 s]
Raw data (loadavg): 0.73 0.84 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 6935 0 0 0 2977 21 0 0 25 0 1 0 423253400 30547968 6912 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7458 6912 603 41 0 7417 0
vsize: 29832
[startup+40.0022 s]
Raw data (loadavg): 0.77 0.85 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 8203 0 0 0 3973 25 0 0 25 0 1 0 423253400 35815424 8180 4294967295 134512640 134672761 3221224560 3221223664 134560218 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.0023 s]
Raw data (loadavg): 0.80 0.85 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 9476 0 0 0 4969 29 0 0 25 0 1 0 423253400 40992768 9453 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10008 9453 603 41 0 9967 0
vsize: 40032
[startup+60.0024 s]
Raw data (loadavg): 0.83 0.86 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 10955 0 0 0 5964 34 0 0 25 0 1 0 423253400 47112192 10932 4294967295 134512640 134672761 3221224560 3221223664 134559787 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11502 10932 603 41 0 11461 0
vsize: 46008
[startup+70.0039 s]
Raw data (loadavg): 0.86 0.86 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 12081 0 0 0 6960 37 0 0 25 0 1 0 423253400 51687424 12058 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12619 12058 603 41 0 12578 0
vsize: 50476
[startup+80.004 s]
Raw data (loadavg): 0.88 0.87 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 13122 0 0 0 7957 41 0 0 25 0 1 0 423253400 55963648 13099 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13663 13099 603 41 0 13622 0
vsize: 54652
[startup+90.0041 s]
Raw data (loadavg): 0.90 0.87 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 14308 0 0 0 8953 45 0 0 25 0 1 0 423253400 60813312 14285 4294967295 134512640 134672761 3221224560 3221223696 134560557 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14847 14285 603 41 0 14806 0
vsize: 59388
[startup+100.005 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 15218 0 0 0 9950 48 0 0 25 0 1 0 423253400 64450560 15195 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15735 15195 603 41 0 15694 0
vsize: 62940
[startup+110.005 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 16148 0 0 0 10947 51 0 0 25 0 1 0 423253400 68489216 16125 4294967295 134512640 134672761 3221224560 3221223728 134560900 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16721 16125 603 41 0 16680 0
vsize: 66884
[startup+120.006 s]
Raw data (loadavg): 0.94 0.88 0.87 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 17056 0 0 0 11944 53 0 0 25 0 1 0 423253400 72122368 17033 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17608 17033 603 41 0 17567 0
vsize: 70432
[startup+130.006 s]
Raw data (loadavg): 0.95 0.88 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 17776 0 0 0 12941 57 0 0 25 0 1 0 423253400 75087872 17753 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18332 17753 603 41 0 18291 0
vsize: 73328
[startup+140.006 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 18512 0 0 0 13938 59 0 0 25 0 1 0 423253400 78053376 18489 4294967295 134512640 134672761 3221224560 3221223744 134558638 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19056 18489 603 41 0 19015 0
vsize: 76224
[startup+150.006 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 19393 0 0 0 14936 62 0 0 25 0 1 0 423253400 81698816 19370 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19946 19370 603 41 0 19905 0
vsize: 79784
[startup+160.007 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 20075 0 0 0 15933 64 0 0 25 0 1 0 423253400 84525056 20052 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20636 20052 603 41 0 20595 0
vsize: 82544
[startup+170.007 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 20747 0 0 0 16931 66 0 0 25 0 1 0 423253400 87216128 20724 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21293 20724 603 41 0 21252 0
vsize: 85172
[startup+180.007 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 21362 0 0 0 17930 68 0 0 25 0 1 0 423253400 89772032 21339 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21917 21339 603 41 0 21876 0
vsize: 87668
[startup+190.008 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 21963 0 0 0 18927 70 0 0 25 0 1 0 423253400 92192768 21940 4294967295 134512640 134672761 3221224560 3221223664 134560303 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22508 21940 603 41 0 22467 0
vsize: 90032
[startup+200.008 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 22540 0 0 0 19925 72 0 0 25 0 1 0 423253400 94609408 22517 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23098 22517 603 41 0 23057 0
vsize: 92392
[startup+210.008 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 23107 0 0 0 20922 75 0 0 25 0 1 0 423253400 96923648 23084 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23663 23084 603 41 0 23622 0
vsize: 94652
[startup+220.009 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 23713 0 0 0 21920 77 0 0 25 0 1 0 423253400 99348480 23690 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24255 23690 603 41 0 24214 0
vsize: 97020
[startup+230.01 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 24365 0 0 0 22918 79 0 0 25 0 1 0 423253400 102043648 24342 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24913 24342 603 41 0 24872 0
vsize: 99652
[startup+240.009 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 24940 0 0 0 23916 81 0 0 25 0 1 0 423253400 104460288 24917 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25503 24917 603 41 0 25462 0
vsize: 102012
[startup+250.01 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 25531 0 0 0 24915 83 0 0 25 0 1 0 423253400 106893312 25508 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26097 25508 603 41 0 26056 0
vsize: 104388
[startup+260.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 26258 0 0 0 25912 85 0 0 25 0 1 0 423253400 109821952 26235 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26812 26235 603 41 0 26771 0
vsize: 107248
[startup+270.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 26940 0 0 0 26910 88 0 0 25 0 1 0 423253400 112615424 26917 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27494 26917 603 41 0 27453 0
vsize: 109976
[startup+280.01 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 27669 0 0 0 27907 90 0 0 25 0 1 0 423253400 115552256 27646 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28211 27646 603 41 0 28170 0
vsize: 112844
[startup+290.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 28329 0 0 0 28906 92 0 0 25 0 1 0 423253400 118247424 28306 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28869 28306 603 41 0 28828 0
vsize: 115476
[startup+300.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 29013 0 0 0 29904 94 0 0 25 0 1 0 423253400 121323520 28990 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29620 28990 603 41 0 29579 0
vsize: 118480
[startup+310.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 29662 0 0 0 30902 96 0 0 25 0 1 0 423253400 124006400 29639 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30275 29639 603 41 0 30234 0
vsize: 121100
[startup+320.011 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 30326 0 0 0 31900 97 0 0 25 0 1 0 423253400 126693376 30303 4294967295 134512640 134672761 3221224560 3221223728 134561220 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30931 30303 603 41 0 30890 0
vsize: 123724
[startup+330.011 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 30880 0 0 0 32898 99 0 0 25 0 1 0 423253400 128983040 30857 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31490 30857 603 41 0 31449 0
vsize: 125960
[startup+340.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 31477 0 0 0 33896 101 0 0 25 0 1 0 423253400 131395584 31454 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32079 31454 603 41 0 32038 0
vsize: 128316
[startup+350.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 32110 0 0 0 34895 103 0 0 25 0 1 0 423253400 134066176 32087 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32731 32087 603 41 0 32690 0
vsize: 130924
[startup+360.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 32708 0 0 0 35893 105 0 0 25 0 1 0 423253400 136491008 32685 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33323 32685 603 41 0 33282 0
vsize: 133292
[startup+370.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 33287 0 0 0 36890 107 0 0 25 0 1 0 423253400 138915840 33264 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33915 33264 603 41 0 33874 0
vsize: 135660
[startup+380.013 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 33869 0 0 0 37889 108 0 0 25 0 1 0 423253400 141213696 33846 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34476 33846 603 41 0 34435 0
vsize: 137904
[startup+390.013 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 34359 0 0 0 38888 110 0 0 25 0 1 0 423253400 143237120 34336 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34970 34336 603 41 0 34929 0
vsize: 139880
[startup+400.013 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 34893 0 0 0 39886 111 0 0 25 0 1 0 423253400 145518592 34870 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35527 34870 603 41 0 35486 0
vsize: 142108
[startup+410.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 35364 0 0 0 40885 113 0 0 25 0 1 0 423253400 147390464 35341 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35984 35341 603 41 0 35943 0
vsize: 143936
[startup+420.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 35818 0 0 0 41883 114 0 0 25 0 1 0 423253400 149274624 35795 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36444 35795 603 41 0 36403 0
vsize: 145776
[startup+430.014 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 36267 0 0 0 42882 115 0 0 25 0 1 0 423253400 151154688 36244 4294967295 134512640 134672761 3221224560 3221223664 134559955 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36903 36244 603 41 0 36862 0
vsize: 147612
[startup+440.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 36742 0 0 0 43881 117 0 0 25 0 1 0 423253400 153034752 36719 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37362 36719 603 41 0 37321 0
vsize: 149448
[startup+450.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 37214 0 0 0 44879 118 0 0 25 0 1 0 423253400 155021312 37191 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37847 37191 603 41 0 37806 0
vsize: 151388
[startup+460.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 37759 0 0 0 45878 119 0 0 25 0 1 0 423253400 157274112 37736 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38397 37736 603 41 0 38356 0
vsize: 153588
[startup+470.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 38329 0 0 0 46877 121 0 0 25 0 1 0 423253400 159543296 38306 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38951 38306 603 41 0 38910 0
vsize: 155804
[startup+480.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 38832 0 0 0 47875 122 0 0 25 0 1 0 423253400 161673216 38809 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39471 38809 603 41 0 39430 0
vsize: 157884
[startup+490.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 39340 0 0 0 48873 124 0 0 25 0 1 0 423253400 163717120 39317 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39970 39317 603 41 0 39929 0
vsize: 159880
[startup+500.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 39723 0 0 0 49872 125 0 0 25 0 1 0 423253400 165343232 39700 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40367 39700 603 41 0 40326 0
vsize: 161468
[startup+510.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 40113 0 0 0 50871 126 0 0 25 0 1 0 423253400 166830080 40090 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40730 40090 603 41 0 40689 0
vsize: 162920
[startup+520.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 40482 0 0 0 51869 128 0 0 25 0 1 0 423253400 168448000 40459 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41125 40459 603 41 0 41084 0
vsize: 164500
[startup+530.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 40820 0 0 0 52868 130 0 0 25 0 1 0 423253400 169791488 40797 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41453 40797 603 41 0 41412 0
vsize: 165812
[startup+540.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 41265 0 0 0 53867 131 0 0 25 0 1 0 423253400 171679744 41242 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41914 41242 603 41 0 41873 0
vsize: 167656
[startup+550.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 41706 0 0 0 54865 133 0 0 25 0 1 0 423253400 173432832 41683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42342 41683 603 41 0 42301 0
vsize: 169368
[startup+560.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 42147 0 0 0 55863 134 0 0 25 0 1 0 423253400 175190016 42124 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42771 42124 603 41 0 42730 0
vsize: 171084
[startup+570.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 42564 0 0 0 56862 135 0 0 25 0 1 0 423253400 176939008 42541 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43198 42541 603 41 0 43157 0
vsize: 172792
[startup+580.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 42911 0 0 0 57861 137 0 0 25 0 1 0 423253400 178286592 42888 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43527 42888 603 41 0 43486 0
vsize: 174108
[startup+590.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 43283 0 0 0 58860 138 0 0 25 0 1 0 423253400 179912704 43260 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43924 43260 603 41 0 43883 0
vsize: 175696
[startup+600.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 43733 0 0 0 59859 139 0 0 25 0 1 0 423253400 181669888 43710 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44353 43710 603 41 0 44312 0
vsize: 177412
[startup+610.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 44153 0 0 0 60858 141 0 0 25 0 1 0 423253400 183422976 44130 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44781 44130 603 41 0 44740 0
vsize: 179124
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 44583 0 0 0 61857 142 0 0 25 0 1 0 423253400 185184256 44560 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45211 44560 603 41 0 45170 0
vsize: 180844
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 44969 0 0 0 62856 143 0 0 25 0 1 0 423253400 186806272 44946 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45607 44946 603 41 0 45566 0
vsize: 182428
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 45371 0 0 0 63855 144 0 0 25 0 1 0 423253400 188436480 45348 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46005 45348 603 41 0 45964 0
vsize: 184020
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 45787 0 0 0 64854 145 0 0 25 0 1 0 423253400 190054400 45764 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46400 45764 603 41 0 46359 0
vsize: 185600
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46131 0 0 0 65853 146 0 0 25 0 1 0 423253400 191545344 46108 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46108 603 41 0 46723 0
vsize: 187056
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46131 0 0 0 66854 146 0 0 25 0 1 0 423253400 191545344 46108 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46108 603 41 0 46723 0
vsize: 187056
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46132 0 0 0 67854 146 0 0 25 0 1 0 423253400 191545344 46109 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46109 603 41 0 46723 0
vsize: 187056
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46133 0 0 0 68854 146 0 0 25 0 1 0 423253400 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46133 0 0 0 69854 146 0 0 25 0 1 0 423253400 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46133 0 0 0 70854 146 0 0 25 0 1 0 423253400 191545344 46110 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46110 603 41 0 46723 0
vsize: 187056
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46134 0 0 0 71854 146 0 0 25 0 1 0 423253400 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46134 0 0 0 72855 146 0 0 25 0 1 0 423253400 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1261
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46134 0 0 0 73855 146 0 0 25 0 1 0 423253400 191545344 46111 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46111 603 41 0 46723 0
vsize: 187056
[startup+750.038 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46136 0 0 0 74857 146 0 0 25 0 1 0 423253400 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561014 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.037 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46136 0 0 0 75857 146 0 0 25 0 1 0 423253400 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561001 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.037 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46136 0 0 0 76857 146 0 0 25 0 1 0 423253400 191545344 46113 4294967295 134512640 134672761 3221224560 3221223728 134561193 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.038 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46136 0 0 0 77857 146 0 0 25 0 1 0 423253400 191545344 46113 4294967295 134512640 134672761 3221224560 3221223664 134560054 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.037 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46136 0 0 0 78858 146 0 0 25 0 1 0 423253400 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+800.037 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 79858 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560980 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.038 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 1317
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 80858 146 0 0 25 0 1 0 423253400 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+820.037 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 81858 146 0 0 25 0 1 0 423253400 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+830.038 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 82858 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560988 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.037 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 83858 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560980 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.038 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 84859 146 0 0 25 0 1 0 423253400 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+860.038 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 85859 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134559383 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.037 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 86859 146 0 0 25 0 1 0 423253400 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.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 87859 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561011 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.042 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 88860 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561118 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.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 89860 146 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 90860 146 0 0 25 0 1 0 423253400 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+920.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 91860 146 0 0 25 0 1 0 423253400 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+930.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 92860 147 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+940.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 93859 147 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561198 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.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 94859 147 0 0 25 0 1 0 423253400 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+960.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 95859 147 0 0 25 0 1 0 423253400 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+970.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 96858 148 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 97858 148 0 0 25 0 1 0 423253400 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.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 98858 149 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134558662 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): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 99857 149 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 100857 149 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 101857 150 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561014 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 102857 150 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 103856 150 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134560988 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 104856 150 0 0 25 0 1 0 423253400 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+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 105856 151 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134558930 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 106856 151 0 0 25 0 1 0 423253400 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 107855 151 0 0 25 0 1 0 423253400 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+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 108855 152 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561001 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1319
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 109854 152 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223744 134559498 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 110854 153 0 0 25 0 1 0 423253400 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+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 111853 153 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561148 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 112853 153 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223684 134566077 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 113853 154 0 0 25 0 1 0 423253400 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.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 114853 154 0 0 25 0 1 0 423253400 191545344 46114 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46764 46114 603 41 0 46723 0
vsize: 187056
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 115853 154 0 0 25 0 1 0 423253400 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+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 116853 154 0 0 25 0 1 0 423253400 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+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 117853 154 0 0 25 0 1 0 423253400 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+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 118853 154 0 0 25 0 1 0 423253400 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+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1321
Raw data (stat): 1261 (minisat+) R 1259 25347 25346 0 -1 0 46137 0 0 0 119854 154 0 0 25 0 1 0 423253400 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
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 1321
Raw data (stat): 1261 (minisat+) Z 1259 25347 25346 0 -1 12 46139 0 0 0 119854 162 0 0 25 0 1 0 423253400 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.17
CPU user time (s): 1198.54
CPU system time (s): 1.62975
CPU usage (%): 100.003
Max. virtual memory (Kb): 187056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####