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/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109601
Number of constraints which are clauses	109601
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 30535

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        617152 kB
Buffers:         35644 kB
Cached:         359852 kB
SwapCached:        672 kB
Active:          76212 kB
Inactive:       321360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616900 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14344 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 17:49:08 (client local time) WITH STATUS 152 IN 1229.91 SECONDS
stats: 21930 7 1229.91 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109601 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 |  109601   219202 |   36533       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193124   415097 |   64374       0        0     nan |  0.000 % |
c |       100 |  192416   413617 |   70811      76      921    12.1 |  0.681 % |
c |       250 |  191023   410616 |   77892     179     2197    12.3 |  2.096 % |
c |       475 |  190063   408538 |   85681     361     3680    10.2 |  3.080 % |
c |       812 |  188734   405627 |   94249     637     6636    10.4 |  4.472 % |
c |      1318 |  186843   401468 |  103674    1068    12098    11.3 |  6.468 % |
c |      2078 |  182356   391503 |  114042    1656    20682    12.5 | 11.351 % |
c |      3217 |  177722   381101 |  125446    2499    32422    13.0 | 16.364 % |
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 |      3529 |  175621   376581 |   58540    2705    34651    12.8 | 16.364 % |
c |      3629 |  175081   375366 |   64394    2776    35448    12.8 | 19.578 % |
c |      3779 |  174172   373327 |   70833    2879    36988    12.8 | 20.559 % |
c |      4004 |  173065   370801 |   77916    3042    38920    12.8 | 21.723 % |
c |      4341 |  171253   366710 |   85708    3295    42788    13.0 | 23.699 % |
c |      4847 |  168168   359645 |   94279    3646    46729    12.8 | 27.155 % |
c |      5606 |  165511   353533 |  103707    4196    52953    12.6 | 30.161 % |
c |      6746 |  160767   342641 |  114077    5044    64353    12.8 | 35.508 % |
c |      8454 |  155384   330180 |  125485    6279    81871    13.0 | 41.640 % |
c |     11016 |  149069   315430 |  138034    8200   110217    13.4 | 48.843 % |
c |     14860 |  139979   293955 |  151837   11004   152130    13.8 | 59.520 % |
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 |     20499 |  132623   276547 |   44207   15087   233369    15.5 | 59.520 % |
c |     20599 |  132522   276302 |   48627   15164   235097    15.5 | 68.499 % |
c |     20749 |  132324   275837 |   53490   15279   237075    15.5 | 68.729 % |
c |     20974 |  132058   275218 |   58839   15436   241112    15.6 | 69.032 % |
c |     21311 |  131621   274190 |   64723   15651   243787    15.6 | 69.531 % |
c |     21817 |  131015   272757 |   71195   15990   252762    15.8 | 70.240 % |
c |     22576 |  130069   270499 |   78315   16497   264557    16.0 | 71.349 % |
c |     23715 |  128828   267554 |   86146   17352   289981    16.7 | 72.790 % |
c |     25423 |  127390   264042 |   94761   18639   326421    17.5 | 74.562 % |
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 |     27608 |  126418   261648 |   42139   20404   389011    19.1 | 74.562 % |
c |     27708 |  126083   260820 |   46352   20406   388917    19.1 | 76.186 % |
c |     27858 |  125935   260464 |   50988   20480   393969    19.2 | 76.368 % |
c |     28083 |  125831   260210 |   56087   20649   399264    19.3 | 76.498 % |
c |     28420 |  125831   260210 |   61695   20986   410136    19.5 | 76.498 % |
c |     28926 |  125772   260065 |   67865   21475   417326    19.4 | 76.571 % |
c |     29687 |  125736   259979 |   74651   22220   469844    21.1 | 76.615 % |
c |     30826 |  125376   259109 |   82116   23271   508205    21.8 | 77.053 % |
c |     32535 |  124959   258114 |   90328   24674   574603    23.3 | 77.553 % |
c |     35097 |  124654   257365 |   99361   27056   731371    27.0 | 77.933 % |
c |     38941 |  123674   254985 |  109297   30310   953739    31.5 | 79.143 % |
c ==============================================================================
c [1mFound solution: -45[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     39981 |  123189   253844 |   41063   30770  1040985    33.8 | 79.143 % |
c |     40081 |  123136   253713 |   45169   30862  1043549    33.8 | 79.813 % |
c |     40231 |  122947   253253 |   49686   30899  1043609    33.8 | 80.048 % |
c |     40456 |  122945   253249 |   54654   31123  1055699    33.9 | 80.049 % |
c |     40794 |  122945   253249 |   60120   31461  1069312    34.0 | 80.049 % |
c |     41300 |  122900   253146 |   66132   31902  1099724    34.5 | 80.100 % |
c |     42059 |  122752   252790 |   72745   32334  1144268    35.4 | 80.272 % |
c |     43198 |  122366   251861 |   80020   33089  1185693    35.8 | 80.723 % |
c |     44907 |  122194   251428 |   88022   34657  1295375    37.4 | 80.945 % |
c |     47469 |  121548   249831 |   96824   36732  1490676    40.6 | 81.756 % |
c ==============================================================================
c [1mFound solution: -46[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     49597 |  121162   248821 |   40387   38360  1594354    41.6 | 81.756 % |
c |     49697 |  121121   248722 |   44425   38424  1596348    41.5 | 82.285 % |
c |     49847 |  121069   248597 |   48868   38550  1604324    41.6 | 82.348 % |
c |     50072 |  121069   248597 |   53755   38775  1614451    41.6 | 82.348 % |
c |     50409 |  120960   248347 |   59130   39032  1630054    41.8 | 82.467 % |
c |     50916 |  120636   247540 |   65043   39334  1644118    41.8 | 82.880 % |
c |     51675 |  120511   247232 |   71548   39793  1665108    41.8 | 83.036 % |
c |     52814 |  120273   246658 |   78702   40760  1749498    42.9 | 83.330 % |
c |     54522 |  120044   246077 |   86573   42192  1866998    44.3 | 83.631 % |
c |     57086 |  119856   245625 |   95230   44603  2084904    46.7 | 83.860 % |
c |     60930 |  119757   245394 |  104753   48320  2492696    51.6 | 83.975 % |
c |     66698 |  119630   245101 |  115228   53924  3060814    56.8 | 84.119 % |
c |     75349 |  119586   244999 |  126751   62536  4250466    68.0 | 84.170 % |
c ==============================================================================
c [1mFound solution: -47[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     80708 |  119633   245141 |   39877   67895  4961309    73.1 | 84.170 % |
c |     80808 |  119633   245141 |   43864   67995  4966277    73.0 | 84.150 % |
c |     80958 |  119633   245141 |   48251   68145  4968911    72.9 | 84.150 % |
c |     81183 |  119630   245134 |   53076   68360  4989143    73.0 | 84.154 % |
c |     81520 |  119590   245038 |   58383   68485  5032014    73.5 | 84.203 % |
c |     82026 |  119560   244960 |   64222   68956  5055540    73.3 | 84.243 % |
c |     82785 |  119541   244917 |   70644   69664  5112086    73.4 | 84.264 % |
c |     83924 |  119484   244782 |   77708   70593  5233348    74.1 | 84.330 % |
c |     85632 |  119390   244544 |   85479   72182  5364386    74.3 | 84.452 % |
c |     88194 |  119390   244544 |   94027   74744  5768919    77.2 | 84.452 % |
c |     92038 |  119330   244395 |  103430   78241  6251849    79.9 | 84.529 % |
c ==============================================================================
c [1mFound solution: -48[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     95222 |  119307   244312 |   39769   80797  6489917    80.3 | 84.529 % |
c |     95322 |  119302   244301 |   43745   80801  6494507    80.4 | 84.568 % |
c |     95473 |  119302   244301 |   48120   80952  6499168    80.3 | 84.568 % |
c |     95699 |  119302   244301 |   52932   81178  6517644    80.3 | 84.568 % |
c |     96037 |  119302   244301 |   58225   81516  6558349    80.5 | 84.568 % |
c |     96543 |  119251   244180 |   64048   81893  6601834    80.6 | 84.629 % |
c |     97302 |  119251   244180 |   70453   82652  6683850    80.9 | 84.629 % |
c |     98443 |  119251   244180 |   77498   83793  6792426    81.1 | 84.629 % |
c |    100152 |  119248   244173 |   85248   85501  7044565    82.4 | 84.633 % |
c |    102714 |  119224   244113 |   93773   87981  7416265    84.3 | 84.664 % |
c |    106558 |  119224   244113 |  103150   91825  8083263    88.0 | 84.664 % |
c |    112324 |  119173   243998 |  113465   97535  8694659    89.1 | 84.720 % |
c |    120973 |  119173   243998 |  124812  106184 10419020    98.1 | 84.720 % |
c |    133947 |  119051   243701 |  137293  118592 12175059   102.7 | 84.868 % |
c |    153408 |  118999   243571 |  151022  137826 14991766   108.8 | 84.933 % |
c |    182602 |  118921   243384 |  166124  166833 21119827   126.6 | 85.020 % |
c |    226392 |  118907   243352 |  182737  210607 28689871   136.2 | 85.036 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 10932 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.92 2/54 10928
Raw data (stat): 10928 (runsolver) R 10927 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 782454453 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0013 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0026 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0019 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0027 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0028 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0034 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0042 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 3/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 3/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.76 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 10932
Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.76
CPU time (s): 1229.91
CPU user time (s): 1228.56
CPU system time (s): 1.34879
CPU usage (%): 100.012
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####