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/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
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 30513

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        609616 kB
Buffers:         34844 kB
Cached:         369496 kB
SwapCached:        600 kB
Active:          77316 kB
Inactive:       329492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        609364 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12516 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 17:38:26 (client local time) WITH STATUS 152 IN 1229.87 SECONDS
stats: 21915 7 1229.87 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 58579 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 |   58579   117158 |   19526       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -33[0m
c ---[   0]---> Sorter-cost:44290     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  104196   224283 |   34732       0        0     nan |  0.000 % |
c |       100 |  103520   222871 |   38205      71      845    11.9 |  1.183 % |
c |       250 |  102504   220679 |   42025     183     4767    26.0 |  3.068 % |
c |       475 |  101590   218699 |   46228     350     8146    23.3 |  4.776 % |
c |       813 |  100165   215558 |   50851     632    11243    17.8 |  7.527 % |
c |      1320 |   98462   211789 |   55936    1027    17710    17.2 | 10.838 % |
c |      2079 |   95481   205142 |   61529    1566    24481    15.6 | 16.713 % |
c |      3218 |   90546   193957 |   67682    2295    35299    15.4 | 26.714 % |
c |      4926 |   84660   180407 |   74451    3424    47764    13.9 | 38.683 % |
c |      7488 |   77958   164680 |   81896    5317    75539    14.2 | 52.819 % |
c |     11332 |   72480   151676 |   90085    7993   127336    15.9 | 64.644 % |
c ==============================================================================
c [1mFound solution: -34[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     11631 |   72262   151156 |   24087    8188   132126    16.1 | 64.644 % |
c |     11731 |   71790   150037 |   26495    8190   132316    16.2 | 66.159 % |
c |     11881 |   71669   149766 |   29145    8301   134293    16.2 | 66.400 % |
c |     12106 |   71556   149491 |   32059    8486   137274    16.2 | 66.650 % |
c |     12444 |   71318   148917 |   35265    8727   141189    16.2 | 67.179 % |
c |     12950 |   71120   148440 |   38792    9155   154159    16.8 | 67.618 % |
c |     13709 |   70835   147758 |   42671    9738   167491    17.2 | 68.239 % |
c |     14848 |   70356   146641 |   46938   10734   199805    18.6 | 69.236 % |
c |     16556 |   69392   144296 |   51632   12131   261545    21.6 | 71.384 % |
c ==============================================================================
c [1mFound solution: -35[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     18254 |   68786   142907 |   22928   13556   396919    29.3 | 71.384 % |
c |     18354 |   68786   142907 |   25220   13656   397935    29.1 | 72.836 % |
c |     18505 |   68746   142819 |   27742   13744   400828    29.2 | 72.913 % |
c |     18730 |   68746   142819 |   30517   13969   414502    29.7 | 72.913 % |
c |     19067 |   68440   142073 |   33568   14192   420207    29.6 | 73.606 % |
c ==============================================================================
c [1mFound solution: -36[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19471 |   68221   141542 |   22740   14460   433715    30.0 | 73.606 % |
c |     19571 |   68218   141535 |   25014   14558   436494    30.0 | 74.099 % |
c |     19721 |   68215   141528 |   27515   14705   441753    30.0 | 74.106 % |
c |     19946 |   68209   141514 |   30266   14866   447573    30.1 | 74.119 % |
c |     20284 |   68096   141240 |   33293   15135   454576    30.0 | 74.374 % |
c |     20790 |   67967   140930 |   36622   15584   471882    30.3 | 74.655 % |
c |     21550 |   67737   140372 |   40285   16262   499377    30.7 | 75.169 % |
c |     22689 |   67420   139604 |   44313   17090   536134    31.4 | 75.875 % |
c |     24397 |   67334   139396 |   48745   18762   638169    34.0 | 76.070 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     25824 |   66748   138007 |   22249   19773   713991    36.1 | 76.070 % |
c |     25926 |   66748   138007 |   24473   19875   721526    36.3 | 77.398 % |
c |     26076 |   66701   137889 |   26921   19988   725709    36.3 | 77.500 % |
c |     26304 |   66691   137865 |   29613   20188   742795    36.8 | 77.522 % |
c |     26641 |   66684   137848 |   32574   20505   764659    37.3 | 77.538 % |
c |     27147 |   66610   137670 |   35832   20966   795602    37.9 | 77.701 % |
c |     27906 |   66557   137538 |   39415   21695   840079    38.7 | 77.822 % |
c |     29045 |   66377   137118 |   43357   22659   906159    40.0 | 78.202 % |
c |     30753 |   66179   136641 |   47692   24049   979559    40.7 | 78.626 % |
c |     33315 |   66156   136582 |   52461   26592  1256078    47.2 | 78.684 % |
c |     37159 |   66080   136394 |   57708   30405  1639687    53.9 | 78.862 % |
c |     42926 |   65943   136061 |   63478   36065  2387802    66.2 | 79.169 % |
c ==============================================================================
c [1mFound solution: -38[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     49021 |   65679   135390 |   21893   41853  3046899    72.8 | 79.169 % |
c |     49121 |   65630   135269 |   24082   41903  3047090    72.7 | 79.865 % |
c |     49274 |   65630   135269 |   26490   42056  3057594    72.7 | 79.865 % |
c |     49499 |   65629   135266 |   29139   42276  3063604    72.5 | 79.869 % |
c |     49837 |   65629   135266 |   32053   42614  3083440    72.4 | 79.869 % |
c |     50343 |   65606   135209 |   35258   43116  3115471    72.3 | 79.920 % |
c |     51103 |   65606   135209 |   38784   43876  3179341    72.5 | 79.920 % |
c |     52243 |   65603   135202 |   42663   45015  3258321    72.4 | 79.926 % |
c |     53951 |   65539   135048 |   46929   46676  3413313    73.1 | 80.070 % |
c |     56513 |   65539   135048 |   51622   49238  3666917    74.5 | 80.070 % |
c |     60357 |   65472   134879 |   56784   52868  4089603    77.4 | 80.232 % |
c |     66123 |   65472   134879 |   62463   58634  4702227    80.2 | 80.232 % |
c ==============================================================================
c [1mFound solution: -39[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     74242 |   65424   134793 |   21808   66575  5682677    85.4 | 80.232 % |
c |     74342 |   65424   134793 |   23988   20814  1496451    71.9 | 80.407 % |
c |     74492 |   65424   134793 |   26387   20964  1504397    71.8 | 80.407 % |
c |     74717 |   65424   134793 |   29026   21189  1515936    71.5 | 80.407 % |
c |     75054 |   65424   134793 |   31929   21526  1554455    72.2 | 80.407 % |
c |     75560 |   65424   134793 |   35122   22032  1597367    72.5 | 80.407 % |
c |     76319 |   65401   134738 |   38634   22787  1659051    72.8 | 80.458 % |
c |     77458 |   65316   134534 |   42497   23897  1771616    74.1 | 80.645 % |
c |     79166 |   65306   134512 |   46747   25597  1907763    74.5 | 80.664 % |
c |     81728 |   65202   134254 |   51422   28146  2157205    76.6 | 80.903 % |
c |     85572 |   65193   134233 |   56564   31985  2530523    79.1 | 80.922 % |
c |     91338 |   65193   134233 |   62220   37751  3122150    82.7 | 80.922 % |
c |     99987 |   65123   134064 |   68442   46388  4220348    91.0 | 81.078 % |
c |    112962 |   65112   134039 |   75287   59336  5908485    99.6 | 81.100 % |
c |    132424 |   65098   134005 |   82815   78794  8817211   111.9 | 81.132 % |
c |    161617 |   65022   133819 |   91097  107974 12083003   111.9 | 81.297 % |
c ==============================================================================
c [1mFound solution: -40[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    180293 |   64927   133578 |   21642   31533  3240241   102.8 | 81.297 % |
c |    180393 |   64927   133578 |   23806   31633  3247194   102.7 | 81.511 % |
c |    180543 |   64927   133578 |   26186   31783  3252928   102.3 | 81.511 % |
c |    180768 |   64897   133504 |   28805   32002  3271201   102.2 | 81.581 % |
c |    181105 |   64897   133504 |   31686   32339  3303052   102.1 | 81.581 % |
c |    181611 |   64870   133439 |   34854   32828  3344803   101.9 | 81.641 % |
c |    182370 |   64870   133439 |   38340   33587  3402298   101.3 | 81.641 % |
c |    183510 |   64831   133342 |   42174   34709  3497246   100.8 | 81.734 % |
c |    185218 |   64831   133342 |   46391   36417  3743711   102.8 | 81.734 % |
c |    187780 |   64831   133342 |   51030   38979  4036614   103.6 | 81.734 % |
c |    191624 |   64795   133255 |   56133   42814  4428110   103.4 | 81.813 % |
c |    197390 |   64795   133255 |   61747   48580  5334245   109.8 | 81.813 % |
c |    206042 |   64693   133013 |   67921   57199  6439905   112.6 | 82.035 % |
c |    219017 |   64610   132809 |   74714   70080  7853073   112.1 | 82.226 % |
c |    238478 |   64559   132679 |   82185   89486  9966107   111.4 | 82.347 % |
c |    267670 |   64534   132616 |   90404   31903  2477608    77.7 | 82.407 % |
c |    311459 |   64455   132423 |   99444   75666  9108779   120.4 | 82.589 % |
/oldhome/oroussel/solvers/minisat+_script: line 9:  3426 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.96 0.97 2/54 3422
Raw data (stat): 3422 (runsolver) R 3421 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 782388008 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.011 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.011 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.011 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.012 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.012 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.014 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.015 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.015 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.016 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.017 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.017 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.018 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.027 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.028 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.029 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+460.03 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.03 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.031 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490.032 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.032 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.034 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.035 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+530.034 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.035 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550.036 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.036 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.81 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 3426
Raw data (stat): 3422 (minisat+_script) S 3421 21152 21151 0 -1 0 274 239 0 0 0 0 0 0 20 0 1 0 782388008 2174976 226 4294967295 134512640 135087896 3221224560 3221223832 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.81
CPU time (s): 1229.87
CPU user time (s): 1228.99
CPU system time (s): 0.879866
CPU usage (%): 100.005
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####