PB'05 competition: run trace

Some explanations

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        336456 kB
Buffers:         35208 kB
Cached:         641736 kB
SwapCached:        608 kB
Active:          82928 kB
Inactive:       596620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        336204 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12920 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 17:43:47 (client local time) WITH STATUS 152 IN 1229.9 SECONDS
stats: 21927 7 1229.9 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109401 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 |  109401   218802 |   36467       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193094   415099 |   64364       0        0     nan |  0.000 % |
c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
c |     11332 |  144436   304457 |  166943    8039    94187    11.7 | 53.917 % |
c ==============================================================================
c [1mFound solution: -41[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     16748 |  134807   281657 |   44935   11523   152767    13.3 | 53.917 % |
c |     16848 |  134472   280875 |   49428   11599   153817    13.3 | 65.787 % |
c |     16998 |  134230   280308 |   54371   11738   156796    13.4 | 66.068 % |
c |     17223 |  133770   279211 |   59808   11876   159392    13.4 | 66.599 % |
c |     17560 |  133293   278066 |   65789   12117   163106    13.5 | 67.168 % |
c |     18067 |  132451   276026 |   72368   12355   166879    13.5 | 68.197 % |
c |     18826 |  132034   275016 |   79605   12963   188616    14.6 | 68.700 % |
c |     19965 |  130866   272248 |   87565   13720   203418    14.8 | 70.076 % |
c |     21673 |  129525   269009 |   96322   15069   249486    16.6 | 71.703 % |
c |     24236 |  126370   261437 |  105954   16906   301322    17.8 | 75.533 % |
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 |     27120 |  124797   257602 |   41599   19327   366556    19.0 | 75.533 % |
c |     27221 |  124609   257169 |   45758   19390   367451    19.0 | 77.656 % |
c |     27372 |  124609   257169 |   50334   19541   373598    19.1 | 77.656 % |
c |     27597 |  124480   256852 |   55368   19696   382342    19.4 | 77.819 % |
c |     27934 |  124352   256539 |   60905   19950   393222    19.7 | 77.981 % |
c |     28442 |  124246   256284 |   66995   20427   408671    20.0 | 78.109 % |
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 |     28536 |  124314   256509 |   41438   20521   411801    20.1 | 78.109 % |
c |     28636 |  124278   256419 |   45581   20615   413150    20.0 | 78.122 % |
c |     28787 |  124212   256258 |   50139   20594   416116    20.2 | 78.206 % |
c |     29012 |  124155   256115 |   55153   20774   422744    20.3 | 78.281 % |
c |     29349 |  123998   255722 |   60669   21061   432926    20.6 | 78.481 % |
c |     29855 |  123924   255541 |   66736   21542   455907    21.2 | 78.574 % |
c |     30614 |  123477   254457 |   73409   22107   479117    21.7 | 79.122 % |
c |     31753 |  123112   253584 |   80750   23117   523958    22.7 | 79.563 % |
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 |     32704 |  122868   252983 |   40956   23796   542190    22.8 | 79.563 % |
c |     32804 |  122868   252983 |   45051   23896   544156    22.8 | 79.858 % |
c |     32954 |  122865   252976 |   49556   24045   548175    22.8 | 79.862 % |
c |     33180 |  122748   252701 |   54512   24233   556503    23.0 | 79.998 % |
c |     33518 |  122695   252573 |   59963   24544   575429    23.4 | 80.063 % |
c |     34025 |  122496   252082 |   65960   24965   615467    24.7 | 80.303 % |
c |     34784 |  122447   251963 |   72556   25704   643849    25.0 | 80.363 % |
c |     35923 |  122348   251715 |   79811   26752   724264    27.1 | 80.490 % |
c |     37631 |  122084   251065 |   87792   28017   788957    28.2 | 80.823 % |
c |     40193 |  121936   250714 |   96572   30493  1096807    36.0 | 80.996 % |
c |     44037 |  121613   249937 |  106229   33966  1333260    39.3 | 81.387 % |
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 |     44649 |  121598   249931 |   40532   34330  1361086    39.6 | 81.387 % |
c |     44750 |  121598   249931 |   44585   34431  1363689    39.6 | 81.415 % |
c |     44901 |  121496   249687 |   49043   34550  1367121    39.6 | 81.537 % |
c |     45126 |  121026   248536 |   53948   34437  1367468    39.7 | 82.124 % |
c |     45463 |  121001   248473 |   59342   34739  1383805    39.8 | 82.157 % |
c |     45970 |  120940   248317 |   65277   35124  1405818    40.0 | 82.236 % |
c |     46730 |  120930   248293 |   71804   35808  1432323    40.0 | 82.248 % |
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 |     47417 |  120940   248346 |   40313   36448  1451377    39.8 | 82.248 % |
c |     47517 |  120934   248332 |   44344   36543  1455647    39.8 | 82.292 % |
c |     47667 |  120876   248204 |   48778   36594  1456457    39.8 | 82.353 % |
c |     47894 |  120869   248187 |   53656   36738  1463986    39.8 | 82.362 % |
c |     48231 |  120869   248187 |   59022   37075  1473745    39.8 | 82.362 % |
c |     48738 |  120659   247667 |   64924   37412  1495976    40.0 | 82.628 % |
c |     49497 |  120597   247517 |   71416   37982  1561617    41.1 | 82.703 % |
c |     50636 |  120480   247240 |   78558   38839  1642896    42.3 | 82.842 % |
c |     52344 |  120473   247225 |   86414   40501  1739485    42.9 | 82.849 % |
c |     54906 |  120255   246700 |   95055   42829  1975102    46.1 | 83.118 % |
c ==============================================================================
c [1mFound solution: -48[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     57045 |  120216   246582 |   40072   44648  2278364    51.0 | 83.118 % |
c |     57145 |  120216   246582 |   44079   44748  2281325    51.0 | 83.168 % |
c |     57297 |  120216   246582 |   48487   44900  2288955    51.0 | 83.168 % |
c |     57523 |  120130   246364 |   53335   44971  2304412    51.2 | 83.280 % |
c |     57860 |  120109   246315 |   58669   45276  2317982    51.2 | 83.304 % |
c |     58367 |  120058   246202 |   64536   45762  2356290    51.5 | 83.358 % |
c |     59126 |  120058   246202 |   70989   46521  2419971    52.0 | 83.358 % |
c |     60265 |  120058   246202 |   78088   47660  2507609    52.6 | 83.358 % |
c |     61973 |  120001   246053 |   85897   49258  2633802    53.5 | 83.437 % |
c |     64535 |  119961   245951 |   94487   51758  2848264    55.0 | 83.491 % |
c |     68379 |  119845   245672 |  103936   55463  3195026    57.6 | 83.630 % |
c |     74146 |  119845   245672 |  114330   61230  4034130    65.9 | 83.630 % |
c |     82795 |  119662   245221 |  125763   69629  4758092    68.3 | 83.864 % |
c |     95770 |  119456   244722 |  138339   82302  6937965    84.3 | 84.119 % |
c |    115231 |  119197   244098 |  152173  101081  9562562    94.6 | 84.432 % |
c ==============================================================================
c [1mFound solution: -49[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    128578 |  119061   243777 |   39687  114237 11744294   102.8 | 84.432 % |
c |    128679 |  119050   243750 |   43655   23872  2191084    91.8 | 84.625 % |
c |    128830 |  119050   243750 |   48021   24023  2198095    91.5 | 84.625 % |
c |    129057 |  119041   243727 |   52823   24247  2206430    91.0 | 84.638 % |
c |    129395 |  119041   243727 |   58105   24585  2234797    90.9 | 84.638 % |
c |    129901 |  119041   243727 |   63916   25091  2270090    90.5 | 84.638 % |
c |    130660 |  119041   243727 |   70307   25850  2324765    89.9 | 84.638 % |
c |    131800 |  119036   243714 |   77338   26967  2390314    88.6 | 84.645 % |
c |    133508 |  119024   243684 |   85072   28662  2521904    88.0 | 84.660 % |
c |    136070 |  118994   243606 |   93579   31211  2742209    87.9 | 84.702 % |
c |    139914 |  118994   243606 |  102937   35055  3395400    96.9 | 84.702 % |
c |    145680 |  118852   243246 |  113231   40787  4097071   100.5 | 84.885 % |
c |    154329 |  118811   243143 |  124554   49099  5460303   111.2 | 84.938 % |
c |    167303 |  118690   242854 |  137010   61891  7674838   124.0 | 85.081 % |
c |    186764 |  118443   242262 |  150711   81251 12728039   156.7 | 85.381 % |
c |    215956 |  118381   242110 |  165782  110427 18354731   166.2 | 85.459 % |
c |    259746 |  118130   241494 |  182360  153926 26304046   170.9 | 85.777 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 15221 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.96 2/54 15217
Raw data (stat): 15217 (runsolver) R 15216 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 782434961 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99962 s]
Raw data (loadavg): 0.93 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+460.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+590.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+650.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+660.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+670.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+680.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+690.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+700.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+710.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+730 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+740 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+750 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+760 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+770 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+779.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+789.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+799.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+809.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+819.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+829.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+839.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+849.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+859.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+869.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+879.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+889.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+900 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+909.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+939.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+949.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+959.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+969.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+979.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+989.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+999.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.77 s]
Raw data (loadavg): 0.99 0.98 0.96 1/53 15221
Raw data (stat): 15217 (minisat+_script) S 15216 1269 1268 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782434961 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.77
CPU time (s): 1229.9
CPU user time (s): 1228.72
CPU system time (s): 1.18382
CPU usage (%): 100.011
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####