PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
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 30515

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        622088 kB
Buffers:         34556 kB
Cached:         355940 kB
SwapCached:        640 kB
Active:          91456 kB
Inactive:       301560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        621836 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13780 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 17:38:57 (client local time) WITH STATUS 152 IN 1229.88 SECONDS
stats: 21916 7 1229.88 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 80072 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 |   80072   160144 |   26690       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:63046     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  147988   319466 |   49329       0        0     nan |  0.000 % |
c |       100 |  147362   318162 |   54261      77      551     7.2 |  0.736 % |
c |       250 |  146841   317054 |   59688     209     2448    11.7 |  1.369 % |
c |       475 |  145811   314812 |   65656     398     4382    11.0 |  2.680 % |
c |       812 |  144010   310871 |   72222     677     8303    12.3 |  4.995 % |
c |      1318 |  141157   304558 |   79444    1060    12573    11.9 |  8.737 % |
c |      2077 |  136776   294746 |   87389    1627    19630    12.1 | 14.610 % |
c |      3216 |  131215   282210 |   96128    2497    29631    11.9 | 22.142 % |
c |      4924 |  123727   265107 |  105741    3779    49504    13.1 | 32.476 % |
c ==============================================================================
c [1mFound solution: -39[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6427 |  116683   248991 |   38894    4766    61496    12.9 | 32.476 % |
c |      6527 |  116204   247870 |   42783    4831    62291    12.9 | 43.100 % |
c |      6677 |  115663   246594 |   47061    4934    63665    12.9 | 43.849 % |
c |      6902 |  114831   244655 |   51767    5110    65775    12.9 | 44.973 % |
c |      7239 |  113564   241690 |   56944    5351    69474    13.0 | 46.827 % |
c |      7746 |  111539   236942 |   62639    5688    74185    13.0 | 49.645 % |
c |      8505 |  108258   229196 |   68903    6014    79861    13.3 | 54.380 % |
c |      9645 |  106402   224792 |   75793    6813    92319    13.6 | 57.095 % |
c |     11355 |  103049   216804 |   83372    7947   113001    14.2 | 62.021 % |
c |     13917 |   98383   205681 |   91710    9480   147925    15.6 | 68.784 % |
c |     17761 |   94811   197102 |  100881   12081   211420    17.5 | 74.113 % |
c |     23527 |   91940   190193 |  110969   16325   396509    24.3 | 78.405 % |
c ==============================================================================
c [1mFound solution: -40[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     26517 |   91505   189103 |   30501   18993   511336    26.9 | 78.405 % |
c |     26617 |   91453   188977 |   33551   19046   513223    26.9 | 79.155 % |
c |     26767 |   91403   188856 |   36906   19147   514654    26.9 | 79.230 % |
c |     26993 |   91347   188722 |   40596   19332   517806    26.8 | 79.308 % |
c |     27330 |   91347   188722 |   44656   19669   531077    27.0 | 79.308 % |
c |     27836 |   91347   188722 |   49122   20175   549790    27.3 | 79.308 % |
c |     28595 |   91336   188697 |   54034   20920   586573    28.0 | 79.323 % |
c |     29734 |   91040   187971 |   59437   21902   671987    30.7 | 79.772 % |
c |     31442 |   91021   187926 |   65381   23576   759400    32.2 | 79.800 % |
c |     34004 |   90924   187692 |   71919   26012   920916    35.4 | 79.947 % |
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 |     37368 |   90426   186513 |   30142   28875  1073664    37.2 | 79.947 % |
c |     37468 |   90272   186133 |   33156   28788  1071210    37.2 | 80.912 % |
c |     37618 |   90272   186133 |   36471   28938  1078094    37.3 | 80.912 % |
c |     37845 |   90055   185604 |   40119   28990  1084507    37.4 | 81.229 % |
c |     38182 |   89765   184919 |   44130   29091  1093267    37.6 | 81.654 % |
c |     38690 |   89677   184699 |   48543   29419  1114490    37.9 | 81.794 % |
c |     39449 |   89637   184597 |   53398   30143  1175417    39.0 | 81.859 % |
c |     40590 |   89554   184394 |   58738   31209  1251534    40.1 | 81.988 % |
c |     42298 |   89419   184073 |   64612   32883  1358367    41.3 | 82.189 % |
c |     44861 |   89408   184048 |   71073   35430  1659938    46.9 | 82.204 % |
c |     48706 |   89194   183528 |   78180   38940  1937517    49.8 | 82.527 % |
c |     54473 |   89111   183331 |   85998   44007  2548488    57.9 | 82.650 % |
c |     63122 |   88944   182914 |   94598   52476  3364323    64.1 | 82.920 % |
c |     76097 |   88814   182580 |  104058   65300  4943713    75.7 | 83.140 % |
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 |     77862 |   88826   182643 |   29608   67005  5167051    77.1 | 83.140 % |
c |     77964 |   88784   182545 |   32568   67090  5171321    77.1 | 83.214 % |
c |     78114 |   88784   182545 |   35825   67240  5180522    77.0 | 83.214 % |
c |     78339 |   88743   182450 |   39408   67391  5196716    77.1 | 83.270 % |
c |     78678 |   88708   182365 |   43349   67686  5220332    77.1 | 83.324 % |
c |     79184 |   88704   182355 |   47683   68174  5263297    77.2 | 83.330 % |
c |     79943 |   88664   182255 |   52452   68714  5301058    77.1 | 83.395 % |
c |     81082 |   88585   182068 |   57697   69580  5394262    77.5 | 83.511 % |
c |     82790 |   88519   181910 |   63467   71223  5554743    78.0 | 83.610 % |
c |     85352 |   88517   181906 |   69814   73749  5848295    79.3 | 83.612 % |
c |     89198 |   88366   181535 |   76795   77183  6388766    82.8 | 83.847 % |
c |     94964 |   88258   181285 |   84475   82844  7485378    90.4 | 83.993 % |
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 |     98263 |   88158   181016 |   29386   85817  7763842    90.5 | 83.993 % |
c |     98364 |   88158   181016 |   32324   22455  2013545    89.7 | 84.158 % |
c |     98514 |   88158   181016 |   35557   22605  2027056    89.7 | 84.158 % |
c |     98740 |   88158   181016 |   39112   22831  2038443    89.3 | 84.158 % |
c |     99077 |   88158   181016 |   43024   23168  2078602    89.7 | 84.158 % |
c |     99583 |   88158   181016 |   47326   23674  2126008    89.8 | 84.158 % |
c |    100342 |   88158   181016 |   52059   24433  2186274    89.5 | 84.158 % |
c |    101484 |   88150   180996 |   57265   25550  2295749    89.9 | 84.170 % |
c |    103195 |   88096   180868 |   62991   27218  2436552    89.5 | 84.250 % |
c |    105757 |   88096   180868 |   69290   29780  2702781    90.8 | 84.250 % |
c |    109601 |   88046   180746 |   76219   33602  3048134    90.7 | 84.328 % |
c |    115367 |   88046   180746 |   83841   39368  3668323    93.2 | 84.328 % |
c |    124016 |   88046   180746 |   92225   48017  4913028   102.3 | 84.328 % |
c |    136990 |   87949   180511 |  101448   60968  6988775   114.6 | 84.476 % |
c |    156451 |   87902   180392 |  111593   80363  9395711   116.9 | 84.553 % |
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 |    166657 |   87834   180240 |   29278   90507 10717436   118.4 | 84.553 % |
c |    166757 |   87834   180240 |   32205   23788  1691897    71.1 | 84.668 % |
c |    166907 |   87789   180133 |   35426   23933  1702187    71.1 | 84.735 % |
c |    167132 |   87789   180133 |   38969   24158  1720163    71.2 | 84.735 % |
c |    167470 |   87789   180133 |   42865   24496  1758488    71.8 | 84.735 % |
c |    167976 |   87628   179729 |   47152   24984  1795588    71.9 | 84.980 % |
c |    168736 |   87561   179560 |   51867   25707  1847965    71.9 | 85.083 % |
c |    169875 |   87561   179560 |   57054   26846  1997820    74.4 | 85.083 % |
c |    171583 |   87555   179546 |   62759   28551  2143274    75.1 | 85.092 % |
c |    174145 |   87543   179518 |   69035   31109  2357991    75.8 | 85.109 % |
c |    177989 |   87543   179518 |   75939   34953  2874390    82.2 | 85.109 % |
c |    183757 |   87535   179500 |   83533   40698  3596006    88.4 | 85.120 % |
c |    192406 |   87535   179500 |   91886   49347  4807829    97.4 | 85.120 % |
c |    205380 |   87464   179337 |  101075   62280  6436341   103.3 | 85.217 % |
c |    224841 |   87464   179337 |  111183   81741  9073077   111.0 | 85.217 % |
c |    254033 |   87464   179337 |  122301  110933 13542456   122.1 | 85.217 % |
c |    297822 |   87384   179141 |  134531  154625 20442372   132.2 | 85.339 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 18125 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 18121
Raw data (stat): 18121 (runsolver) R 18120 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840622978 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.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0022 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.012 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630.014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 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): 1.00 1.00 1.00 2/55 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.71 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 18125
Raw data (stat): 18121 (minisat+_script) S 18120 5562 5561 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840622978 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

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