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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUM95af9ee9e7f41d7e844f72bb8840ff83
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 14500
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 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29

Trace number 1488

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-18 15:10:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2472 boxname=wulflinc23 idbench=128 idsolver=3 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb
IDLAUNCH: 2472
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        904684 kB
Buffers:         32724 kB
Cached:          69572 kB
SwapCached:        792 kB
Active:          43176 kB
Inactive:        61772 kB
HighTotal:      131008 kB
HighFree:        57736 kB
LowTotal:       903652 kB
LowFree:        846948 kB
SwapTotal:     2097136 kB
SwapFree:      2095868 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            19296 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 15:30:15 (client local time) WITH STATUS 0 IN 1204.51 SECONDS
stats: 2472 7 1204.51 0

Solver Data

c Parsing PB file...
c Converting 461872 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 |  461872   930494 |  153957       0        0     nan |  0.000 % |
c |       100 |  461872   930494 |  169352     100     9776    97.8 |  0.000 % |
c |       253 |  461872   930494 |  186287     253    37282   147.4 |  0.000 % |
c |       478 |  461872   930494 |  204916     478   117761   246.4 |  0.000 % |
c |       819 |  461872   930494 |  225408     819   306261   373.9 |  0.000 % |
c |      1327 |  461872   930494 |  247949    1327   660276   497.6 |  0.000 % |
c |      2086 |  461872   930494 |  272744    2086  1077877   516.7 |  0.000 % |
c |      3231 |  461872   930494 |  300018    3231  1993574   617.0 |  0.000 % |
c |      4939 |  461872   930494 |  330020    4939  3016806   610.8 |  0.000 % |
c |      7504 |  461872   930494 |  363022    7504  5218471   695.4 |  0.000 % |
c |     11348 |  461872   930494 |  399324   11348  8680258   764.9 |  0.000 % |
c |     17114 |  461872   930494 |  439257   17114 16687175   975.1 |  0.000 % |
c |     25763 |  461872   930494 |  483183   25763 22664780   879.7 |  0.000 % |
c |     38737 |  461872   930494 |  531501   38737 33750907   871.3 |  0.000 % |
c |     58199 |  461872   930494 |  584651   58199 60635918  1041.9 |  0.000 % |
c |     87395 |  461872   930494 |  643116   87395 108179773  1237.8 |  0.000 % |

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8674/stat): 8674 (minisat+_script) R 8673 8674 5299 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1842236659 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8674/statm): 174 3 169 147 0 27 0
[pid=8674] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/minisat+_script
New process pid=8675
New process pid=8676
New process pid=8677
execve syscall for /bin/sed executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
One traced child (pid=8676) exited with status: 0
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=8677) exited with status: 0
One traced child (pid=8675) exited with status: 0
New process pid=8678
execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb

[startup+10.0036 s]
Raw data (loadavg): 0.93 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 23834 0 0 0 838 100 0 0 25 0 1 0 1842236664 97951744 23736 4294967295 134512640 135094434 3221224448 3221223120 134757040 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 23914 23736 145 145 0 23769 0
[pid=8678] vsize: 95656
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (Kb) 97780

[startup+20.0052 s]
Raw data (loadavg): 0.94 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 1783 121 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558013 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (Kb) 118204

[startup+30.0058 s]
Raw data (loadavg): 0.95 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 2782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557031 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 29.05
Current children cumulated vsize (Kb) 118204

[startup+40.0075 s]
Raw data (loadavg): 0.96 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 3782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (Kb) 118204

[startup+50.0091 s]
Raw data (loadavg): 0.96 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 4782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557230 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (Kb) 118204

[startup+60.0097 s]
Raw data (loadavg): 0.97 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 5782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223136 134554746 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 59.05
Current children cumulated vsize (Kb) 118204

[startup+70.0104 s]
Raw data (loadavg): 0.97 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 6782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223072 134562104 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 69.05
Current children cumulated vsize (Kb) 118204

[startup+80.011 s]
Raw data (loadavg): 0.98 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 7782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 79.05
Current children cumulated vsize (Kb) 118204

[startup+90.0126 s]
Raw data (loadavg): 0.98 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 8782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134556862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 89.05
Current children cumulated vsize (Kb) 118204

[startup+100.013 s]
Raw data (loadavg): 0.98 0.96 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 9783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558181 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 99.06
Current children cumulated vsize (Kb) 118204

[startup+110.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 10783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223100 134556676 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 109.06
Current children cumulated vsize (Kb) 118204

[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 11783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557518 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 119.06
Current children cumulated vsize (Kb) 118204

[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 12783 123 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0
[pid=8678] vsize: 116080
Current children cumulated CPU time (s) 129.07
Current children cumulated vsize (Kb) 118204

[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 29493 0 0 0 13778 125 0 0 25 0 1 0 1842236664 121286656 29395 4294967295 134512640 135094434 3221224448 3221223040 134557518 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 29611 29395 145 145 0 29466 0
[pid=8678] vsize: 118444
Current children cumulated CPU time (s) 139.04
Current children cumulated vsize (Kb) 120568

[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 30769 0 0 0 14763 131 0 0 25 0 1 0 1842236664 126517248 30671 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 30888 30671 145 145 0 30743 0
[pid=8678] vsize: 123552
Current children cumulated CPU time (s) 148.95
Current children cumulated vsize (Kb) 125676

[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 32127 0 0 0 15750 137 0 0 25 0 1 0 1842236664 132079616 32029 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0
Raw data (/proc/8678/statm): 32246 32029 145 145 0 32101 0
[pid=8678] vsize: 128984
Current children cumulated CPU time (s) 158.88
Current children cumulated vsize (Kb) 131108

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 33287 0 0 0 16738 142 0 0 25 0 1 0 1842236664 136830976 33189 4294967295 134512640 135094434 3221224448 3221223040 134557180 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 33406 33189 145 145 0 33261 0
[pid=8678] vsize: 133624
Current children cumulated CPU time (s) 168.81
Current children cumulated vsize (Kb) 135748

[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 34546 0 0 0 17727 146 0 0 25 0 1 0 1842236664 141987840 34448 4294967295 134512640 135094434 3221224448 3221223072 134557565 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 34665 34448 145 145 0 34520 0
[pid=8678] vsize: 138660
Current children cumulated CPU time (s) 178.74
Current children cumulated vsize (Kb) 140784

[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 35682 0 0 0 18716 152 0 0 25 0 1 0 1842236664 146640896 35584 4294967295 134512640 135094434 3221224448 3221222812 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0
Raw data (/proc/8678/statm): 35801 35584 145 145 0 35656 0
[pid=8678] vsize: 143204
Current children cumulated CPU time (s) 188.69
Current children cumulated vsize (Kb) 145328

[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 36688 0 0 0 19706 155 0 0 25 0 1 0 1842236664 150896640 36590 4294967295 134512640 135094434 3221224448 3221223072 134557724 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 36840 36590 145 145 0 36695 0
[pid=8678] vsize: 147360
Current children cumulated CPU time (s) 198.62
Current children cumulated vsize (Kb) 149484

[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 37698 0 0 0 20695 160 0 0 25 0 1 0 1842236664 155017216 37600 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 37846 37600 145 145 0 37701 0
[pid=8678] vsize: 151384
Current children cumulated CPU time (s) 208.56
Current children cumulated vsize (Kb) 153508

[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 38555 0 0 0 21688 163 0 0 25 0 1 0 1842236664 158527488 38457 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 38703 38457 145 145 0 38558 0
[pid=8678] vsize: 154812
Current children cumulated CPU time (s) 218.52
Current children cumulated vsize (Kb) 156936

[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 39507 0 0 0 22678 168 0 0 25 0 1 0 1842236664 162426880 39409 4294967295 134512640 135094434 3221224448 3221223040 134556904 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 39655 39409 145 145 0 39510 0
[pid=8678] vsize: 158620
Current children cumulated CPU time (s) 228.47
Current children cumulated vsize (Kb) 160744

[startup+240.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 40344 0 0 0 23668 172 0 0 25 0 1 0 1842236664 165859328 40246 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 40493 40246 145 145 0 40348 0
[pid=8678] vsize: 161972
Current children cumulated CPU time (s) 238.41
Current children cumulated vsize (Kb) 164096

[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 41097 0 0 0 24659 176 0 0 25 0 1 0 1842236664 168935424 40999 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 41244 40999 145 145 0 41099 0
[pid=8678] vsize: 164976
Current children cumulated CPU time (s) 248.36
Current children cumulated vsize (Kb) 167100

[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 42315 0 0 0 25646 182 0 0 25 0 1 0 1842236664 173916160 42217 4294967295 134512640 135094434 3221224448 3221223072 134557630 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 42460 42217 145 145 0 42315 0
[pid=8678] vsize: 169840
Current children cumulated CPU time (s) 258.29
Current children cumulated vsize (Kb) 171964

[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 43405 0 0 0 26635 185 0 0 25 0 1 0 1842236664 178376704 43307 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 43549 43307 145 145 0 43404 0
[pid=8678] vsize: 174196
Current children cumulated CPU time (s) 268.21
Current children cumulated vsize (Kb) 176320

[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 44731 0 0 0 27622 191 0 0 25 0 1 0 1842236664 183803904 44633 4294967295 134512640 135094434 3221224448 3221223120 134555787 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 44874 44633 145 145 0 44729 0
[pid=8678] vsize: 179496
Current children cumulated CPU time (s) 278.14
Current children cumulated vsize (Kb) 181620

[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 46178 0 0 0 28609 196 0 0 25 0 1 0 1842236664 189730816 46080 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 46321 46080 145 145 0 46176 0
[pid=8678] vsize: 185284
Current children cumulated CPU time (s) 288.06
Current children cumulated vsize (Kb) 187408

[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 47410 0 0 0 29600 201 0 0 25 0 1 0 1842236664 194768896 47312 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 47551 47312 145 145 0 47406 0
[pid=8678] vsize: 190204
Current children cumulated CPU time (s) 298.02
Current children cumulated vsize (Kb) 192328

[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 48752 0 0 0 30589 207 0 0 25 0 1 0 1842236664 200273920 48654 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 48895 48654 145 145 0 48750 0
[pid=8678] vsize: 195580
Current children cumulated CPU time (s) 307.97
Current children cumulated vsize (Kb) 197704

[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 49945 0 0 0 31578 212 0 0 25 0 1 0 1842236664 205152256 49847 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 50086 49847 145 145 0 49941 0
[pid=8678] vsize: 200344
Current children cumulated CPU time (s) 317.91
Current children cumulated vsize (Kb) 202468

[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 51013 0 0 0 32570 217 0 0 25 0 1 0 1842236664 209526784 50915 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 51154 50915 145 145 0 51009 0
[pid=8678] vsize: 204616
Current children cumulated CPU time (s) 327.88
Current children cumulated vsize (Kb) 206740

[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 52012 0 0 0 33561 221 0 0 25 0 1 0 1842236664 213618688 51914 4294967295 134512640 135094434 3221224448 3221223040 134557227 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 52153 51914 145 145 0 52008 0
[pid=8678] vsize: 208612
Current children cumulated CPU time (s) 337.83
Current children cumulated vsize (Kb) 210736

[startup+350.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 53108 0 0 0 34551 227 0 0 25 0 1 0 1842236664 218103808 53010 4294967295 134512640 135094434 3221224448 3221223104 134557920 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 53248 53010 145 145 0 53103 0
[pid=8678] vsize: 212992
Current children cumulated CPU time (s) 347.79
Current children cumulated vsize (Kb) 215116

[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 54255 0 0 0 35541 232 0 0 25 0 1 0 1842236664 222806016 54157 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 54396 54157 145 145 0 54251 0
[pid=8678] vsize: 217584
Current children cumulated CPU time (s) 357.74
Current children cumulated vsize (Kb) 219708

[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 55299 0 0 0 36531 236 0 0 25 0 1 0 1842236664 227078144 55201 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 55439 55201 145 145 0 55294 0
[pid=8678] vsize: 221756
Current children cumulated CPU time (s) 367.68
Current children cumulated vsize (Kb) 223880

[startup+380.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 56380 0 0 0 37522 241 0 0 25 0 1 0 1842236664 231501824 56282 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 56519 56282 145 145 0 56374 0
[pid=8678] vsize: 226076
Current children cumulated CPU time (s) 377.64
Current children cumulated vsize (Kb) 228200

[startup+390.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 57172 0 0 0 38515 243 0 0 25 0 1 0 1842236664 234758144 57074 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 57314 57074 145 145 0 57169 0
[pid=8678] vsize: 229256
Current children cumulated CPU time (s) 387.59
Current children cumulated vsize (Kb) 231380

[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 57935 0 0 0 39509 246 0 0 25 0 1 0 1842236664 237895680 57837 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 58080 57837 145 145 0 57935 0
[pid=8678] vsize: 232320
Current children cumulated CPU time (s) 397.56
Current children cumulated vsize (Kb) 234444

[startup+410.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 58793 0 0 0 40500 251 0 0 25 0 1 0 1842236664 241401856 58695 4294967295 134512640 135094434 3221224448 3221223120 134555953 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 58936 58695 145 145 0 58791 0
[pid=8678] vsize: 235744
Current children cumulated CPU time (s) 407.52
Current children cumulated vsize (Kb) 237868

[startup+420.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 59747 0 0 0 41491 254 0 0 25 0 1 0 1842236664 245317632 59649 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 59892 59649 145 145 0 59747 0
[pid=8678] vsize: 239568
Current children cumulated CPU time (s) 417.46
Current children cumulated vsize (Kb) 241692

[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 60788 0 0 0 42482 258 0 0 25 0 1 0 1842236664 249569280 60690 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 60930 60690 145 145 0 60785 0
[pid=8678] vsize: 243720
Current children cumulated CPU time (s) 427.41
Current children cumulated vsize (Kb) 245844

[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 61568 0 0 0 43473 261 0 0 25 0 1 0 1842236664 252760064 61470 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 61709 61470 145 145 0 61564 0
[pid=8678] vsize: 246836
Current children cumulated CPU time (s) 437.35
Current children cumulated vsize (Kb) 248960

[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 62454 0 0 0 44465 265 0 0 25 0 1 0 1842236664 256393216 62356 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 62596 62356 145 145 0 62451 0
[pid=8678] vsize: 250384
Current children cumulated CPU time (s) 447.31
Current children cumulated vsize (Kb) 252508

[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 63445 0 0 0 45456 269 0 0 25 0 1 0 1842236664 260448256 63347 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 63586 63347 145 145 0 63441 0
[pid=8678] vsize: 254344
Current children cumulated CPU time (s) 457.26
Current children cumulated vsize (Kb) 256468

[startup+470.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 64246 0 0 0 46448 273 0 0 25 0 1 0 1842236664 263729152 64148 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 64387 64148 145 145 0 64242 0
[pid=8678] vsize: 257548
Current children cumulated CPU time (s) 467.22
Current children cumulated vsize (Kb) 259672

[startup+480.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 65073 0 0 0 47440 277 0 0 25 0 1 0 1842236664 267112448 64975 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 65213 64975 145 145 0 65068 0
[pid=8678] vsize: 260852
Current children cumulated CPU time (s) 477.18
Current children cumulated vsize (Kb) 262976

[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 65861 0 0 0 48434 280 0 0 25 0 1 0 1842236664 270340096 65763 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 66001 65763 145 145 0 65856 0
[pid=8678] vsize: 264004
Current children cumulated CPU time (s) 487.15
Current children cumulated vsize (Kb) 266128

[startup+500.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 66684 0 0 0 49428 282 0 0 25 0 1 0 1842236664 273711104 66586 4294967295 134512640 135094434 3221224448 3221223104 134558024 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 66824 66586 145 145 0 66679 0
[pid=8678] vsize: 267296
Current children cumulated CPU time (s) 497.11
Current children cumulated vsize (Kb) 269420

[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 67514 0 0 0 50421 286 0 0 25 0 1 0 1842236664 277106688 67416 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 67653 67416 145 145 0 67508 0
[pid=8678] vsize: 270612
Current children cumulated CPU time (s) 507.08
Current children cumulated vsize (Kb) 272736

[startup+520.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 68367 0 0 0 51412 290 0 0 25 0 1 0 1842236664 280596480 68269 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 68505 68269 145 145 0 68360 0
[pid=8678] vsize: 274020
Current children cumulated CPU time (s) 517.03
Current children cumulated vsize (Kb) 276144

[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 69741 0 0 0 52399 296 0 0 25 0 1 0 1842236664 286220288 69643 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 69878 69643 145 145 0 69733 0
[pid=8678] vsize: 279512
Current children cumulated CPU time (s) 526.96
Current children cumulated vsize (Kb) 281636

[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 71157 0 0 0 53389 301 0 0 25 0 1 0 1842236664 292028416 71059 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 71296 71059 145 145 0 71151 0
[pid=8678] vsize: 285184
Current children cumulated CPU time (s) 536.91
Current children cumulated vsize (Kb) 287308

[startup+550.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 72280 0 0 0 54377 306 0 0 25 0 1 0 1842236664 296624128 72182 4294967295 134512640 135094434 3221224448 3221223040 134557375 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 72418 72182 145 145 0 72273 0
[pid=8678] vsize: 289672
Current children cumulated CPU time (s) 546.84
Current children cumulated vsize (Kb) 291796

[startup+560.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 73594 0 0 0 55367 311 0 0 25 0 1 0 1842236664 302002176 73496 4294967295 134512640 135094434 3221224448 3221223040 134556802 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 73731 73496 145 145 0 73586 0
[pid=8678] vsize: 294924
Current children cumulated CPU time (s) 556.79
Current children cumulated vsize (Kb) 297048

[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 74990 0 0 0 56357 315 0 0 25 0 1 0 1842236664 307716096 74892 4294967295 134512640 135094434 3221224448 3221223040 134557429 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 75126 74892 145 145 0 74981 0
[pid=8678] vsize: 300504
Current children cumulated CPU time (s) 566.73
Current children cumulated vsize (Kb) 302628

[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 76252 0 0 0 57346 320 0 0 25 0 1 0 1842236664 312881152 76154 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 76387 76154 145 145 0 76242 0
[pid=8678] vsize: 305548
Current children cumulated CPU time (s) 576.67
Current children cumulated vsize (Kb) 307672

[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 77354 0 0 0 58337 324 0 0 25 0 1 0 1842236664 317652992 77256 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 77552 77256 145 145 0 77407 0
[pid=8678] vsize: 310208
Current children cumulated CPU time (s) 586.62
Current children cumulated vsize (Kb) 312332

[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 78441 0 0 0 59328 329 0 0 25 0 1 0 1842236664 322105344 78343 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 78639 78343 145 145 0 78494 0
[pid=8678] vsize: 314556
Current children cumulated CPU time (s) 596.58
Current children cumulated vsize (Kb) 316680

[startup+610.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 79554 0 0 0 60320 332 0 0 25 0 1 0 1842236664 326660096 79456 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 79751 79456 145 145 0 79606 0
[pid=8678] vsize: 319004
Current children cumulated CPU time (s) 606.53
Current children cumulated vsize (Kb) 321128

[startup+620.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 80670 0 0 0 61314 336 0 0 25 0 1 0 1842236664 331231232 80572 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 80867 80572 145 145 0 80722 0
[pid=8678] vsize: 323468
Current children cumulated CPU time (s) 616.51
Current children cumulated vsize (Kb) 325592

[startup+630.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 81670 0 0 0 62306 339 0 0 25 0 1 0 1842236664 335323136 81572 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 81866 81572 145 145 0 81721 0
[pid=8678] vsize: 327464
Current children cumulated CPU time (s) 626.46
Current children cumulated vsize (Kb) 329588

[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 82739 0 0 0 63299 343 0 0 25 0 1 0 1842236664 339701760 82641 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 82935 82641 145 145 0 82790 0
[pid=8678] vsize: 331740
Current children cumulated CPU time (s) 636.43
Current children cumulated vsize (Kb) 333864

[startup+650.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 83836 0 0 0 64293 347 0 0 25 0 1 0 1842236664 344195072 83738 4294967295 134512640 135094434 3221224448 3221223040 134557287 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 84032 83738 145 145 0 83887 0
[pid=8678] vsize: 336128
Current children cumulated CPU time (s) 646.41
Current children cumulated vsize (Kb) 338252

[startup+660.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 84918 0 0 0 65284 352 0 0 25 0 1 0 1842236664 348622848 84820 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 85113 84820 145 145 0 84968 0
[pid=8678] vsize: 340452
Current children cumulated CPU time (s) 656.37
Current children cumulated vsize (Kb) 342576

[startup+670.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 86032 0 0 0 66276 355 0 0 25 0 1 0 1842236664 353181696 85934 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 86226 85934 145 145 0 86081 0
[pid=8678] vsize: 344904
Current children cumulated CPU time (s) 666.32
Current children cumulated vsize (Kb) 347028

[startup+680.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 87006 0 0 0 67269 359 0 0 25 0 1 0 1842236664 357175296 86908 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 87201 86908 145 145 0 87056 0
[pid=8678] vsize: 348804
Current children cumulated CPU time (s) 676.29
Current children cumulated vsize (Kb) 350928

[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 87951 0 0 0 68263 362 0 0 25 0 1 0 1842236664 361037824 87853 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0
Raw data (/proc/8678/statm): 88144 87853 145 145 0 87999 0
[pid=8678] vsize: 352576
Current children cumulated CPU time (s) 686.26
Current children cumulated vsize (Kb) 354700

[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 88938 0 0 0 69256 366 0 0 25 0 1 0 1842236664 365080576 88840 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 89131 88840 145 145 0 88986 0
[pid=8678] vsize: 356524
Current children cumulated CPU time (s) 696.23
Current children cumulated vsize (Kb) 358648

[startup+710.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 89987 0 0 0 70248 370 0 0 25 0 1 0 1842236664 369373184 89889 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 90179 89889 145 145 0 90034 0
[pid=8678] vsize: 360716
Current children cumulated CPU time (s) 706.19
Current children cumulated vsize (Kb) 362840

[startup+720.059 s]
Raw data (loadavg): 1.15 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 91010 0 0 0 71241 374 0 0 25 0 1 0 1842236664 373563392 90912 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 91202 90912 145 145 0 91057 0
[pid=8678] vsize: 364808
Current children cumulated CPU time (s) 716.16
Current children cumulated vsize (Kb) 366932

[startup+730.059 s]
Raw data (loadavg): 1.12 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 92094 0 0 0 72234 378 0 0 25 0 1 0 1842236664 377999360 91996 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 92285 91996 145 145 0 92140 0
[pid=8678] vsize: 369140
Current children cumulated CPU time (s) 726.13
Current children cumulated vsize (Kb) 371264

[startup+740.06 s]
Raw data (loadavg): 1.10 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 92999 0 0 0 73228 381 0 0 25 0 1 0 1842236664 381706240 92901 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 93190 92901 145 145 0 93045 0
[pid=8678] vsize: 372760
Current children cumulated CPU time (s) 736.1
Current children cumulated vsize (Kb) 374884

[startup+750.061 s]
Raw data (loadavg): 1.09 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 93974 0 0 0 74222 383 0 0 25 0 1 0 1842236664 385699840 93876 4294967295 134512640 135094434 3221224448 3221223040 134557219 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 94165 93876 145 145 0 94020 0
[pid=8678] vsize: 376660
Current children cumulated CPU time (s) 746.06
Current children cumulated vsize (Kb) 378784

[startup+760.061 s]
Raw data (loadavg): 1.07 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 94915 0 0 0 75216 386 0 0 25 0 1 0 1842236664 389550080 94817 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 95105 94817 145 145 0 94960 0
[pid=8678] vsize: 380420
Current children cumulated CPU time (s) 756.03
Current children cumulated vsize (Kb) 382544

[startup+770.062 s]
Raw data (loadavg): 1.06 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 95823 0 0 0 76211 388 0 0 25 0 1 0 1842236664 393269248 95725 4294967295 134512640 135094434 3221224448 3221223120 134556288 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 96013 95725 145 145 0 95868 0
[pid=8678] vsize: 384052
Current children cumulated CPU time (s) 766
Current children cumulated vsize (Kb) 386176

[startup+780.063 s]
Raw data (loadavg): 1.05 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 96571 0 0 0 77206 391 0 0 25 0 1 0 1842236664 396333056 96473 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 96761 96473 145 145 0 96616 0
[pid=8678] vsize: 387044
Current children cumulated CPU time (s) 775.98
Current children cumulated vsize (Kb) 389168

[startup+790.063 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 97494 0 0 0 78200 395 0 0 25 0 1 0 1842236664 400109568 97396 4294967295 134512640 135094434 3221224448 3221223104 134557884 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 97683 97396 145 145 0 97538 0
[pid=8678] vsize: 390732
Current children cumulated CPU time (s) 785.96
Current children cumulated vsize (Kb) 392856

[startup+800.064 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 98396 0 0 0 79194 397 0 0 25 0 1 0 1842236664 403804160 98298 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 98585 98298 145 145 0 98440 0
[pid=8678] vsize: 394340
Current children cumulated CPU time (s) 795.92
Current children cumulated vsize (Kb) 396464

[startup+810.065 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 99384 0 0 0 80187 401 0 0 25 0 1 0 1842236664 407855104 99286 4294967295 134512640 135094434 3221224448 3221223040 134557531 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 99574 99286 145 145 0 99429 0
[pid=8678] vsize: 398296
Current children cumulated CPU time (s) 805.89
Current children cumulated vsize (Kb) 400420

[startup+820.065 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 100509 0 0 0 81179 405 0 0 25 0 1 0 1842236664 412463104 100411 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0
Raw data (/proc/8678/statm): 100699 100411 145 145 0 100554 0
[pid=8678] vsize: 402796
Current children cumulated CPU time (s) 815.85
Current children cumulated vsize (Kb) 404920

[startup+830.066 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 101588 0 0 0 82171 408 0 0 25 0 1 0 1842236664 416882688 101490 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 101778 101490 145 145 0 101633 0
[pid=8678] vsize: 407112
Current children cumulated CPU time (s) 825.8
Current children cumulated vsize (Kb) 409236

[startup+840.067 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 102508 0 0 0 83165 412 0 0 25 0 1 0 1842236664 420655104 102410 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 102699 102410 145 145 0 102554 0
[pid=8678] vsize: 410796
Current children cumulated CPU time (s) 835.78
Current children cumulated vsize (Kb) 412920

[startup+850.067 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 103610 0 0 0 84156 417 0 0 25 0 1 0 1842236664 425168896 103512 4294967295 134512640 135094434 3221224448 3221223072 134557642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 103801 103512 145 145 0 103656 0
[pid=8678] vsize: 415204
Current children cumulated CPU time (s) 845.74
Current children cumulated vsize (Kb) 417328

[startup+860.067 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 104551 0 0 0 85150 420 0 0 25 0 1 0 1842236664 429015040 104453 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 104740 104453 145 145 0 104595 0
[pid=8678] vsize: 418960
Current children cumulated CPU time (s) 855.71
Current children cumulated vsize (Kb) 421084

[startup+870.067 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 105432 0 0 0 86144 423 0 0 25 0 1 0 1842236664 432623616 105334 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 105621 105334 145 145 0 105476 0
[pid=8678] vsize: 422484
Current children cumulated CPU time (s) 865.68
Current children cumulated vsize (Kb) 424608

[startup+880.068 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 106096 0 0 0 87138 426 0 0 25 0 1 0 1842236664 435351552 105998 4294967295 134512640 135094434 3221224448 3221223136 134554715 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 106287 105998 145 145 0 106142 0
[pid=8678] vsize: 425148
Current children cumulated CPU time (s) 875.65
Current children cumulated vsize (Kb) 427272

[startup+890.069 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 106956 0 0 0 88129 431 0 0 25 0 1 0 1842236664 438870016 106858 4294967295 134512640 135094434 3221224448 3221223120 134556317 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 107146 106858 145 145 0 107001 0
[pid=8678] vsize: 428584
Current children cumulated CPU time (s) 885.61
Current children cumulated vsize (Kb) 430708

[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 107934 0 0 0 89120 435 0 0 25 0 1 0 1842236664 442871808 107836 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 108123 107836 145 145 0 107978 0
[pid=8678] vsize: 432492
Current children cumulated CPU time (s) 895.56
Current children cumulated vsize (Kb) 434616

[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 108834 0 0 0 90111 440 0 0 25 0 1 0 1842236664 446554112 108736 4294967295 134512640 135094434 3221224448 3221223104 134558019 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 109022 108736 145 145 0 108877 0
[pid=8678] vsize: 436088
Current children cumulated CPU time (s) 905.52
Current children cumulated vsize (Kb) 438212

[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 109458 0 0 0 91107 441 0 0 25 0 1 0 1842236664 449105920 109360 4294967295 134512640 135094434 3221224448 3221223040 134556802 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 109645 109360 145 145 0 109500 0
[pid=8678] vsize: 438580
Current children cumulated CPU time (s) 915.49
Current children cumulated vsize (Kb) 440704

[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 110299 0 0 0 92100 445 0 0 25 0 1 0 1842236664 452546560 110201 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 110485 110201 145 145 0 110340 0
[pid=8678] vsize: 441940
Current children cumulated CPU time (s) 925.46
Current children cumulated vsize (Kb) 444064

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 111241 0 0 0 93091 450 0 0 25 0 1 0 1842236664 456400896 111143 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 111426 111143 145 145 0 111281 0
[pid=8678] vsize: 445704
Current children cumulated CPU time (s) 935.42
Current children cumulated vsize (Kb) 447828

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 112144 0 0 0 94082 453 0 0 25 0 1 0 1842236664 460099584 112046 4294967295 134512640 135094434 3221224448 3221223040 134556785 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 112329 112046 145 145 0 112184 0
[pid=8678] vsize: 449316
Current children cumulated CPU time (s) 945.36
Current children cumulated vsize (Kb) 451440

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 113099 0 0 0 95075 457 0 0 25 0 1 0 1842236664 464007168 113001 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 113283 113001 145 145 0 113138 0
[pid=8678] vsize: 453132
Current children cumulated CPU time (s) 955.33
Current children cumulated vsize (Kb) 455256

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 113852 0 0 0 96067 461 0 0 25 0 1 0 1842236664 467087360 113754 4294967295 134512640 135094434 3221224448 3221223120 134556450 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 114035 113754 145 145 0 113890 0
[pid=8678] vsize: 456140
Current children cumulated CPU time (s) 965.29
Current children cumulated vsize (Kb) 458264

[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 114636 0 0 0 97060 464 0 0 25 0 1 0 1842236664 470294528 114538 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 114818 114538 145 145 0 114673 0
[pid=8678] vsize: 459272
Current children cumulated CPU time (s) 975.25
Current children cumulated vsize (Kb) 461396

[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 115549 0 0 0 98050 469 0 0 25 0 1 0 1842236664 474038272 115451 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0
Raw data (/proc/8678/statm): 115732 115451 145 145 0 115587 0
[pid=8678] vsize: 462928
Current children cumulated CPU time (s) 985.2
Current children cumulated vsize (Kb) 465052

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 116610 0 0 0 99041 475 0 0 25 0 1 0 1842236664 478375936 116512 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 116791 116512 145 145 0 116646 0
[pid=8678] vsize: 467164
Current children cumulated CPU time (s) 995.17
Current children cumulated vsize (Kb) 469288

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 117841 0 0 0 100030 480 0 0 25 0 1 0 1842236664 483418112 117743 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 118022 117743 145 145 0 117877 0
[pid=8678] vsize: 472088
Current children cumulated CPU time (s) 1005.11
Current children cumulated vsize (Kb) 474212

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 118912 0 0 0 101020 484 0 0 25 0 1 0 1842236664 487796736 118814 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 119091 118814 145 145 0 118946 0
[pid=8678] vsize: 476364
Current children cumulated CPU time (s) 1015.05
Current children cumulated vsize (Kb) 478488

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 119793 0 0 0 102013 488 0 0 25 0 1 0 1842236664 491401216 119695 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 119971 119695 145 145 0 119826 0
[pid=8678] vsize: 479884
Current children cumulated CPU time (s) 1025.02
Current children cumulated vsize (Kb) 482008

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 120822 0 0 0 103003 492 0 0 25 0 1 0 1842236664 495611904 120724 4294967295 134512640 135094434 3221224448 3221223120 134556317 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 120999 120724 145 145 0 120854 0
[pid=8678] vsize: 483996
Current children cumulated CPU time (s) 1034.96
Current children cumulated vsize (Kb) 486120

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 121823 0 0 0 103995 496 0 0 25 0 1 0 1842236664 499707904 121725 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 121999 121725 145 145 0 121854 0
[pid=8678] vsize: 487996
Current children cumulated CPU time (s) 1044.92
Current children cumulated vsize (Kb) 490120

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 122911 0 0 0 104986 500 0 0 25 0 1 0 1842236664 504164352 122813 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 123087 122813 145 145 0 122942 0
[pid=8678] vsize: 492348
Current children cumulated CPU time (s) 1054.87
Current children cumulated vsize (Kb) 494472

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 124229 0 0 0 105977 504 0 0 25 0 1 0 1842236664 509558784 124131 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 124404 124131 145 145 0 124259 0
[pid=8678] vsize: 497616
Current children cumulated CPU time (s) 1064.82
Current children cumulated vsize (Kb) 499740

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 125428 0 0 0 106968 508 0 0 25 0 1 0 1842236664 514465792 125330 4294967295 134512640 135094434 3221224448 3221223100 134556676 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 125602 125330 145 145 0 125457 0
[pid=8678] vsize: 502408
Current children cumulated CPU time (s) 1074.77
Current children cumulated vsize (Kb) 504532

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 126553 0 0 0 107960 513 0 0 25 0 1 0 1842236664 519073792 126455 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 126727 126455 145 145 0 126582 0
[pid=8678] vsize: 506908
Current children cumulated CPU time (s) 1084.74
Current children cumulated vsize (Kb) 509032

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 127742 0 0 0 108954 517 0 0 25 0 1 0 1842236664 523939840 127644 4294967295 134512640 135094434 3221224448 3221223104 134558232 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 127915 127644 145 145 0 127770 0
[pid=8678] vsize: 511660
Current children cumulated CPU time (s) 1094.72
Current children cumulated vsize (Kb) 513784

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 128686 0 0 0 109947 521 0 0 25 0 1 0 1842236664 527802368 128588 4294967295 134512640 135094434 3221224448 3221223072 134557653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 128858 128588 145 145 0 128713 0
[pid=8678] vsize: 515432
Current children cumulated CPU time (s) 1104.69
Current children cumulated vsize (Kb) 517556

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 129897 0 0 0 110937 525 0 0 25 0 1 0 1842236664 532762624 129799 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 130069 129799 145 145 0 129924 0
[pid=8678] vsize: 520276
Current children cumulated CPU time (s) 1114.63
Current children cumulated vsize (Kb) 522400

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 131111 0 0 0 111928 529 0 0 25 0 1 0 1842236664 537731072 131013 4294967295 134512640 135094434 3221224448 3221223120 134556428 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 131282 131013 145 145 0 131137 0
[pid=8678] vsize: 525128
Current children cumulated CPU time (s) 1124.58
Current children cumulated vsize (Kb) 527252

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 132151 0 0 0 112921 533 0 0 25 0 1 0 1842236664 541986816 132053 4294967295 134512640 135094434 3221224448 3221223072 134557714 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 132321 132053 145 145 0 132176 0
[pid=8678] vsize: 529284
Current children cumulated CPU time (s) 1134.55
Current children cumulated vsize (Kb) 531408

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 133153 0 0 0 113914 537 0 0 25 0 1 0 1842236664 546091008 133055 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 133323 133055 145 145 0 133178 0
[pid=8678] vsize: 533292
Current children cumulated CPU time (s) 1144.52
Current children cumulated vsize (Kb) 535416

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 134012 0 0 0 114905 540 0 0 25 0 1 0 1842236664 549613568 133914 4294967295 134512640 135094434 3221224448 3221223120 134555574 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 134183 133914 145 145 0 134038 0
[pid=8678] vsize: 536732
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 538856

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 134829 0 0 0 115898 544 0 0 25 0 1 0 1842236664 552955904 134731 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 134999 134731 145 145 0 134854 0
[pid=8678] vsize: 539996
Current children cumulated CPU time (s) 1164.43
Current children cumulated vsize (Kb) 542120

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 135674 0 0 0 116890 548 0 0 25 0 1 0 1842236664 556412928 135576 4294967295 134512640 135094434 3221224448 3221223104 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/8678/statm): 135843 135576 145 145 0 135698 0
[pid=8678] vsize: 543372
Current children cumulated CPU time (s) 1174.39
Current children cumulated vsize (Kb) 545496

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 136762 0 0 0 117881 552 0 0 25 0 1 0 1842236664 560865280 136664 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 136930 136664 145 145 0 136785 0
[pid=8678] vsize: 547720
Current children cumulated CPU time (s) 1184.34
Current children cumulated vsize (Kb) 549844

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 137774 0 0 0 118870 558 0 0 25 0 1 0 1842236664 565006336 137676 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 137941 137676 145 145 0 137796 0
[pid=8678] vsize: 551764
Current children cumulated CPU time (s) 1194.29
Current children cumulated vsize (Kb) 553888

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 138758 0 0 0 119862 562 0 0 25 0 1 0 1842236664 569036800 138660 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 138925 138660 145 145 0 138780 0
[pid=8678] vsize: 555700
Current children cumulated CPU time (s) 1204.25
Current children cumulated vsize (Kb) 557824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 8678
Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (/proc/8674/statm): 531 226 485 147 0 384 0
[pid=8674] vsize: 2124
Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 138758 0 0 0 119862 562 0 0 25 0 1 0 1842236664 569036800 138660 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/8678/statm): 138925 138660 145 145 0 138780 0
[pid=8678] vsize: 555700
Current children cumulated CPU time (s) 1204.25
Current children cumulated vsize (Kb) 557824

Sending SIGTERM to -8674
Sleeping 2 seconds
One traced child (pid=8674) ended because it received signal 15 (SIGTERM)
One traced child (pid=8678) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1210.35
CPU time (s): 1204.51
CPU user time (s): 1198.63
CPU system time (s): 5.87911
CPU usage (%): 99.5169
Max. virtual memory (cumulated for all children) (Kb): 557824

Verifier Data

ERROR: no interpretation found !