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/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
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 30518

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        612040 kB
Buffers:         35012 kB
Cached:         364972 kB
SwapCached:        400 kB
Active:          73656 kB
Inactive:       328524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        611788 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            14884 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:41:20 (client local time) WITH STATUS 152 IN 1229.88 SECONDS
stats: 21919 7 1229.88 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 80258 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 |   80258   160516 |   26752       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -36[0m
c ---[   0]---> Sorter-cost:63046     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  148144   319772 |   49381       0        0     nan |  0.000 % |
c |       100 |  147820   319103 |   54319      84      567     6.8 |  0.388 % |
c |       250 |  147145   317664 |   59751     188     1432     7.6 |  1.214 % |
c |       476 |  146024   315267 |   65726     361     3068     8.5 |  2.595 % |
c |       813 |  143729   310234 |   72298     619     5841     9.4 |  5.557 % |
c |      1319 |  140833   303816 |   79528     968     9121     9.4 |  9.437 % |
c |      2079 |  136692   294527 |   87481    1586    15869    10.0 | 15.004 % |
c |      3218 |  131314   282313 |   96229    2417    27902    11.5 | 22.323 % |
c |      4926 |  122752   262701 |  105852    3528    39936    11.3 | 34.222 % |
c |      7488 |  112044   237857 |  116437    5289    62605    11.8 | 49.090 % |
c ==============================================================================
c [1mFound solution: -40[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      7928 |  111198   235994 |   37066    5633    66805    11.9 | 49.090 % |
c |      8028 |  110897   235287 |   40772    5710    67536    11.8 | 50.901 % |
c |      8178 |  110452   234225 |   44849    5792    68387    11.8 | 51.548 % |
c |      8403 |  109585   232234 |   49334    5952    71118    11.9 | 52.759 % |
c |      8741 |  108728   230226 |   54268    6208    74433    12.0 | 53.995 % |
c |      9247 |  107763   227961 |   59695    6556    79030    12.1 | 55.393 % |
c |     10006 |  106198   224277 |   65664    7058    87476    12.4 | 57.665 % |
c |     11146 |  103552   218006 |   72231    7914   103965    13.1 | 61.514 % |
c |     12854 |  100400   210497 |   79454    9088   124554    13.7 | 66.138 % |
c |     15416 |   97019   202392 |   87399   10804   161729    15.0 | 71.090 % |
c |     19260 |   94852   197144 |   96139   14054   253306    18.0 | 74.363 % |
c |     25026 |   93592   194098 |  105753   19178   576284    30.0 | 76.268 % |
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 |     29121 |   92780   192183 |   30926   22895   940622    41.1 | 76.268 % |
c |     29221 |   92677   191930 |   34018   22961   941837    41.0 | 77.647 % |
c |     29371 |   92612   191776 |   37420   23105   945249    40.9 | 77.742 % |
c |     29597 |   92612   191776 |   41162   23331   954744    40.9 | 77.742 % |
c |     29934 |   92495   191494 |   45278   23662   962311    40.7 | 77.917 % |
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 |     30329 |   92131   190575 |   30710   23891   984433    41.2 | 77.917 % |
c |     30429 |   92064   190426 |   33781   23974   986115    41.1 | 78.509 % |
c |     30579 |   91949   190146 |   37159   24115   994438    41.2 | 78.683 % |
c |     30804 |   91850   189911 |   40875   24280  1003798    41.3 | 78.828 % |
c |     31141 |   91766   189701 |   44962   24546  1013462    41.3 | 78.962 % |
c |     31647 |   91650   189414 |   49458   25021  1032977    41.3 | 79.143 % |
c |     32406 |   91601   189300 |   54404   25733  1089814    42.4 | 79.212 % |
c |     33545 |   91498   189059 |   59845   26813  1189985    44.4 | 79.358 % |
c |     35253 |   91064   187999 |   65829   28271  1265964    44.8 | 80.005 % |
c |     37817 |   90592   186879 |   72412   30523  1417125    46.4 | 80.691 % |
c |     41661 |   90247   186028 |   79653   34043  1688146    49.6 | 81.219 % |
c |     47427 |   89873   185101 |   87619   39490  2309222    58.5 | 81.806 % |
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 |     55522 |   89822   185003 |   29940   47545  3314007    69.7 | 81.806 % |
c |     55622 |   89822   185003 |   32934   47645  3321718    69.7 | 81.930 % |
c |     55772 |   89822   185003 |   36227   47795  3326427    69.6 | 81.931 % |
c |     55998 |   89822   185003 |   39850   48021  3341366    69.6 | 81.930 % |
c |     56336 |   89822   185003 |   43835   48359  3370021    69.7 | 81.931 % |
c |     56842 |   89822   185003 |   48218   48865  3409651    69.8 | 81.930 % |
c |     57601 |   89177   183450 |   53040   48863  3434237    70.3 | 82.894 % |
c |     58740 |   89177   183450 |   58344   50002  3579676    71.6 | 82.894 % |
c |     60448 |   89117   183296 |   64179   51669  3732132    72.2 | 82.996 % |
c |     63011 |   89039   183106 |   70596   54124  3965144    73.3 | 83.114 % |
c |     66855 |   89039   183106 |   77656   57968  4599226    79.3 | 83.114 % |
c |     72622 |   88752   182402 |   85422   63069  5112366    81.1 | 83.557 % |
c |     81271 |   88748   182392 |   93964   71717  6426102    89.6 | 83.564 % |
c |     94245 |   88748   182392 |  103361   84691  8009047    94.6 | 83.564 % |
c |    113707 |   88741   182375 |  113697  104135 11319413   108.7 | 83.574 % |
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 |    140871 |   88488   181720 |   29496  130980 15028721   114.7 | 83.574 % |
c |    140971 |   88488   181720 |   32445   23657  1604034    67.8 | 83.975 % |
c |    141121 |   88488   181720 |   35690   23807  1613264    67.8 | 83.975 % |
c |    141346 |   88488   181720 |   39259   24032  1631251    67.9 | 83.975 % |
c |    141683 |   88328   181322 |   43185   24359  1642586    67.4 | 84.221 % |
c |    142189 |   88328   181322 |   47503   24865  1700627    68.4 | 84.221 % |
c |    142948 |   88328   181322 |   52253   25624  1787151    69.7 | 84.221 % |
c |    144087 |   88328   181322 |   57479   26763  1947089    72.8 | 84.221 % |
c |    145797 |   88226   181078 |   63227   28458  2159705    75.9 | 84.369 % |
c |    148359 |   88221   181067 |   69550   31016  2379812    76.7 | 84.375 % |
c |    152203 |   88221   181067 |   76505   34860  2924276    83.9 | 84.375 % |
c |    157969 |   88221   181067 |   84155   40626  3769186    92.8 | 84.375 % |
c |    166618 |   88180   180970 |   92571   49077  4992109   101.7 | 84.436 % |
c |    179592 |   88139   180873 |  101828   61925  6663510   107.6 | 84.496 % |
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 |    193053 |   88160   180935 |   29386   75386  9039640   119.9 | 84.496 % |
c |    193153 |   88154   180921 |   32324   20076  2226072   110.9 | 84.484 % |
c |    193303 |   88149   180908 |   35557   20222  2233119   110.4 | 84.492 % |
c |    193528 |   88149   180908 |   39112   20447  2240695   109.6 | 84.492 % |
c |    193865 |   87960   180457 |   43024   20704  2251356   108.7 | 84.765 % |
c |    194373 |   87960   180457 |   47326   21212  2285864   107.8 | 84.765 % |
c |    195133 |   87928   180387 |   52059   21969  2317828   105.5 | 84.806 % |
c |    196272 |   87928   180387 |   57265   23108  2390481   103.4 | 84.806 % |
c |    197981 |   87877   180262 |   62991   24808  2557155   103.1 | 84.886 % |
c |    200543 |   87877   180262 |   69290   27370  2839758   103.8 | 84.886 % |
c |    204387 |   87859   180218 |   76219   31206  3310018   106.1 | 84.914 % |
c |    210154 |   87728   179913 |   83841   36956  3914827   105.9 | 85.101 % |
c |    218803 |   87618   179642 |   92225   45444  4968749   109.3 | 85.273 % |
c |    231778 |   87612   179628 |  101448   58416  6873546   117.7 | 85.281 % |
c |    251240 |   87602   179602 |  111593   77876  9366492   120.3 | 85.299 % |
c |    280433 |   87500   179360 |  122752  106975 13247285   123.8 | 85.449 % |
c |    324222 |   87431   179199 |  135027  150675 18133943   120.4 | 85.548 % |
/oldhome/oroussel/solvers/minisat+_script: line 9:  6406 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 6402
Raw data (stat): 6402 (runsolver) R 6401 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840634134 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+10.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.91 2/55 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.76 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6406
Raw data (stat): 6402 (minisat+_script) S 6401 23310 23309 0 -1 0 274 239 0 0 0 0 0 1 19 0 1 0 840634134 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.76
CPU time (s): 1229.88
CPU user time (s): 1228.92
CPU system time (s): 0.960853
CPU usage (%): 100.01
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####