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/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
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	1272
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.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 30522

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 17:21:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21923 boxname=wulflinc26 idbench=341 idsolver=15 numberseed=0
MD5SUM SOLVER: 34d34154b8ad81f02ee98439942e0814  /oldhome/oroussel/solvers/minisat+_script
MD5SUM BENCH:  baa7b619e2dc55a18c674a719d78c00c  /oldhome/oroussel/tmp/wulflinc26/normalized-frb53-24-3.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc26/normalized-frb53-24-3.opb
IDLAUNCH: 21923
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        561068 kB
Buffers:         31848 kB
Cached:         418252 kB
SwapCached:        536 kB
Active:          22068 kB
Inactive:       430428 kB
HighTotal:      131008 kB
HighFree:        39564 kB
LowTotal:       903652 kB
LowFree:        521504 kB
SwapTotal:     2097892 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5868 kB
Slab:            15348 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:42:16 (client local time) WITH STATUS 152 IN 1229.88 SECONDS
stats: 21923 7 1229.88 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 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 |   94127   188254 |   31375       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169206   364382 |   56402       0        0     nan |  0.000 % |
c |       100 |  168601   363114 |   62042      60      642    10.7 |  0.650 % |
c |       250 |  168197   362272 |   68246     188     1787     9.5 |  1.078 % |
c |       475 |  166779   359205 |   75071     353     5149    14.6 |  2.687 % |
c |       812 |  164849   355011 |   82578     614     8125    13.2 |  4.901 % |
c |      1318 |  161915   348511 |   90835    1007    11889    11.8 |  8.388 % |
c |      2078 |  157298   338163 |   99919    1514    19611    13.0 | 13.974 % |
c |      3217 |  150383   322519 |  109911    2361    27149    11.5 | 22.504 % |
c |      4925 |  142177   303723 |  120902    3455    43440    12.6 | 32.802 % |
c ==============================================================================
c [1mFound solution: -39[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6002 |  136029   289832 |   45343    4064    51113    12.6 | 32.802 % |
c |      6102 |  135501   288616 |   49877    4094    51418    12.6 | 41.228 % |
c |      6252 |  134830   287062 |   54865    4169    52253    12.5 | 42.056 % |
c |      6477 |  133556   284073 |   60351    4284    53504    12.5 | 43.681 % |
c |      6815 |  131508   279252 |   66386    4352    53518    12.3 | 46.324 % |
c |      7321 |  129404   274330 |   73025    4686    58304    12.4 | 49.004 % |
c |      8080 |  124550   262767 |   80327    5020    62499    12.4 | 55.415 % |
c |      9219 |  120847   253969 |   88360    5639    70773    12.6 | 60.316 % |
c |     10927 |  116439   243527 |   97196    6740    85038    12.6 | 66.140 % |
c |     13489 |  111872   232610 |  106916    8109   102853    12.7 | 72.176 % |
c ==============================================================================
c [1mFound solution: -41[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15449 |  108663   224875 |   36221    9239   125727    13.6 | 72.176 % |
c |     15549 |  108599   224717 |   39843    9321   126476    13.6 | 76.650 % |
c |     15699 |  108565   224641 |   43827    9450   128114    13.6 | 76.691 % |
c |     15924 |  107849   222933 |   48210    9505   128963    13.6 | 77.658 % |
c |     16261 |  107296   221602 |   53031    9592   132052    13.8 | 78.413 % |
c |     16767 |  107016   220928 |   58334   10007   142853    14.3 | 78.791 % |
c |     17527 |  106385   219426 |   64167   10577   155481    14.7 | 79.638 % |
c |     18668 |  105298   216803 |   70584   11375   176705    15.5 | 81.105 % |
c |     20376 |  104074   213784 |   77642   12323   199977    16.2 | 82.788 % |
c |     22938 |  103716   212925 |   85407   14593   321534    22.0 | 83.276 % |
c ==============================================================================
c [1mFound solution: -42[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24986 |  102854   210754 |   34284   15664   393625    25.1 | 83.276 % |
c |     25086 |  102732   210450 |   37712   15436   390882    25.3 | 84.654 % |
c |     25236 |  102684   210340 |   41483   15542   394868    25.4 | 84.714 % |
c |     25461 |  102641   210233 |   45632   15714   406285    25.9 | 84.776 % |
c |     25798 |  102629   210201 |   50195   16042   422226    26.3 | 84.796 % |
c |     26304 |  102576   210078 |   55214   16509   466638    28.3 | 84.864 % |
c |     27063 |  102576   210078 |   60736   17268   503954    29.2 | 84.864 % |
c |     28202 |  102576   210078 |   66809   18407   593877    32.3 | 84.864 % |
c |     29911 |  102443   209761 |   73490   20018   684978    34.2 | 85.044 % |
c ==============================================================================
c [1mFound solution: -43[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31856 |  102356   209564 |   34118   21852   815129    37.3 | 85.044 % |
c |     31956 |  102268   209345 |   37529   21860   814537    37.3 | 85.339 % |
c |     32106 |  102228   209247 |   41282   21838   815492    37.3 | 85.394 % |
c |     32333 |  102223   209236 |   45411   22016   831326    37.8 | 85.400 % |
c |     32671 |  102209   209200 |   49952   22306   856533    38.4 | 85.421 % |
c |     33177 |  102197   209172 |   54947   22741   873272    38.4 | 85.437 % |
c |     33937 |  102094   208924 |   60442   23330   930681    39.9 | 85.575 % |
c |     35077 |  102019   208744 |   66486   24242   985516    40.7 | 85.676 % |
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 |     35607 |  102009   208691 |   34003   24540   995539    40.6 | 85.676 % |
c |     35708 |  101928   208492 |   37403   24624   997833    40.5 | 85.803 % |
c |     35858 |  101928   208492 |   41143   24774  1006585    40.6 | 85.803 % |
c |     36083 |  101928   208492 |   45257   24999  1014501    40.6 | 85.803 % |
c |     36420 |  101784   208131 |   49783   24930  1033808    41.5 | 86.003 % |
c |     36928 |  101784   208131 |   54762   25438  1056708    41.5 | 86.003 % |
c |     37689 |  101770   208097 |   60238   26110  1110764    42.5 | 86.023 % |
c |     38828 |  101692   207908 |   66262   27180  1189071    43.7 | 86.128 % |
c |     40536 |  101664   207836 |   72888   28873  1410165    48.8 | 86.171 % |
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 |     40771 |  101685   207899 |   33895   29108  1431870    49.2 | 86.171 % |
c |     40871 |  101599   207692 |   37284   29151  1433947    49.2 | 86.268 % |
c |     41022 |  101583   207656 |   41012   29204  1437736    49.2 | 86.288 % |
c |     41247 |  101583   207656 |   45114   29429  1451214    49.3 | 86.288 % |
c |     41585 |  101579   207646 |   49625   29759  1468341    49.3 | 86.294 % |
c |     42091 |  101579   207646 |   54588   30265  1514920    50.1 | 86.294 % |
c |     42850 |  101579   207646 |   60047   31024  1566731    50.5 | 86.294 % |
c |     43989 |  101522   207517 |   66051   32004  1690247    52.8 | 86.364 % |
c |     45697 |  101519   207510 |   72656   33657  1837966    54.6 | 86.368 % |
c |     48259 |  101514   207497 |   79922   36156  2069775    57.2 | 86.375 % |
c |     52103 |  101425   207284 |   87914   39754  2565923    64.5 | 86.496 % |
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 |     56071 |  101328   207015 |   33776   42986  3027810    70.4 | 86.496 % |
c |     56171 |  101160   206601 |   37153   42581  3019786    70.9 | 86.866 % |
c |     56322 |  101122   206513 |   40868   42554  3024513    71.1 | 86.915 % |
c |     56547 |  101122   206513 |   44955   42779  3039749    71.1 | 86.915 % |
c |     56886 |  101122   206513 |   49451   43118  3064538    71.1 | 86.915 % |
c |     57392 |  101122   206513 |   54396   43624  3101898    71.1 | 86.915 % |
c |     58152 |  101122   206513 |   59836   44384  3194510    72.0 | 86.915 % |
c |     59291 |  101046   206333 |   65819   45208  3294689    72.9 | 87.014 % |
c |     60999 |  101046   206333 |   72401   46916  3533061    75.3 | 87.014 % |
c |     63561 |  101046   206333 |   79642   49478  3883031    78.5 | 87.014 % |
c |     67406 |  100914   205999 |   87606   53044  4385925    82.7 | 87.206 % |
c |     73172 |  100806   205737 |   96366   58558  5046095    86.2 | 87.354 % |
c |     81821 |  100711   205504 |  106003   67011  6093036    90.9 | 87.486 % |
c |     94795 |  100700   205477 |  116603   79939  7520194    94.1 | 87.502 % |
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 |    105865 |  100598   205249 |   33532   90227  8874178    98.4 | 87.502 % |
c |    105965 |  100593   205238 |   36885   20901  1600986    76.6 | 87.670 % |
c |    106117 |  100593   205238 |   40573   21053  1614859    76.7 | 87.670 % |
c |    106344 |  100593   205238 |   44631   21280  1631167    76.7 | 87.670 % |
c |    106681 |  100593   205238 |   49094   21617  1672760    77.4 | 87.670 % |
c |    107187 |  100593   205238 |   54003   22123  1718568    77.7 | 87.670 % |
c |    107946 |  100593   205238 |   59403   22882  1790790    78.3 | 87.670 % |
c |    109085 |  100552   205131 |   65344   23996  1881654    78.4 | 87.734 % |
c |    110794 |  100507   205018 |   71878   25649  2041000    79.6 | 87.798 % |
c |    113356 |  100507   205018 |   79066   28211  2385755    84.6 | 87.798 % |
c |    117201 |  100363   204678 |   86973   31966  2747854    86.0 | 87.983 % |
c |    122969 |  100363   204678 |   95670   37734  3327649    88.2 | 87.983 % |
c |    131618 |  100361   204672 |  105237   46377  4057930    87.5 | 87.986 % |
c |    144592 |  100361   204672 |  115761   59351  5417520    91.3 | 87.986 % |
c |    164053 |  100361   204672 |  127337   78812  7374147    93.6 | 87.986 % |
c ==============================================================================
c [1mFound solution: -48[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    180700 |  100336   204592 |   33445   95355  9046564    94.9 | 87.986 % |
c |    180800 |  100336   204592 |   36789   20047  1291344    64.4 | 88.022 % |
c |    180953 |  100336   204592 |   40468   20200  1303202    64.5 | 88.022 % |
c |    181179 |  100336   204592 |   44515   20426  1316828    64.5 | 88.022 % |
c |    181517 |  100336   204592 |   48966   20764  1335170    64.3 | 88.022 % |
c |    182023 |  100336   204592 |   53863   21270  1379477    64.9 | 88.022 % |
c |    182782 |  100336   204592 |   59249   22029  1465852    66.5 | 88.022 % |
c |    183921 |  100336   204592 |   65174   23168  1572637    67.9 | 88.022 % |
c |    185630 |  100336   204592 |   71692   24877  1715016    68.9 | 88.022 % |
c |    188194 |  100315   204537 |   78861   27433  1979748    72.2 | 88.055 % |
c |    192038 |  100261   204411 |   86747   31274  2434565    77.8 | 88.125 % |
c |    197805 |  100261   204411 |   95422   37041  2947613    79.6 | 88.125 % |
c |    206454 |  100261   204411 |  104964   45690  3968544    86.9 | 88.125 % |
c |    219428 |  100230   204344 |  115461   58628  5032265    85.8 | 88.160 % |
c |    238890 |  100163   204183 |  127007   78084  6825521    87.4 | 88.251 % |
c |    268082 |  100162   204180 |  139708  107224 10345801    96.5 | 88.253 % |
c |    311871 |  100159   204173 |  153678  151012 13666617    90.5 | 88.257 % |
/oldhome/oroussel/solvers/minisat+_script: line 9:  6807 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.92 0.95 0.96 2/54 6803
Raw data (stat): 6803 (runsolver) R 6802 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840647324 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99941 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 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.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.71 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 6807
Raw data (stat): 6803 (minisat+_script) S 6802 20687 20686 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840647324 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.71
CPU time (s): 1229.88
CPU user time (s): 1228.82
CPU system time (s): 1.06184
CPU usage (%): 100.013
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####