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-2.opb
MD5SUM	45b026c6b351128e9764d865ca917a59
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
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.11
Number of variables	1272
Total number of constraints	94289
Number of constraints which are clauses	94289
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 31694

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        795280 kB
Buffers:         33080 kB
Cached:         186000 kB
SwapCached:        900 kB
Active:          62004 kB
Inactive:       159256 kB
HighTotal:      131008 kB
HighFree:          644 kB
LowTotal:       903652 kB
LowFree:        794636 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            12424 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-27 05:59:26 (client local time) WITH STATUS 152 IN 1229.89 SECONDS
stats: 23094 7 1229.89 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94289 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 |   94289   188578 |   31429       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -38[0m
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169363   364695 |   56454       0        0     nan |  0.000 % |
c |       100 |  168931   363803 |   62099      75      961    12.8 |  0.464 % |
c |       251 |  168226   362304 |   68309     195     2080    10.7 |  1.241 % |
c |       477 |  166908   359478 |   75140     361     4481    12.4 |  2.716 % |
c |       814 |  165085   355491 |   82654     634     6941    10.9 |  4.833 % |
c |      1320 |  161650   347896 |   90919    1002    11746    11.7 |  8.903 % |
c |      2079 |  157439   338515 |  100011    1501    17642    11.8 | 13.952 % |
c |      3218 |  149574   320611 |  110012    2257    27487    12.2 | 23.762 % |
c |      4926 |  140077   298909 |  121014    3343    40938    12.2 | 35.604 % |
c |      7488 |  129263   273622 |  133115    4970    57038    11.5 | 49.390 % |
c |     11332 |  118074   247204 |  146427    7283    85078    11.7 | 64.089 % |
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 |     14173 |  112053   232947 |   37351    8812   110869    12.6 | 64.089 % |
c |     14273 |  111956   232718 |   41086    8872   112201    12.6 | 72.341 % |
c |     14423 |  111733   232187 |   45194    9002   114113    12.7 | 72.561 % |
c |     14649 |  111451   231507 |   49714    9151   118315    12.9 | 72.945 % |
c |     14986 |  111001   230402 |   54685    9390   121727    13.0 | 73.568 % |
c |     15492 |  110268   228664 |   60154    9746   131154    13.5 | 74.539 % |
c |     16252 |  109470   226728 |   66169   10246   139678    13.6 | 75.632 % |
c |     17391 |  108305   223901 |   72786   11038   156782    14.2 | 77.225 % |
c |     19099 |  106843   220411 |   80065   12116   192204    15.9 | 79.176 % |
c |     21662 |  105578   217316 |   88071   13811   254342    18.4 | 80.914 % |
c |     25506 |  104256   214065 |   96878   16859   438700    26.0 | 82.765 % |
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 |     29128 |  104139   213840 |   34713   20366   654650    32.1 | 82.765 % |
c |     29229 |  104025   213562 |   38184   20446   657035    32.1 | 83.099 % |
c |     29380 |  103872   213177 |   42002   20466   657976    32.1 | 83.323 % |
c |     29605 |  103872   213177 |   46203   20691   675471    32.6 | 83.323 % |
c |     29942 |  103872   213177 |   50823   21028   685274    32.6 | 83.323 % |
c |     30448 |  103722   212801 |   55905   21442   702839    32.8 | 83.539 % |
c |     31207 |  103261   211676 |   61496   21792   727090    33.4 | 84.177 % |
c |     32346 |  103261   211676 |   67645   22931   784028    34.2 | 84.177 % |
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 |     33412 |  103252   211633 |   34417   23944   928774    38.8 | 84.177 % |
c |     33512 |  103242   211609 |   37858   24024   929884    38.7 | 84.207 % |
c |     33663 |  103242   211609 |   41644   24175   937156    38.8 | 84.207 % |
c |     33888 |  103242   211609 |   45809   24400   945982    38.8 | 84.207 % |
c |     34225 |  103106   211272 |   50389   24656   961580    39.0 | 84.396 % |
c |     34731 |  103096   211246 |   55428   25109   984488    39.2 | 84.412 % |
c |     35491 |  103053   211129 |   60971   25751  1012426    39.3 | 84.478 % |
c |     36631 |  102901   210759 |   67068   26726  1066796    39.9 | 84.686 % |
c |     38339 |  102881   210709 |   73775   28397  1192012    42.0 | 84.715 % |
c |     40901 |  102881   210709 |   81153   30959  1469684    47.5 | 84.715 % |
c |     44746 |  102871   210685 |   89268   34788  1844984    53.0 | 84.729 % |
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 |     49083 |  102808   210537 |   34269   39065  2552883    65.3 | 84.729 % |
c |     49183 |  102715   210319 |   37695   39094  2554059    65.3 | 84.952 % |
c |     49333 |  102715   210319 |   41465   39244  2564935    65.4 | 84.952 % |
c |     49559 |  102638   210132 |   45612   39228  2570691    65.5 | 85.059 % |
c |     49896 |  102638   210132 |   50173   39565  2591937    65.5 | 85.059 % |
c |     50403 |  102638   210132 |   55190   40072  2655788    66.3 | 85.059 % |
c |     51162 |  102638   210132 |   60709   40831  2713978    66.5 | 85.059 % |
c |     52301 |  102627   210103 |   66780   41795  2803087    67.1 | 85.076 % |
c |     54009 |  102492   209776 |   73458   43288  3004323    69.4 | 85.263 % |
c |     56573 |  102482   209754 |   80804   45807  3307196    72.2 | 85.275 % |
c |     60417 |  102434   209638 |   88884   49598  3816497    76.9 | 85.341 % |
c |     66183 |  102321   209365 |   97773   54712  4533488    82.9 | 85.496 % |
c |     74832 |  102098   208818 |  107550   62430  5539945    88.7 | 85.806 % |
c |     87807 |  101884   208284 |  118305   75224  8117231   107.9 | 86.117 % |
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 |     89873 |  101873   208219 |   33957   77213  8366826   108.4 | 86.117 % |
c |     89973 |  101813   208079 |   37352   77250  8370963   108.4 | 86.209 % |
c |     90123 |  101813   208079 |   41087   77400  8384920   108.3 | 86.209 % |
c |     90348 |  101813   208079 |   45196   77625  8402830   108.2 | 86.209 % |
c |     90685 |  101813   208079 |   49716   77962  8425118   108.1 | 86.209 % |
c |     91191 |  101808   208066 |   54688   78418  8477500   108.1 | 86.217 % |
c |     91950 |  101769   207969 |   60156   79147  8535292   107.8 | 86.273 % |
c |     93089 |  101732   207878 |   66172   79954  8650341   108.2 | 86.324 % |
c |     94797 |  101691   207781 |   72789   81587  8836109   108.3 | 86.378 % |
c |     97360 |  101678   207750 |   80068   84139  9093070   108.1 | 86.396 % |
c |    101204 |  101587   207532 |   88075   87350  9467343   108.4 | 86.516 % |
c |    106970 |  101584   207525 |   96883   93115 10262644   110.2 | 86.520 % |
c |    115619 |  101584   207525 |  106571  101764 11400274   112.0 | 86.520 % |
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 |    128246 |  101576   207519 |   33858  113993 13276183   116.5 | 86.520 % |
c |    128346 |  101576   207519 |   37243   20346  1966312    96.6 | 86.569 % |
c |    128496 |  101576   207519 |   40968   20496  1972565    96.2 | 86.569 % |
c |    128722 |  101576   207519 |   45064   20722  1990233    96.0 | 86.569 % |
c |    129059 |  101576   207519 |   49571   21059  2010034    95.4 | 86.569 % |
c |    129565 |  101573   207512 |   54528   21564  2043549    94.8 | 86.573 % |
c |    130325 |  101573   207512 |   59981   22324  2119304    94.9 | 86.573 % |
c |    131466 |  101573   207512 |   65979   23465  2227953    94.9 | 86.573 % |
c |    133174 |  101566   207497 |   72577   25171  2440505    97.0 | 86.580 % |
c |    135736 |  101564   207493 |   79835   27732  2748292    99.1 | 86.582 % |
c |    139581 |  101564   207493 |   87818   31577  3280586   103.9 | 86.582 % |
c |    145347 |  101564   207493 |   96600   37343  4140110   110.9 | 86.582 % |
c |    153996 |  101564   207493 |  106260   45992  5223572   113.6 | 86.582 % |
c |    166970 |  101517   207383 |  116886   58757  6847744   116.5 | 86.641 % |
c |    186431 |  101502   207348 |  128575   78195  9333628   119.4 | 86.660 % |
c |    215624 |  101465   207263 |  141433  107203 13487587   125.8 | 86.705 % |
c |    259413 |  101459   207249 |  155576  150988 19357146   128.2 | 86.712 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 18123 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.93 0.97 0.91 2/54 18119
Raw data (stat): 18119 (runsolver) R 18118 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 795480093 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 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+10.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+20.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+50.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+70.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0045 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+90.0054 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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+1220.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.75 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18123
Raw data (stat): 18119 (minisat+_script) S 18118 25830 25829 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795480093 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.75
CPU time (s): 1229.89
CPU user time (s): 1228.81
CPU system time (s): 1.08483
CPU usage (%): 100.012
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####