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-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
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.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 30511

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        844856 kB
Buffers:         31804 kB
Cached:         135492 kB
SwapCached:        528 kB
Active:          37392 kB
Inactive:       132000 kB
HighTotal:      131008 kB
HighFree:        38500 kB
LowTotal:       903652 kB
LowFree:        806356 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14836 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:38:03 (client local time) WITH STATUS 152 IN 1229.87 SECONDS
stats: 21914 7 1229.87 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 58549 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 |   58549   117098 |   19516       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 |  104166   224223 |   34722       0        0     nan |  0.000 % |
c |       100 |  103642   223111 |   38194      76      983    12.9 |  0.946 % |
c |       250 |  103156   222095 |   42013     185     1779     9.6 |  1.795 % |
c |       475 |  102265   220194 |   46214     359     3317     9.2 |  3.414 % |
c |       814 |  101075   217600 |   50836     639     5778     9.0 |  5.664 % |
c |      1320 |   97538   209751 |   55920    1003    12819    12.8 | 12.575 % |
c |      2079 |   93642   200909 |   61512    1463    18801    12.9 | 20.467 % |
c |      3218 |   88661   189630 |   67663    2127    26524    12.5 | 30.497 % |
c |      4927 |   82400   175157 |   74429    3225    35325    11.0 | 43.267 % |
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 |      5415 |   81313   172721 |   27104    3561    38639    10.9 | 43.267 % |
c |      5515 |   81068   172126 |   29814    3614    39218    10.9 | 46.298 % |
c |      5665 |   80657   171144 |   32795    3742    40921    10.9 | 47.176 % |
c |      5890 |   79982   169546 |   36075    3902    43480    11.1 | 48.620 % |
c |      6227 |   79003   167290 |   39682    4118    45635    11.1 | 50.642 % |
c |      6733 |   78063   165079 |   43651    4430    49480    11.2 | 52.651 % |
c |      7493 |   76096   160443 |   48016    4837    55581    11.5 | 56.880 % |
c |      8632 |   74589   156885 |   52818    5773    73298    12.7 | 60.129 % |
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 |      9964 |   72294   151476 |   24098    6717    92845    13.8 | 60.129 % |
c |     10064 |   72294   151476 |   26507    6817    96622    14.2 | 65.090 % |
c |     10214 |   72243   151364 |   29158    6960    98656    14.2 | 65.186 % |
c |     10440 |   72148   151147 |   32074    7150   102420    14.3 | 65.368 % |
c |     10777 |   71910   150582 |   35281    7453   109836    14.7 | 65.878 % |
c |     11283 |   71431   149450 |   38810    7849   116929    14.9 | 66.893 % |
c |     12042 |   70162   146309 |   42691    8318   128370    15.4 | 69.772 % |
c |     13181 |   69233   144085 |   46960    9095   152049    16.7 | 71.811 % |
c |     14889 |   68025   141190 |   51656   10405   194546    18.7 | 74.475 % |
c |     17451 |   67465   139846 |   56821   12599   292482    23.2 | 75.681 % |
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 |     18058 |   67414   139655 |   22471   13154   334103    25.4 | 75.681 % |
c |     18158 |   67414   139655 |   24718   13254   340082    25.7 | 75.807 % |
c |     18309 |   67399   139620 |   27189   13361   344290    25.8 | 75.839 % |
c |     18534 |   66939   138489 |   29908   13378   346429    25.9 | 76.889 % |
c |     18872 |   66842   138270 |   32899   13666   357163    26.1 | 77.077 % |
c |     19378 |   66767   138089 |   36189   14080   377022    26.8 | 77.243 % |
c |     20137 |   66615   137726 |   39808   14759   398503    27.0 | 77.575 % |
c |     21276 |   66398   137195 |   43789   15773   445835    28.3 | 78.060 % |
c |     22984 |   66398   137195 |   48168   17481   625306    35.8 | 78.060 % |
c |     25546 |   66066   136404 |   52985   19769   794427    40.2 | 78.788 % |
c |     29390 |   65853   135895 |   58283   23401  1067190    45.6 | 79.253 % |
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 |     32637 |   65821   135848 |   21940   26636  1446264    54.3 | 79.253 % |
c |     32737 |   65732   135626 |   24134   26685  1448385    54.3 | 79.603 % |
c |     32887 |   65727   135615 |   26547   26818  1455138    54.3 | 79.613 % |
c |     33113 |   65727   135615 |   29202   27044  1474034    54.5 | 79.613 % |
c |     33450 |   65697   135543 |   32122   27355  1497434    54.7 | 79.680 % |
c |     33956 |   65697   135543 |   35334   27861  1538713    55.2 | 79.680 % |
c |     34715 |   65589   135270 |   38868   28521  1585884    55.6 | 79.931 % |
c |     35855 |   65482   135009 |   42754   29577  1655703    56.0 | 80.169 % |
c |     37563 |   65482   135009 |   47030   31285  1797921    57.5 | 80.169 % |
c |     40127 |   65243   134410 |   51733   33432  1984818    59.4 | 80.735 % |
c |     43971 |   64998   133825 |   56906   36983  2317054    62.7 | 81.263 % |
c |     49737 |   64814   133363 |   62597   42396  2877508    67.9 | 81.692 % |
c |     58388 |   64619   132884 |   68857   50672  3796235    74.9 | 82.131 % |
c |     71362 |   64480   132543 |   75742   63342  5261377    83.1 | 82.449 % |
c |     90823 |   64425   132404 |   83317   82608  8035630    97.3 | 82.582 % |
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 |    109905 |   64414   132357 |   21471  101407 10380699   102.4 | 82.582 % |
c |    110006 |   64386   132284 |   23618   21811  1640548    75.2 | 82.679 % |
c |    110156 |   64386   132284 |   25979   21961  1645897    74.9 | 82.679 % |
c |    110381 |   64386   132284 |   28577   22186  1658364    74.7 | 82.679 % |
c |    110718 |   64386   132284 |   31435   22523  1685423    74.8 | 82.679 % |
c |    111224 |   64384   132278 |   34579   23001  1726413    75.1 | 82.685 % |
c |    111983 |   64356   132212 |   38037   23758  1797994    75.7 | 82.745 % |
c |    113124 |   64356   132212 |   41840   24899  1928522    77.5 | 82.745 % |
c |    114832 |   64356   132212 |   46024   26607  2074157    78.0 | 82.745 % |
c |    117394 |   64321   132129 |   50627   29164  2294029    78.7 | 82.822 % |
c |    121238 |   64321   132129 |   55690   33008  2737094    82.9 | 82.822 % |
c |    127004 |   64317   132119 |   61259   38771  3371390    87.0 | 82.831 % |
c |    135653 |   64295   132065 |   67385   47415  4522685    95.4 | 82.882 % |
c |    148627 |   64254   131966 |   74123   60336  6178176   102.4 | 82.974 % |
c ==============================================================================
c [1mFound solution: -41[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    163149 |   64183   131807 |   21394   74787  7692198   102.9 | 82.974 % |
c |    163249 |   64183   131807 |   23533   20074  1358818    67.7 | 83.143 % |
c |    163399 |   64183   131807 |   25886   20224  1366314    67.6 | 83.143 % |
c |    163625 |   64183   131807 |   28475   20450  1379110    67.4 | 83.143 % |
c |    163962 |   64183   131807 |   31322   20787  1392044    67.0 | 83.143 % |
c |    164468 |   64183   131807 |   34455   21293  1434386    67.4 | 83.143 % |
c |    165229 |   64153   131727 |   37900   22051  1483457    67.3 | 83.222 % |
c |    166369 |   64153   131727 |   41690   23191  1600656    69.0 | 83.222 % |
c |    168077 |   64134   131680 |   45859   24890  1783760    71.7 | 83.267 % |
c |    170639 |   64102   131604 |   50445   27431  2021386    73.7 | 83.337 % |
c |    174484 |   64099   131597 |   55490   31274  2339999    74.8 | 83.343 % |
c |    180250 |   64099   131597 |   61039   37040  2928223    79.1 | 83.343 % |
c |    188899 |   64034   131440 |   67143   45638  3846777    84.3 | 83.489 % |
c |    201873 |   63981   131315 |   73857   58555  5634637    96.2 | 83.603 % |
c |    221334 |   63975   131301 |   81243   78014  7981254   102.3 | 83.616 % |
c |    250528 |   63908   131132 |   89368  107123 11438473   106.8 | 83.778 % |
c |    294319 |   63902   131118 |   98304   53229  4759432    89.4 | 83.791 % |
c |    360004 |   63735   130700 |  108135  118856 12406551   104.4 | 84.188 % |
/oldhome/oroussel/solvers/minisat+_script: line 9: 25059 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.97 0.95 2/54 25055
Raw data (stat): 25055 (runsolver) R 25054 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840627544 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99964 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.001 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+649.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+679.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+689.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+729.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+749.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+759.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+769.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+779.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+839.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+859.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+899.998 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+909.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+919.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+939.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+949.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+959.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+969.999 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+980 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.7 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 25059
Raw data (stat): 25055 (minisat+_script) S 25054 7475 7474 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840627544 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

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