PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        555956 kB
Buffers:         33228 kB
Cached:         421448 kB
SwapCached:        584 kB
Active:          37220 kB
Inactive:       419740 kB
HighTotal:      131008 kB
HighFree:        51912 kB
LowTotal:       903652 kB
LowFree:        504044 kB
SwapTotal:     2097892 kB
SwapFree:      2096624 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5596 kB
Slab:            16076 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:41:42 (client local time) WITH STATUS 152 IN 1229.88 SECONDS
stats: 21921 7 1229.88 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94227 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 |   94227   188454 |   31409       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -36[0m
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169273   364509 |   56424       0        0     nan |  0.000 % |
c |       100 |  168899   363733 |   62066      65      591     9.1 |  0.407 % |
c |       250 |  168502   362906 |   68273     198     1311     6.6 |  0.828 % |
c |       475 |  167076   359832 |   75100     351     2932     8.4 |  2.494 % |
c |       812 |  165133   355593 |   82610     631     5067     8.0 |  4.688 % |
c |      1319 |  162313   349369 |   90871     972     8957     9.2 |  8.080 % |
c |      2078 |  157982   339700 |   99958    1468    15263    10.4 | 13.235 % |
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 |      2296 |  157388   338635 |   52462    1645    17452    10.6 | 13.235 % |
c |      2397 |  157059   337878 |   57708    1732    17985    10.4 | 14.608 % |
c |      2548 |  155840   335129 |   63479    1821    18984    10.4 | 16.160 % |
c |      2773 |  154165   331306 |   69826    1966    20681    10.5 | 18.177 % |
c |      3110 |  151458   325155 |   76809    2174    23582    10.8 | 21.604 % |
c |      3616 |  147626   316455 |   84490    2526    28129    11.1 | 26.258 % |
c |      4375 |  143472   307009 |   92939    3028    34893    11.5 | 31.480 % |
c |      5514 |  137035   292201 |  102233    3700    43332    11.7 | 39.456 % |
c |      7223 |  129643   274879 |  112456    4787    55808    11.7 | 48.879 % |
c |      9785 |  121178   254842 |  123702    6238    75388    12.1 | 60.010 % |
c |     13629 |  111810   232544 |  136072    8363   107856    12.9 | 72.370 % |
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 |     13714 |  111791   232457 |   37263    8438   110430    13.1 | 72.370 % |
c |     13815 |  111736   232336 |   40989    8517   111608    13.1 | 72.463 % |
c |     13965 |  111449   231624 |   45088    8613   112090    13.0 | 72.865 % |
c |     14191 |  110875   230219 |   49597    8726   114161    13.1 | 73.663 % |
c |     14528 |  110330   228918 |   54556    8862   116391    13.1 | 74.395 % |
c |     15034 |  109915   227905 |   60012    9207   123608    13.4 | 74.966 % |
c ==============================================================================
c [1mFound solution: -41[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15297 |  109425   226747 |   36475    9363   132070    14.1 | 74.966 % |
c |     15397 |  108928   225548 |   40122    9368   131994    14.1 | 76.327 % |
c |     15547 |  108861   225391 |   44134    9505   134463    14.1 | 76.414 % |
c |     15772 |  108187   223757 |   48548    9615   136618    14.2 | 77.343 % |
c |     16110 |  108184   223750 |   53403    9952   143364    14.4 | 77.347 % |
c |     16616 |  107846   222930 |   58743   10285   150811    14.7 | 77.809 % |
c |     17375 |  107492   222096 |   64617   10880   162733    15.0 | 78.273 % |
c |     18516 |  106409   219476 |   71079   11485   183931    16.0 | 79.751 % |
c |     20224 |  105563   217441 |   78187   12695   231153    18.2 | 80.890 % |
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 |     22454 |  104461   214676 |   34820   14284   295984    20.7 | 80.890 % |
c |     22554 |  104247   214159 |   38302   14343   296650    20.7 | 82.669 % |
c |     22704 |  104230   214116 |   42132   14478   302277    20.9 | 82.695 % |
c |     22929 |  104077   213747 |   46345   14609   305744    20.9 | 82.903 % |
c |     23266 |  103810   213088 |   50979   14674   310610    21.2 | 83.278 % |
c |     23772 |  103661   212727 |   56077   15056   324943    21.6 | 83.483 % |
c |     24531 |  103661   212727 |   61685   15815   342397    21.7 | 83.483 % |
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 |     24866 |  103578   212555 |   34526   15940   354982    22.3 | 83.483 % |
c |     24966 |  103452   212229 |   37978   15957   356178    22.3 | 83.832 % |
c |     25116 |  103157   211504 |   41776   15858   355829    22.4 | 84.245 % |
c |     25342 |  103098   211357 |   45954   15982   361200    22.6 | 84.328 % |
c |     25679 |  103060   211263 |   50549   16275   374557    23.0 | 84.383 % |
c |     26186 |  103044   211225 |   55604   16717   403210    24.1 | 84.404 % |
c |     26946 |  102964   211037 |   61164   17402   448444    25.8 | 84.509 % |
c |     28085 |  102796   210627 |   67281   18302   513844    28.1 | 84.741 % |
c |     29794 |  102287   209397 |   74009   19277   595883    30.9 | 85.430 % |
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 |     30805 |  102185   209122 |   34061   19877   649107    32.7 | 85.430 % |
c |     30905 |  102181   209112 |   37467   19960   650513    32.6 | 85.578 % |
c |     31055 |  102181   209112 |   41213   20110   656361    32.6 | 85.578 % |
c |     31280 |  102181   209112 |   45335   20335   662267    32.6 | 85.578 % |
c |     31617 |  102139   209012 |   49868   20565   689479    33.5 | 85.635 % |
c |     32123 |  102135   209002 |   54855   21042   708226    33.7 | 85.640 % |
c |     32883 |  102044   208779 |   60341   21692   763522    35.2 | 85.765 % |
c |     34023 |  101908   208436 |   66375   22590   857752    38.0 | 85.961 % |
c |     35731 |  101761   208078 |   73012   24035   977376    40.7 | 86.166 % |
c |     38294 |  101248   206822 |   80314   25704  1211706    47.1 | 86.880 % |
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 |     40062 |  101189   206683 |   33729   27299  1370590    50.2 | 86.880 % |
c |     40164 |  101153   206593 |   37101   27290  1368576    50.1 | 87.022 % |
c |     40314 |  101153   206593 |   40812   27440  1373157    50.0 | 87.022 % |
c |     40539 |  101153   206593 |   44893   27665  1390604    50.3 | 87.022 % |
c |     40877 |  101147   206579 |   49382   27982  1417890    50.7 | 87.029 % |
c |     41383 |  101089   206432 |   54320   28284  1476102    52.2 | 87.111 % |
c |     42142 |  101046   206333 |   59752   28842  1548069    53.7 | 87.164 % |
c |     43281 |  101030   206295 |   65728   29940  1653263    55.2 | 87.185 % |
c ==============================================================================
c [1mFound solution: -46[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     43660 |  101019   206233 |   33673   30108  1656622    55.0 | 87.185 % |
c |     43762 |  100999   206179 |   37040   30194  1661991    55.0 | 87.234 % |
c |     43912 |  100999   206179 |   40744   30344  1674049    55.2 | 87.234 % |
c |     44138 |  100999   206179 |   44818   30570  1677140    54.9 | 87.234 % |
c |     44476 |  100999   206179 |   49300   30908  1697757    54.9 | 87.234 % |
c |     44983 |  100999   206179 |   54230   31415  1748048    55.6 | 87.234 % |
c |     45742 |  100961   206093 |   59653   32036  1808118    56.4 | 87.281 % |
c |     46881 |  100961   206093 |   65619   33175  1962362    59.2 | 87.281 % |
c |     48589 |  100961   206093 |   72181   34883  2133447    61.2 | 87.281 % |
c |     51151 |  100916   205984 |   79399   37289  2446159    65.6 | 87.343 % |
c |     54995 |  100889   205925 |   87339   40682  2985421    73.4 | 87.374 % |
c |     60761 |  100889   205925 |   96072   46448  3854427    83.0 | 87.374 % |
c ==============================================================================
c [1mFound solution: -47[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     65334 |  100853   205854 |   33617   50820  4571720    90.0 | 87.374 % |
c |     65434 |  100853   205854 |   36978   50920  4575895    89.9 | 87.450 % |
c |     65584 |  100853   205854 |   40676   51070  4590180    89.9 | 87.450 % |
c |     65809 |  100853   205854 |   44744   51295  4602588    89.7 | 87.450 % |
c |     66148 |  100853   205854 |   49218   51634  4624017    89.6 | 87.450 % |
c |     66654 |  100853   205854 |   54140   52140  4670967    89.6 | 87.450 % |
c |     67414 |  100814   205757 |   59554   52773  4715984    89.4 | 87.506 % |
c |     68553 |  100814   205757 |   65510   53912  4839522    89.8 | 87.506 % |
c |     70261 |  100814   205757 |   72061   55620  5031215    90.5 | 87.506 % |
c |     72824 |  100814   205757 |   79267   58183  5325863    91.5 | 87.506 % |
c |     76668 |  100814   205757 |   87193   62027  5737838    92.5 | 87.506 % |
c |     82434 |  100720   205535 |   95913   67266  6413842    95.4 | 87.630 % |
c |     91084 |  100718   205529 |  105504   75912  7268264    95.7 | 87.634 % |
c ==============================================================================
c [1mFound solution: -48[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     94590 |  100693   205448 |   33564   79088  7509816    95.0 | 87.634 % |
c |     94690 |  100693   205448 |   36920   19014  1203514    63.3 | 87.669 % |
c |     94840 |  100693   205448 |   40612   19164  1215224    63.4 | 87.669 % |
c |     95066 |  100610   205251 |   44673   19386  1226784    63.3 | 87.776 % |
c |     95404 |  100605   205238 |   49141   19716  1247119    63.3 | 87.784 % |
c |     95910 |  100605   205238 |   54055   20222  1293892    64.0 | 87.784 % |
c |     96671 |  100605   205238 |   59460   20983  1362659    64.9 | 87.784 % |
c |     97810 |  100602   205231 |   65406   22119  1452373    65.7 | 87.788 % |
c |     99519 |  100602   205231 |   71947   23828  1570680    65.9 | 87.788 % |
c |    102082 |  100602   205231 |   79142   26391  1796590    68.1 | 87.788 % |
c |    105926 |  100524   205033 |   87056   30221  2254790    74.6 | 87.904 % |
c |    111693 |  100513   205008 |   95762   35977  2865103    79.6 | 87.917 % |
c |    120342 |  100496   204969 |  105338   44621  3803842    85.2 | 87.939 % |
c |    133316 |  100496   204969 |  115872   57595  5193648    90.2 | 87.939 % |
c |    152777 |  100477   204922 |  127459   77043  7291374    94.6 | 87.966 % |
c |    181969 |  100467   204900 |  140205  106227 10898164   102.6 | 87.978 % |
c |    225758 |  100436   204820 |  154225  149983 15472459   103.2 | 88.024 % |
c |    291443 |  100430   204806 |  169648   36460  2449536    67.2 | 88.032 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 17604 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 17600
Raw data (stat): 17600 (runsolver) R 17599 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840651814 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99981 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+39.9997 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+49.9998 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+59.9999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+69.9996 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+89.9995 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.001 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.001 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.001 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.001 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+259.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+269.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+279.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+289.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+299.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+309.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+319.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+329.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+339.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+349.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+359.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+369.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+379.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+389.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+399.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+409.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+419.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+429.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+439.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+449.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+459.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+469.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+479.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+489.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+499.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+509.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+519.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+529.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+539.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+549.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+559.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+569.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+579.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+589.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+599.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+609.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+619.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+629.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+639.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+649.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+659.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+669.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+679.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+689.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+699.996 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+709.996 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+719.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+729.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+739.996 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+749.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+759.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+769.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+779.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+789.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+799.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+809.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+819.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+829.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+839.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+849.995 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+859.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+869.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+879.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+889.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+899.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+909.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+919.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+929.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+939.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+949.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+959.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+969.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+979.999 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+989.998 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+999.997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1109.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1119.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1139.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1149.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1159.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1169.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1179.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1189.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1199.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1209.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1219.99 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.73 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 17604
Raw data (stat): 17600 (minisat+_script) S 17599 1586 1585 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840651814 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

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