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-2.opb
MD5SUM	fe7ff8b16c276b409b25a87eed31b6f9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
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.09
Number of variables	1150
Total number of constraints	80851
Number of constraints which are clauses	80851
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 31688

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-27 05:37:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23089 boxname=wulflinc6 idbench=335 idsolver=16 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fe7ff8b16c276b409b25a87eed31b6f9  /oldhome/oroussel/tmp/wulflinc6/normalized-frb50-23-2.opb
REAL COMMAND:  minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc6/normalized-frb50-23-2.opb
IDLAUNCH: 23089
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        730924 kB
Buffers:         33344 kB
Cached:         245452 kB
SwapCached:        412 kB
Active:          55464 kB
Inactive:       225688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730672 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            16932 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-27 05:57:50 (client local time) WITH STATUS 152 IN 1229.89 SECONDS
stats: 23089 7 1229.89 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 80851 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 |   80851   161702 |   26950       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 |  148737   320958 |   49579       0        0     nan |  0.000 % |
c |       101 |  148366   320193 |   54536      85      765     9.0 |  0.441 % |
c |       252 |  148029   319484 |   59990     220     3072    14.0 |  0.844 % |
c |       477 |  147140   317584 |   65989     414     5422    13.1 |  1.937 % |
c |       814 |  145503   314007 |   72588     695    10180    14.6 |  4.025 % |
c |      1320 |  141871   306005 |   79847    1052    14339    13.6 |  8.753 % |
c |      2079 |  136023   292923 |   87832    1565    21384    13.7 | 16.582 % |
c |      3218 |  130632   280671 |   96615    2487    32283    13.0 | 23.974 % |
c |      4926 |  123081   263362 |  106276    3797    51144    13.5 | 34.454 % |
c |      7488 |  115042   244888 |  116904    5568    76837    13.8 | 45.531 % |
c |     11332 |  106902   225592 |  128595    8647   126243    14.6 | 57.367 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     12189 |  105355   221989 |   35118    9206   138743    15.1 | 57.367 % |
c |     12292 |  105334   221942 |   38629    9300   142332    15.3 | 59.672 % |
c |     12442 |  105154   221511 |   42492    9437   144616    15.3 | 59.940 % |
c |     12668 |  104547   220088 |   46742    9550   146897    15.4 | 60.812 % |
c |     13005 |  104266   219414 |   51416    9700   149137    15.4 | 61.231 % |
c |     13511 |  102353   214845 |   56557    9851   154585    15.7 | 64.142 % |
c |     14271 |  101471   212704 |   62213   10471   168910    16.1 | 65.388 % |
c |     15410 |  100525   210483 |   68435   11341   190635    16.8 | 66.819 % |
c |     17118 |   98376   205358 |   75278   12589   222288    17.7 | 69.882 % |
c |     19680 |   97425   203063 |   82806   14811   278397    18.8 | 71.285 % |
c ==============================================================================
c [1mFound solution: -38[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19987 |   96638   201152 |   32212   14981   283316    18.9 | 71.285 % |
c |     20087 |   96638   201152 |   35433   15081   285189    18.9 | 72.422 % |
c |     20237 |   96439   200654 |   38976   15146   288150    19.0 | 72.733 % |
c |     20462 |   96306   200334 |   42874   15335   293321    19.1 | 72.932 % |
c |     20799 |   95886   199340 |   47161   15583   300834    19.3 | 73.553 % |
c |     21306 |   95774   199086 |   51877   16064   315316    19.6 | 73.706 % |
c |     22066 |   95551   198555 |   57065   16757   339492    20.3 | 74.033 % |
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 |     22573 |   95160   197669 |   31720   17015   350326    20.6 | 74.033 % |
c |     22673 |   95160   197669 |   34892   17115   356501    20.8 | 74.686 % |
c |     22823 |   95106   197535 |   38381   17261   360565    20.9 | 74.772 % |
c |     23049 |   95013   197310 |   42219   17466   365076    20.9 | 74.910 % |
c |     23386 |   94966   197201 |   46441   17776   378604    21.3 | 74.975 % |
c |     23892 |   94961   197190 |   51085   18276   390433    21.4 | 74.981 % |
c |     24652 |   94399   195810 |   56193   18675   406360    21.8 | 75.842 % |
c |     25792 |   94283   195526 |   61813   19618   439777    22.4 | 76.021 % |
c |     27501 |   93887   194570 |   67994   21188   551252    26.0 | 76.623 % |
c |     30063 |   93580   193835 |   74794   23586   661515    28.0 | 77.085 % |
c |     33907 |   92526   191288 |   82273   26622   855765    32.1 | 78.683 % |
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 |     34660 |   92501   191256 |   30833   27346   890259    32.6 | 78.683 % |
c |     34760 |   92374   190951 |   33916   27407   892203    32.6 | 78.925 % |
c |     34910 |   92374   190951 |   37307   27557   897352    32.6 | 78.925 % |
c |     35135 |   92325   190828 |   41038   27771   909011    32.7 | 78.996 % |
c |     35472 |   92325   190828 |   45142   28108   929804    33.1 | 78.996 % |
c |     35978 |   92325   190828 |   49656   28614   952436    33.3 | 78.996 % |
c |     36737 |   91933   189887 |   54622   29190   998234    34.2 | 79.580 % |
c |     37877 |   91668   189231 |   60084   30184  1050966    34.8 | 79.977 % |
c |     39585 |   91179   188051 |   66093   31104  1123554    36.1 | 80.703 % |
c |     42147 |   90991   187592 |   72702   33536  1352386    40.3 | 80.990 % |
c |     45991 |   90915   187410 |   79972   37245  1889303    50.7 | 81.102 % |
c |     51757 |   90762   187040 |   87970   42879  2343683    54.7 | 81.333 % |
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 |     52914 |   90753   186986 |   30251   43937  2470581    56.2 | 81.333 % |
c |     53014 |   90753   186986 |   33276   44037  2472887    56.2 | 81.351 % |
c |     53164 |   90753   186986 |   36603   44187  2487369    56.3 | 81.351 % |
c |     53390 |   90753   186986 |   40264   44413  2502524    56.3 | 81.351 % |
c |     53727 |   90753   186986 |   44290   44750  2517712    56.3 | 81.351 % |
c |     54234 |   90712   186891 |   48719   45092  2552226    56.6 | 81.407 % |
c |     54995 |   90712   186891 |   53591   45853  2626768    57.3 | 81.407 % |
c |     56134 |   90698   186857 |   58950   46911  2726470    58.1 | 81.429 % |
c |     57843 |   90611   186643 |   64845   48530  2837380    58.5 | 81.556 % |
c |     60405 |   90521   186429 |   71330   50928  3048163    59.9 | 81.685 % |
c |     64249 |   90508   186398 |   78463   54678  3459802    63.3 | 81.705 % |
c |     70016 |   90366   186066 |   86309   60273  4054487    67.3 | 81.907 % |
c |     78665 |   90114   185438 |   94940   68614  5012115    73.0 | 82.308 % |
c |     91640 |   89808   184690 |  104434   80924  6476449    80.0 | 82.780 % |
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 |    101349 |   89784   184660 |   29928   90515  7625234    84.2 | 82.780 % |
c |    101449 |   89740   184546 |   32920   23637  1615649    68.4 | 82.927 % |
c |    101600 |   89736   184536 |   36212   23784  1622993    68.2 | 82.933 % |
c |    101825 |   89736   184536 |   39834   24009  1640600    68.3 | 82.933 % |
c |    102162 |   89658   184344 |   43817   24307  1661876    68.4 | 83.056 % |
c |    102668 |   89497   183949 |   48199   24754  1694957    68.5 | 83.305 % |
c |    103427 |   89497   183949 |   53019   25513  1767199    69.3 | 83.305 % |
c |    104566 |   89497   183949 |   58321   26652  1884370    70.7 | 83.305 % |
c |    106275 |   89373   183652 |   64153   28323  2061056    72.8 | 83.490 % |
c |    108837 |   89373   183652 |   70568   30885  2343424    75.9 | 83.490 % |
c |    112681 |   89339   183568 |   77625   34664  2898101    83.6 | 83.544 % |
c |    118447 |   88995   182758 |   85388   40297  3742322    92.9 | 84.037 % |
c |    127096 |   88992   182751 |   93926   48945  4973106   101.6 | 84.041 % |
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 |    128864 |   88967   182666 |   29655   50677  5251581   103.6 | 84.041 % |
c |    128964 |   88962   182655 |   32620   50775  5256860   103.5 | 84.087 % |
c |    129114 |   88962   182655 |   35882   50925  5267190   103.4 | 84.087 % |
c |    129339 |   88962   182655 |   39470   51150  5283543   103.3 | 84.087 % |
c |    129677 |   88962   182655 |   43417   51488  5324792   103.4 | 84.087 % |
c |    130183 |   88962   182655 |   47759   51994  5375997   103.4 | 84.087 % |
c |    130942 |   88962   182655 |   52535   52753  5461119   103.5 | 84.087 % |
c |    132081 |   88962   182655 |   57789   53892  5567309   103.3 | 84.087 % |
c |    133790 |   88962   182655 |   63568   55601  5753628   103.5 | 84.087 % |
c |    136353 |   88870   182433 |   69924   58139  6016906   103.5 | 84.220 % |
c |    140197 |   88770   182167 |   76917   61962  6470826   104.4 | 84.399 % |
c |    145963 |   88768   182163 |   84609   67727  7108180   105.0 | 84.401 % |
c |    154612 |   88725   182047 |   93070   76332  8360934   109.5 | 84.474 % |
c |    167586 |   88673   181922 |  102377   89282 10392161   116.4 | 84.554 % |
c |    187048 |   88609   181774 |  112614  108730 13218100   121.6 | 84.644 % |
c |    216240 |   88592   181733 |  123876  137917 17842959   129.4 | 84.670 % |
c |    260030 |   88397   181266 |  136263   36498  4124381   113.0 | 84.963 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 17948 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 17944
Raw data (stat): 17944 (runsolver) R 17943 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 795473700 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0023 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0049 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0064 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0076 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.0081 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.52 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17948
Raw data (stat): 17944 (minisat+_script) S 17943 25568 25567 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795473700 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.52
CPU time (s): 1229.89
CPU user time (s): 1228.92
CPU system time (s): 0.970852
CPU usage (%): 100.03
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####