Trace number 4114899

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 into four (or five) parts:
  1. 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 ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.06 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
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 constraint15
Number of terms in the objective function 7500
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 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
2.19/2.20	c Converting 237715 PB-constraints to clauses...
2.19/2.21	c   -- Unit propagations: (none)
2.19/2.22	c   -- Detecting intervals from adjacent constraints: (none)
2.19/2.22	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1800.05/1800.60	============================[ Search Statistics ]==============================
1800.05/1800.60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.60	===============================================================================
1800.05/1800.60	|       100 |    7500   237715   478680 |    87162      100     47 |  0.000 % |
1800.05/1800.60	|       250 |    7500   237715   478680 |    95878      250     68 |  0.000 % |
1800.05/1800.60	|       475 |    7500   237715   478680 |   105466      475     67 |  0.000 % |
1800.05/1800.60	|       812 |    7500   237715   478680 |   116012      812     88 |  0.000 % |
1800.05/1800.60	|      1318 |    7500   237715   478680 |   127614     1318    112 |  0.000 % |
1800.05/1800.60	|      2077 |    7500   237715   478680 |   140375     2077    114 |  0.000 % |
1800.05/1800.60	|      3216 |    7500   237715   478680 |   154413     3216    140 |  0.000 % |
1800.05/1800.60	|      4924 |    7500   237715   478680 |   169854     4924    150 |  0.000 % |
1800.05/1800.60	|      7486 |    7500   237715   478680 |   186839     7486    172 |  0.000 % |
1800.05/1800.60	|     11330 |    7500   237715   478680 |   205523    11330    164 |  0.000 % |
1800.05/1800.60	|     17096 |    7500   237715   478680 |   226076    17096    171 |  0.000 % |
1800.05/1800.60	|     25745 |    7500   237715   478680 |   248683    25745    171 |  0.000 % |
1800.05/1800.60	|     38719 |    7500   237715   478680 |   273552    38719    168 |  0.000 % |
1800.05/1800.60	|     58180 |    7500   237715   478680 |   300907    58180    194 |  0.000 % |
1800.05/1800.60	|     87372 |    7500   237715   478680 |   330998    87372    195 |  0.000 % |
1800.05/1800.60	|    131161 |    7500   237715   478680 |   364098   131161    189 |  0.000 % |
1800.05/1800.60	|    196845 |    7500   237715   478680 |   400507   196845    187 |  0.000 % |
1800.05/1800.60	|    295371 |    7500   237715   478680 |   440558   295371    185 |  0.000 % |
1800.05/1800.60	|    443160 |    7500   237715   478680 |   484614   443160    179 |  0.000 % |
1800.05/1800.60	|    664843 |    7500   237715   478680 |   533075   193640    182 |  0.000 % |
1800.05/1800.60	|    997368 |    7500   237715   478680 |   586383   526165    185 |  0.000 % |
1800.05/1800.60	c 
1800.05/1800.60	c *** TERMINATED ***
1800.05/1800.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114899-1466537360/watcher-4114899-1466537360 -o /tmp/evaluation-result-4114899-1466537360/solver-4114899-1466537360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7445 --watchdog 1960 minisatp HOME/instance-4114899-1466537360.opb 

pid=11520
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.11 2.08 3/176 11523
/proc/meminfo: memFree=31422952/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=8640 CPUtime=0 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 55786181 8847360 679 33554432000 4194304 5646918 140735147857424 140735221386952 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 2160 683 84 355 0 1801 0

[startup+0.100162 s]
/proc/loadavg: 2.20 2.11 2.08 3/176 11523
/proc/meminfo: memFree=31422952/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=13952 CPUtime=0.09 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 2184 0 0 0 9 0 0 0 20 0 1 0 55786181 14286848 2060 33554432000 4194304 5646918 140735147857424 140735221386952 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 3521 2061 94 355 0 3162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13952

[startup+0.200321 s]
/proc/loadavg: 2.20 2.11 2.08 3/176 11523
/proc/meminfo: memFree=31422952/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=20288 CPUtime=0.19 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 3730 0 0 0 19 0 0 0 20 0 1 0 55786181 20774912 3606 33554432000 4194304 5646918 140735147857424 140735221386952 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 5072 3606 94 355 0 4713 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20288

[startup+0.300306 s]
/proc/loadavg: 2.20 2.11 2.08 3/176 11523
/proc/meminfo: memFree=31422952/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=26476 CPUtime=0.29 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 5277 0 0 0 29 0 0 0 20 0 1 0 55786181 27111424 5153 33554432000 4194304 5646918 140735147857424 140735221386952 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 6619 5154 94 355 0 6260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26476

[startup+0.700256 s]
/proc/loadavg: 2.20 2.11 2.08 3/176 11523
/proc/meminfo: memFree=31422952/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=51388 CPUtime=0.69 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 11477 0 0 0 68 1 0 0 20 0 1 0 55786181 52621312 11353 33554432000 4194304 5646918 140735147857424 140735221386952 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 12847 11353 94 355 0 12488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51388

[startup+1.50025 s]
/proc/loadavg: 2.20 2.11 2.08 3/177 11524
/proc/meminfo: memFree=31352768/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=101168 CPUtime=1.49 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 23894 0 0 0 146 3 0 0 20 0 1 0 55786181 103596032 23770 33554432000 4194304 5646918 140735147857424 140735147856792 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 25292 23771 94 355 0 24933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101168

[startup+3.10019 s]
/proc/loadavg: 2.20 2.11 2.08 4/177 11524
/proc/meminfo: memFree=31284196/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=165292 CPUtime=2.95 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 40484 0 0 0 282 13 0 0 20 0 1 0 55786181 169259008 40727 33554432000 4194304 5646918 140735147857424 140735147856120 4388974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 41323 40727 135 355 0 40964 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 165292

[startup+6.30028 s]
/proc/loadavg: 2.19 2.10 2.08 3/177 11524
/proc/meminfo: memFree=31249216/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=188568 CPUtime=6.16 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 41996 0 0 0 602 14 0 0 20 0 1 0 55786181 193093632 43764 33554432000 4194304 5646918 140735147857424 140735147856120 4402761 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 47142 43764 135 355 0 46783 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 188568

[startup+12.7003 s]
/proc/loadavg: 2.17 2.10 2.08 3/177 11524
/proc/meminfo: memFree=31228760/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=207536 CPUtime=12.55 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 42555 0 0 0 1241 14 0 0 20 0 1 0 55786181 212516864 48919 33554432000 4194304 5646918 140735147857424 140735147856120 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 51884 48919 135 355 0 51525 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 207536

[startup+25.5004 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 11524
/proc/meminfo: memFree=31204552/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=238356 CPUtime=25.36 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 43080 0 0 0 2521 15 0 0 20 0 1 0 55786181 244076544 54551 33554432000 4194304 5646918 140735147857424 140735147856120 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 59589 54551 135 355 0 59230 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 238356

[startup+51.1003 s]
/proc/loadavg: 2.15 2.10 2.08 3/178 11527
/proc/meminfo: memFree=31132544/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=288444 CPUtime=50.95 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 43609 0 0 0 5080 15 0 0 20 0 1 0 55786181 295366656 62231 33554432000 4194304 5646918 140735147857424 140735147856120 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 72111 62231 135 355 0 71752 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 288444

[startup+102.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/177 11528
/proc/meminfo: memFree=31097844/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=369832 CPUtime=102.15 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 44141 0 0 0 10199 16 0 0 20 0 1 0 55786181 378707968 72471 33554432000 4194304 5646918 140735147857424 140735147856120 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 92458 72471 135 355 0 92099 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 369832

[startup+162.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/177 11529
/proc/meminfo: memFree=31077300/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=370916 CPUtime=162.13 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 44395 0 0 0 16196 17 0 0 20 0 1 0 55786181 379817984 84478 33554432000 4194304 5646918 140735147857424 140735147855720 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 92729 84478 135 355 0 92370 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 370916

[startup+222.307 s]
/proc/loadavg: 2.05 2.07 2.07 3/177 11531
/proc/meminfo: memFree=30989288/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=374128 CPUtime=222.13 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 45008 0 0 0 22195 18 0 0 20 0 1 0 55786181 383107072 92762 33554432000 4194304 5646918 140735147857424 140735147855560 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 93532 92762 135 355 0 93173 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 374128

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.07 3/177 11532
/proc/meminfo: memFree=31012728/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=510096 CPUtime=282.07 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 46400 0 0 0 28189 18 0 0 20 0 1 0 55786181 522338304 100237 33554432000 4194304 5646918 140735147857424 140735147855560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 127524 100237 135 355 0 127165 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 510096

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/177 11533
/proc/meminfo: memFree=30945716/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=515660 CPUtime=342.05 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 47662 0 0 0 34186 19 0 0 20 0 1 0 55786181 528035840 107279 33554432000 4194304 5646918 140735147857424 140735147855560 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 128915 107279 135 355 0 128556 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 515660

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/177 11534
/proc/meminfo: memFree=30953788/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=518376 CPUtime=402.04 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 48303 0 0 0 40185 19 0 0 20 0 1 0 55786181 530817024 113539 33554432000 4194304 5646918 140735147857424 140735147855560 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 129594 113539 135 355 0 129235 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 518376

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/177 11535
/proc/meminfo: memFree=30882672/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=523232 CPUtime=462.03 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 49194 0 0 0 46183 20 0 0 20 0 1 0 55786181 535789568 119539 33554432000 4194304 5646918 140735147857424 140735147855560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 130808 119539 135 355 0 130449 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 523232

[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/177 11537
/proc/meminfo: memFree=30904324/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=524368 CPUtime=522.02 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 49483 0 0 0 52182 20 0 0 20 0 1 0 55786181 536952832 125960 33554432000 4194304 5646918 140735147857424 140735147855560 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 131092 125960 135 355 0 130733 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 524368

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/177 11538
/proc/meminfo: memFree=31181236/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=261392 CPUtime=582.01 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 51933 0 0 0 58179 22 0 0 20 0 1 0 55786181 267665408 56572 33554432000 4194304 5646918 140735147857424 140735147856120 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 65348 56572 137 355 0 64989 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 261392


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.17 2.10 2.07 3/177 11547
/proc/meminfo: memFree=30911580/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=529004 CPUtime=881.97 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 54349 0 0 0 88170 27 0 0 20 0 1 0 55786181 541700096 108545 33554432000 4194304 5646918 140735147857424 140735147855560 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 132251 108545 137 355 0 131892 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 529004

[startup+942.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/177 11548
/proc/meminfo: memFree=30898424/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=529616 CPUtime=941.95 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 54537 0 0 0 94168 27 0 0 20 0 1 0 55786181 542326784 114354 33554432000 4194304 5646918 140735147857424 140735147855560 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 132404 114354 137 355 0 132045 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 529616

[startup+1002.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/176 11549
/proc/meminfo: memFree=30911680/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=531324 CPUtime=1001.95 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 54915 0 0 0 100167 28 0 0 20 0 1 0 55786181 544075776 119842 33554432000 4194304 5646918 140735147857424 140735147855560 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 132831 119842 137 355 0 132472 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 531324

[startup+1062.3 s]
/proc/loadavg: 2.12 2.09 2.07 3/177 11551
/proc/meminfo: memFree=30831504/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=531828 CPUtime=1061.93 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 55042 0 0 0 106165 28 0 0 20 0 1 0 55786181 544591872 128764 33554432000 4194304 5646918 140735147857424 140735147855560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 132957 128764 137 355 0 132598 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 531828

[startup+1122.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/177 11553
/proc/meminfo: memFree=30805796/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=748236 CPUtime=1121.88 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 55962 0 0 0 112159 29 0 0 20 0 1 0 55786181 766193664 135768 33554432000 4194304 5646918 140735147857424 140735147855560 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 187059 135768 137 355 0 186700 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 748236

[startup+1182.3 s]
/proc/loadavg: 2.24 2.12 2.08 3/177 11554
/proc/meminfo: memFree=30779908/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=749564 CPUtime=1181.84 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 56312 0 0 0 118155 29 0 0 20 0 1 0 55786181 767553536 142202 33554432000 4194304 5646918 140735147857424 140735147855560 4402840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 187391 142202 137 355 0 187032 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 749564

[startup+1242.3 s]
/proc/loadavg: 2.22 2.13 2.08 3/178 11558
/proc/meminfo: memFree=30794888/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=750768 CPUtime=1241.84 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 56603 0 0 0 124154 30 0 0 20 0 1 0 55786181 768786432 148620 33554432000 4194304 5646918 140735147857424 140735147855560 4403497 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 187692 148620 137 355 0 187333 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 750768

[startup+1302.3 s]
/proc/loadavg: 2.20 2.13 2.09 4/177 11559
/proc/meminfo: memFree=30778364/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=751524 CPUtime=1301.82 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 56802 0 0 0 130152 30 0 0 20 0 1 0 55786181 769560576 152906 33554432000 4194304 5646918 140735147857424 140735147855560 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 187881 152906 137 355 0 187522 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 751524

[startup+1362.3 s]
/proc/loadavg: 2.19 2.15 2.09 3/177 11560
/proc/meminfo: memFree=31173220/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=223836 CPUtime=1361.82 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 57599 0 0 0 136151 31 0 0 20 0 1 0 55786181 229208064 54307 33554432000 4194304 5646918 140735147857424 140735147856120 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 55959 54307 137 355 0 55600 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 223836

[startup+1422.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/177 11562
/proc/meminfo: memFree=31097080/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=327000 CPUtime=1421.81 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 59894 0 0 0 142148 33 0 0 20 0 1 0 55786181 334848000 73457 33554432000 4194304 5646918 140735147857424 140735147855560 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 81750 73457 137 355 0 81391 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 327000

[startup+1482.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/177 11563
/proc/meminfo: memFree=30997732/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=409292 CPUtime=1481.79 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 60626 0 0 0 148145 34 0 0 20 0 1 0 55786181 419115008 89006 33554432000 4194304 5646918 140735147857424 140735147855560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 102323 89006 137 355 0 101964 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 409292

[startup+1542.31 s]
/proc/loadavg: 2.15 2.13 2.09 3/177 11564
/proc/meminfo: memFree=30990376/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=409608 CPUtime=1541.8 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 60726 0 0 0 154145 35 0 0 20 0 1 0 55786181 419438592 99326 33554432000 4194304 5646918 140735147857424 140735147855560 4403438 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 102402 99326 137 355 0 102043 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 409608

[startup+1602.3 s]
/proc/loadavg: 2.21 2.15 2.10 4/177 11620
/proc/meminfo: memFree=31046920/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=542248 CPUtime=1601.78 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 61322 0 0 0 160142 36 0 0 20 0 1 0 55786181 555261952 108097 33554432000 4194304 5646918 140735147857424 140735147855560 4402844 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 135562 108097 137 355 0 135203 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 542248

[startup+1662.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/177 11621
/proc/meminfo: memFree=31012124/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=542976 CPUtime=1661.78 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 61485 0 0 0 166141 37 0 0 20 0 1 0 55786181 556007424 115925 33554432000 4194304 5646918 140735147857424 140735147855560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 135744 115925 137 355 0 135385 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 542976

[startup+1722.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/176 11622
/proc/meminfo: memFree=30986068/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=544176 CPUtime=1721.76 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 61751 0 0 0 172139 37 0 0 20 0 1 0 55786181 557236224 122323 33554432000 4194304 5646918 140735147857424 140735147855560 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 136044 122323 137 355 0 135685 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 544176

[startup+1782.3 s]
/proc/loadavg: 2.19 2.13 2.10 3/177 11624
/proc/meminfo: memFree=30962044/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=545028 CPUtime=1781.75 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 61958 0 0 0 178138 37 0 0 20 0 1 0 55786181 558108672 128151 33554432000 4194304 5646918 140735147857424 140735147855560 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 136257 128151 137 355 0 135898 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 545028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 11625
/proc/meminfo: memFree=30954284/32872528 swapFree=527360/560064
[pid=11523] ppid=11520 vsize=545600 CPUtime=1800.05 cores=1,3,5,7
/proc/11523/stat : 11523 (minisatp) R 11520 11523 7428 0 -1 4202496 62081 0 0 0 179967 38 0 0 20 0 1 0 55786181 558694400 129807 33554432000 4194304 5646918 140735147857424 140735147855560 4402802 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/11523/statm: 136400 129807 137 355 0 136041 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 545600

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11523 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.06
CPU user time (s): 1799.68
CPU system time (s): 0.383941
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 752284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.383941
maximum resident set size= 643404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38218 second user time and 8.43172 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-21 21:29:20
IDJOB=4114899
IDBENCH=2139
IDSOLVER=2555
FILE ID=node106/4114899-1466537360
RUNJOBID= node106-1466515278-7445
PBS_JOBID= 19942889
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114899-1466537360/watcher-4114899-1466537360 -o /tmp/evaluation-result-4114899-1466537360/solver-4114899-1466537360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7445 --watchdog 1960  minisatp HOME/instance-4114899-1466537360.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291
RANDOM SEED=589338897

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31423364 kB
Buffers:           19604 kB
Cached:            81820 kB
SwapCached:         2536 kB
Active:           109648 kB
Inactive:          71500 kB
Active(anon):      78160 kB
Inactive(anon):     3776 kB
Active(file):      31488 kB
Inactive(file):    67724 kB
Unevictable:      560064 kB
Mlocked:          527360 kB
SwapTotal:      67108856 kB
SwapFree:       67097112 kB
Dirty:              9436 kB
Writeback:             0 kB
AnonPages:        638540 kB
Mapped:             9464 kB
Shmem:                 0 kB
Slab:             577224 kB
SReclaimable:      20748 kB
SUnreclaim:       556476 kB
KernelStack:        1464 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     752628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114899-1466537360.opb

Free space on /tmp at the end= 71688 MiB
End job on node106 at 2016-06-21 21:59:21