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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
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	2
Trace number 30538

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 17:34:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21932 boxname=wulflinc20 idbench=350 idsolver=15 numberseed=0
MD5SUM SOLVER: 34d34154b8ad81f02ee98439942e0814  /oldhome/oroussel/solvers/minisat+_script
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb
IDLAUNCH: 21932
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        160696 kB
Buffers:         38216 kB
Cached:         805356 kB
SwapCached:        716 kB
Active:          82336 kB
Inactive:       768024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        160444 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            17952 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:55:23 (client local time) WITH STATUS 152 IN 1229.9 SECONDS
stats: 21932 7 1229.9 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126163 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 |  126163   252326 |   42054       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[0m
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  216902   465187 |   72300       0        0     nan |  0.000 % |
c |       100 |  216378   464089 |   79530      71     1045    14.7 |  0.476 % |
c |       250 |  215666   462590 |   87483     197     2307    11.7 |  1.110 % |
c |       475 |  214693   460491 |   96231     382     4569    12.0 |  2.022 % |
c |       812 |  212890   456566 |  105854     654     7279    11.1 |  3.734 % |
c |      1318 |  210422   451160 |  116439    1060    10851    10.2 |  6.157 % |
c |      2077 |  206393   442217 |  128083    1635    16954    10.4 | 10.063 % |
c |      3216 |  198975   425552 |  140892    2422    25813    10.7 | 17.559 % |
c |      4924 |  190640   406622 |  154981    3664    40208    11.0 | 26.087 % |
c |      7486 |  179470   381025 |  170479    5477    62777    11.5 | 37.698 % |
c |     11330 |  166692   351158 |  187527    8259    96088    11.6 | 51.142 % |
c ==============================================================================
c [1mFound solution: -44[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     14201 |  159762   334804 |   53254   10383   124904    12.0 | 51.142 % |
c |     14301 |  159518   334234 |   58579   10463   126556    12.1 | 59.111 % |
c |     14451 |  159171   333401 |   64437   10595   128502    12.1 | 59.497 % |
c |     14676 |  158480   331759 |   70881   10678   129458    12.1 | 60.258 % |
c |     15013 |  158174   331032 |   77969   10915   133832    12.3 | 60.595 % |
c |     15520 |  157341   329073 |   85766   11321   139331    12.3 | 61.505 % |
c |     16280 |  155349   324351 |   94342   11703   145801    12.5 | 63.687 % |
c |     17419 |  153760   320544 |  103776   12549   161675    12.9 | 65.453 % |
c |     19127 |  152453   317467 |  114154   13881   182702    13.2 | 66.863 % |
c |     21689 |  148743   308640 |  125570   15567   217965    14.0 | 70.881 % |
c ==============================================================================
c [1mFound solution: -45[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24382 |  145456   300817 |   48485   17375   249367    14.4 | 70.881 % |
c |     24483 |  145363   300588 |   53333   17440   251246    14.4 | 74.648 % |
c |     24633 |  145288   300407 |   58666   17551   251739    14.3 | 74.732 % |
c |     24858 |  144991   299696 |   64533   17581   253807    14.4 | 75.065 % |
c |     25195 |  144671   298897 |   70986   17767   260713    14.7 | 75.446 % |
c |     25702 |  144071   297413 |   78085   18002   268321    14.9 | 76.147 % |
c |     26461 |  143083   295047 |   85894   18367   278416    15.2 | 77.238 % |
c |     27600 |  142217   292945 |   94483   19129   300433    15.7 | 78.224 % |
c |     29308 |  141140   290360 |  103931   20436   345754    16.9 | 79.432 % |
c ==============================================================================
c [1mFound solution: -46[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     30862 |  140267   288181 |   46755   21633   397822    18.4 | 79.432 % |
c |     30963 |  140267   288181 |   51430   21734   399242    18.4 | 80.416 % |
c |     31114 |  140168   287935 |   56573   21806   400090    18.3 | 80.529 % |
c |     31339 |  140168   287935 |   62230   22031   412550    18.7 | 80.529 % |
c |     31676 |  140023   287590 |   68453   22256   418337    18.8 | 80.689 % |
c |     32183 |  140023   287590 |   75299   22763   438437    19.3 | 80.689 % |
c ==============================================================================
c [1mFound solution: -47[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     32937 |  140085   287791 |   46695   23512   471006    20.0 | 80.689 % |
c |     33037 |  140085   287791 |   51364   23612   474023    20.1 | 80.668 % |
c |     33188 |  139985   287565 |   56500   23703   476332    20.1 | 80.768 % |
c |     33413 |  139925   287414 |   62151   23901   482389    20.2 | 80.840 % |
c |     33750 |  139819   287160 |   68366   24223   491372    20.3 | 80.958 % |
c |     34257 |  139501   286378 |   75202   24523   504115    20.6 | 81.320 % |
c |     35016 |  139221   285698 |   82723   25080   519407    20.7 | 81.634 % |
c |     36155 |  138949   285015 |   90995   26080   578152    22.2 | 81.958 % |
c |     37863 |  138937   284987 |  100094   27753   670991    24.2 | 81.971 % |
c |     40425 |  138358   283576 |  110104   29587   808674    27.3 | 82.622 % |
c ==============================================================================
c [1mFound solution: -49[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     41630 |  138147   283085 |   46049   30685   883161    28.8 | 82.622 % |
c |     41730 |  138092   282958 |   50653   30763   884351    28.7 | 82.933 % |
c |     41880 |  137941   282583 |   55719   30835   887360    28.8 | 83.109 % |
c |     42105 |  137901   282493 |   61291   31052   893326    28.8 | 83.149 % |
c |     42442 |  137895   282479 |   67420   31375   909461    29.0 | 83.155 % |
c |     42948 |  137873   282425 |   74162   31874   947781    29.7 | 83.181 % |
c |     43707 |  137873   282425 |   81578   32633   990787    30.4 | 83.181 % |
c |     44846 |  137866   282408 |   89736   33764  1042346    30.9 | 83.189 % |
c |     46554 |  137539   281618 |   98710   35123  1108640    31.6 | 83.556 % |
c |     49116 |  137311   281072 |  108581   37144  1292520    34.8 | 83.810 % |
c |     52960 |  137157   280708 |  119439   40856  1598714    39.1 | 83.978 % |
c |     58727 |  136513   279109 |  131383   45613  1978665    43.4 | 84.730 % |
c ==============================================================================
c [1mFound solution: -50[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     64383 |  136428   278853 |   45476   50690  2426715    47.9 | 84.730 % |
c |     64483 |  136372   278721 |   50023   50704  2426821    47.9 | 84.888 % |
c |     64633 |  136372   278721 |   55025   50854  2434364    47.9 | 84.888 % |
c |     64858 |  136372   278721 |   60528   51079  2451936    48.0 | 84.888 % |
c |     65195 |  136354   278679 |   66581   51330  2465308    48.0 | 84.907 % |
c |     65701 |  136354   278679 |   73239   51836  2497084    48.2 | 84.907 % |
c |     66460 |  136315   278575 |   80563   52539  2537278    48.3 | 84.952 % |
c |     67599 |  136315   278575 |   88619   53678  2687895    50.1 | 84.952 % |
c |     69307 |  136315   278575 |   97481   55386  2882870    52.1 | 84.952 % |
c |     71869 |  136315   278575 |  107230   57948  3297295    56.9 | 84.952 % |
c ==============================================================================
c [1mFound solution: -51[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     74103 |  136106   278085 |   45368   59809  3485256    58.3 | 84.952 % |
c |     74203 |  136106   278085 |   49904   59909  3491775    58.3 | 85.223 % |
c |     74353 |  136063   277970 |   54895   59670  3485850    58.4 | 85.278 % |
c |     74578 |  136063   277970 |   60384   59895  3498842    58.4 | 85.278 % |
c |     74916 |  136058   277957 |   66423   60226  3530651    58.6 | 85.284 % |
c |     75422 |  135994   277802 |   73065   60597  3563296    58.8 | 85.355 % |
c |     76181 |  135950   277698 |   80372   61179  3620235    59.2 | 85.403 % |
c |     77320 |  135945   277687 |   88409   62293  3702636    59.4 | 85.408 % |
c |     79028 |  135928   277644 |   97250   63981  3892624    60.8 | 85.429 % |
c |     81590 |  135691   277063 |  106975   65768  4131868    62.8 | 85.702 % |
c |     85436 |  135590   276824 |  117672   69157  4565212    66.0 | 85.813 % |
c |     91202 |  135583   276807 |  129440   74866  5415516    72.3 | 85.821 % |
c |     99851 |  135540   276704 |  142384   83045  6414369    77.2 | 85.869 % |
c |    112826 |  135455   276509 |  156622   95875  8314958    86.7 | 85.957 % |
c ==============================================================================
c [1mFound solution: -52[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    127962 |  135394   276336 |   45131  109446 11574582   105.8 | 85.957 % |
c |    128062 |  135394   276336 |   49644   22310  3255192   145.9 | 86.028 % |
c |    128212 |  135295   276100 |   54608   22395  3259721   145.6 | 86.136 % |
c |    128437 |  135290   276089 |   60069   22610  3275212   144.9 | 86.141 % |
c |    128775 |  135238   275955 |   66076   22938  3289266   143.4 | 86.207 % |
c |    129281 |  135204   275877 |   72683   23429  3310280   141.3 | 86.242 % |
c |    130040 |  135194   275853 |   79952   24166  3344207   138.4 | 86.253 % |
c |    131179 |  135186   275835 |   87947   25295  3433065   135.7 | 86.261 % |
c |    132888 |  135178   275815 |   96742   26972  3689589   136.8 | 86.271 % |
c |    135450 |  135123   275675 |  106416   29433  4012571   136.3 | 86.338 % |
c |    139294 |  135123   275675 |  117058   33277  4564286   137.2 | 86.338 % |
c |    145060 |  134993   275371 |  128764   38714  5165896   133.4 | 86.475 % |
c |    153709 |  134993   275371 |  141640   47363  7432043   156.9 | 86.475 % |
c |    166684 |  134984   275352 |  155804   60336  9779793   162.1 | 86.483 % |
c |    186146 |  134984   275352 |  171384   79798 13225885   165.7 | 86.483 % |
c |    215338 |  134936   275238 |  188523  108912 18650008   171.2 | 86.536 % |
c |    259127 |  134911   275179 |  207375  152675 26672713   174.7 | 86.563 % |
/oldhome/oroussel/solvers/minisat+_script: line 9:  7488 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### 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.91 0.95 0.92 2/54 7484
Raw data (stat): 7484 (runsolver) R 7483 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840719121 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+660.01 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+670.01 s]
Raw data (loadavg): 1.14 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+680.01 s]
Raw data (loadavg): 1.11 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+690.009 s]
Raw data (loadavg): 1.10 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+700.01 s]
Raw data (loadavg): 1.08 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+710.01 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720.011 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+730.01 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+740.01 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+750.01 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+760.01 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+770.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+780.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+790.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+800.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+810.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+820.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+830.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+840.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+850.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+860.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+870.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+880.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+890.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+900.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+940.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+950.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+960.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+970.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+980.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+990.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.73 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 7488
Raw data (stat): 7484 (minisat+_script) S 7483 25399 25398 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840719121 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.72
CPU time (s): 1229.9
CPU user time (s): 1228.7
CPU system time (s): 1.20682
CPU usage (%): 100.015
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####