Trace number 4112545

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-d91742bSAT (TO)-42 1800.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUMdadfd792215a2bce735ffb7b3e25dcc5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark454.793
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58579
Number of constraints which are clauses58579
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 constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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...
0.49/0.55	c Converting 58579 PB-constraints to clauses...
0.49/0.55	c   -- Unit propagations: (none)
0.49/0.55	c   -- Detecting intervals from adjacent constraints: (none)
0.49/0.55	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.65	============================[ Search Statistics ]==============================
0.59/0.65	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.65	===============================================================================
0.59/0.65	===============================================================================
0.59/0.65	c Found solution: -33
0.59/0.65	c ---[   0]---> Sorter-cost:44290     Base:
2.39/2.42	|  Eliminated clauses:           0.47 Mb                                      |
2.39/2.42	============================[ Search Statistics ]==============================
2.39/2.42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.39/2.42	===============================================================================
2.39/2.42	|       100 |   16577    91690   255401 |    33619       94     49 |  0.151 % |
2.39/2.42	|       250 |   16440    91690   255401 |    36981      234     39 |  0.590 % |
2.39/2.42	|       475 |   16262    91690   255401 |    40679      419     43 |  1.161 % |
2.39/2.42	|       812 |   16019    91690   255401 |    44747      736     38 |  1.939 % |
2.39/2.42	|      1318 |   15668    91690   255401 |    49222     1214     42 |  3.064 % |
2.39/2.42	|      2077 |   15065    91690   255401 |    54144     1868     45 |  4.997 % |
2.39/2.42	|      3216 |   14293    91690   255401 |    59559     2934     44 |  7.472 % |
2.39/2.42	|      4924 |   13518    91690   255401 |    65515     4527     46 |  9.956 % |
2.39/2.42	|      7486 |   12671    91690   255401 |    72066     7002     52 | 12.671 % |
2.39/2.42	|     11330 |   11889    91690   255401 |    79273    10656     61 | 15.178 % |
2.39/2.42	===============================================================================
2.39/2.42	c Found solution: -35
2.39/2.43	c ---[   0]---> Sorter-cost:    0     Base:
4.89/4.94	|  Eliminated clauses:           0.49 Mb                                      |
4.89/4.94	============================[ Search Statistics ]==============================
4.89/4.94	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.94	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.89/4.94	===============================================================================
4.89/4.94	|     12006 |   11606    81138   209530 |    29750    11329     62 | 15.293 % |
4.89/4.94	|     12156 |   11568    81138   209530 |    32725    11477     62 | 15.413 % |
4.89/4.94	|     12381 |   11553    81138   209530 |    35998    11684     62 | 15.460 % |
4.89/4.94	|     12718 |   11441    81138   209530 |    39598    12015     63 | 15.815 % |
4.89/4.94	|     13224 |   11332    81138   209530 |    43557    12515     63 | 16.160 % |
4.89/4.94	|     13983 |   11071    81138   209530 |    47913    13258     64 | 16.985 % |
4.89/4.94	|     15122 |   10922    81138   209530 |    52705    14234     65 | 17.457 % |
4.89/4.94	|     16830 |   10698    81138   209530 |    57975    15848     67 | 18.165 % |
4.89/4.94	|     19392 |   10525    81138   209530 |    63773    18396     75 | 18.713 % |
4.89/4.94	|     23236 |    9964    81138   209530 |    70150    22160     80 | 20.487 % |
4.89/4.94	|     29002 |    9676    81138   209530 |    77165    27833     92 | 21.398 % |
4.89/4.94	===============================================================================
4.89/4.94	c Found solution: -36
4.89/4.95	c ---[   0]---> Sorter-cost:    0     Base:
7.99/8.00	|  Eliminated clauses:           0.50 Mb                                      |
7.99/8.00	============================[ Search Statistics ]==============================
7.99/8.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.99/8.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.99/8.00	===============================================================================
7.99/8.00	|     30236 |    9298    76247   189257 |    27957    29061     94 | 21.827 % |
7.99/8.00	|     30386 |    9284    76247   189257 |    30752    29210     94 | 21.871 % |
7.99/8.00	|     30611 |    9268    76247   189257 |    33828    29433     95 | 21.922 % |
7.99/8.00	|     30948 |    9237    76247   189257 |    37211    29768     95 | 22.020 % |
7.99/8.00	|     31454 |    9236    76247   189257 |    40932    30273     95 | 22.023 % |
7.99/8.00	|     32213 |    9186    76247   189257 |    45025    31029     95 | 22.182 % |
7.99/8.00	|     33352 |    9149    76247   189257 |    49527    32164     97 | 22.299 % |
7.99/8.00	|     35060 |    9100    76247   189257 |    54480    33868    100 | 22.454 % |
7.99/8.00	|     37622 |    9019    76247   189257 |    59928    35864    101 | 22.710 % |
7.99/8.00	|     41466 |    8729    76247   189257 |    65921    39693    104 | 23.627 % |
7.99/8.00	|     47232 |    8615    76247   189257 |    72513    45450    110 | 23.988 % |
7.99/8.00	===============================================================================
7.99/8.00	c Found solution: -37
7.99/8.00	c ---[   0]---> Sorter-cost:    0     Base:
57.38/57.46	|  Eliminated clauses:           0.50 Mb                                      |
57.38/57.46	============================[ Search Statistics ]==============================
57.38/57.46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.38/57.46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
57.38/57.46	===============================================================================
57.38/57.46	|     48280 |    8519    74604   182536 |    27354    20451     99 | 24.023 % |
57.38/57.46	|     48430 |    8519    74604   182536 |    30090    20601    100 | 24.023 % |
57.38/57.46	|     48655 |    8494    74604   182536 |    33099    20824    100 | 24.102 % |
57.38/57.46	|     48992 |    8494    74604   182536 |    36409    21161    100 | 24.102 % |
57.38/57.46	|     49498 |    8475    74604   182536 |    40050    21666    101 | 24.162 % |
57.38/57.46	|     50257 |    8475    74604   182536 |    44055    22065    101 | 24.162 % |
57.38/57.46	|     51396 |    8475    74604   182536 |    48460    23204    103 | 24.162 % |
57.38/57.46	|     53104 |    8409    74604   182536 |    53306    24908    105 | 24.370 % |
57.38/57.46	|     55666 |    8281    74604   182536 |    58637    27461    107 | 24.774 % |
57.38/57.46	|     59510 |    8183    74604   182536 |    64501    31300    110 | 25.084 % |
57.38/57.46	|     65276 |    8023    74604   182536 |    70951    37016    118 | 25.589 % |
57.38/57.46	|     73925 |    7834    74604   182536 |    78046    45654    125 | 26.186 % |
57.38/57.46	|     86899 |    7675    74604   182536 |    85851    58491    136 | 26.688 % |
57.38/57.46	|    106360 |    7418    74604   182536 |    94436    77935    147 | 27.500 % |
57.38/57.46	|    135552 |    7069    74604   182536 |   103879    28417    131 | 28.602 % |
57.38/57.46	|    179341 |    6581    74604   182536 |   114267    71970    170 | 30.143 % |
57.38/57.46	===============================================================================
57.38/57.46	c Found solution: -38
57.38/57.46	c ---[   0]---> Sorter-cost:    0     Base:
63.18/63.22	|  Eliminated clauses:           0.51 Mb                                      |
63.18/63.22	============================[ Search Statistics ]==============================
63.18/63.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.18/63.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
63.18/63.22	===============================================================================
63.18/63.22	|    221412 |    6050    69455   161530 |    25466    28121    130 | 30.967 % |
63.18/63.22	|    221562 |    6050    69455   161530 |    28013    28271    130 | 30.966 % |
63.18/63.22	|    221787 |    6050    69455   161530 |    30814    28496    131 | 30.967 % |
63.18/63.22	|    222124 |    6050    69455   161530 |    33896    28833    131 | 30.967 % |
63.18/63.22	|    222630 |    6050    69455   161530 |    37285    29339    131 | 30.967 % |
63.18/63.22	|    223389 |    6018    69455   161530 |    41014    30097    131 | 31.067 % |
63.18/63.22	|    224528 |    6018    69455   161530 |    45116    31236    134 | 31.067 % |
63.18/63.22	|    226236 |    5975    69455   161530 |    49627    32941    134 | 31.203 % |
63.18/63.22	|    228798 |    5973    69455   161530 |    54590    35502    139 | 31.210 % |
63.18/63.22	|    232642 |    5959    69455   161530 |    60049    39345    142 | 31.254 % |
63.18/63.22	|    238408 |    5856    69455   161530 |    66054    45104    146 | 31.579 % |
63.18/63.22	|    247057 |    5839    69455   161530 |    72659    53598    152 | 31.633 % |
63.18/63.22	===============================================================================
63.18/63.22	c Found solution: -39
63.18/63.23	c ---[   0]---> Sorter-cost:    0     Base:
185.67/185.71	|  Eliminated clauses:           0.52 Mb                                      |
185.67/185.71	============================[ Search Statistics ]==============================
185.67/185.71	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.67/185.71	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
185.67/185.71	===============================================================================
185.67/185.71	|    248172 |    5833    69018   160175 |    25306    23849    123 | 32.095 % |
185.67/185.71	|    248322 |    5833    69018   160175 |    27837    23999    123 | 32.095 % |
185.67/185.71	|    248547 |    5833    69018   160175 |    30620    24224    124 | 32.095 % |
185.67/185.71	|    248884 |    5833    69018   160175 |    33683    24561    125 | 32.095 % |
185.67/185.71	|    249390 |    5832    69018   160175 |    37051    25066    125 | 32.098 % |
185.67/185.71	|    250149 |    5832    69018   160175 |    40756    25825    126 | 32.098 % |
185.67/185.71	|    251288 |    5824    69018   160175 |    44832    26963    128 | 32.122 % |
185.67/185.71	|    252996 |    5824    69018   160175 |    49315    28671    131 | 32.122 % |
185.67/185.71	|    255558 |    5796    69018   160175 |    54246    31231    135 | 32.209 % |
185.67/185.71	|    259402 |    5755    69018   160175 |    59671    35072    139 | 32.335 % |
185.67/185.71	|    265168 |    5740    69018   160175 |    65638    40837    144 | 32.381 % |
185.67/185.71	|    273817 |    5541    69018   160175 |    72202    49472    151 | 32.994 % |
185.67/185.71	|    286791 |    5438    69018   160175 |    79422    62359    160 | 33.312 % |
185.67/185.71	|    306252 |    5344    69018   160175 |    87365    81812    171 | 33.601 % |
185.67/185.71	|    335444 |    5183    69018   160175 |    96101    40055    141 | 34.098 % |
185.67/185.71	|    379233 |    4944    69018   160175 |   105711    83779    170 | 34.834 % |
185.67/185.71	|    444917 |    4623    69018   160175 |   116283    58609    167 | 35.823 % |
185.67/185.71	|    543443 |    4326    69018   160175 |   127911    55610    163 | 36.739 % |
185.67/185.71	===============================================================================
185.67/185.71	c Found solution: -40
185.67/185.72	c ---[   0]---> Sorter-cost:    0     Base:
634.98/635.13	|  Eliminated clauses:           0.53 Mb                                      |
634.98/635.13	============================[ Search Statistics ]==============================
634.98/635.13	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
634.98/635.13	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
634.98/635.13	===============================================================================
634.98/635.13	|    622621 |    3775    64658   142719 |    23707    27095    142 | 37.722 % |
634.98/635.13	|    622771 |    3775    64658   142719 |    26078    27245    142 | 37.722 % |
634.98/635.13	|    622996 |    3775    64658   142719 |    28686    27470    142 | 37.722 % |
634.98/635.13	|    623333 |    3775    64658   142719 |    31555    27807    142 | 37.722 % |
634.98/635.13	|    623839 |    3775    64658   142719 |    34710    28313    142 | 37.722 % |
634.98/635.13	|    624598 |    3757    64658   142719 |    38181    29071    142 | 37.778 % |
634.98/635.13	|    625737 |    3757    64658   142719 |    42000    30210    144 | 37.778 % |
634.98/635.13	|    627445 |    3755    64658   142719 |    46200    31917    145 | 37.784 % |
634.98/635.13	|    630007 |    3755    64658   142719 |    50820    34479    147 | 37.784 % |
634.98/635.13	|    633851 |    3755    64658   142719 |    55902    38323    149 | 37.784 % |
634.98/635.13	|    639617 |    3662    64658   142719 |    61492    44084    153 | 38.070 % |
634.98/635.13	|    648266 |    3632    64658   142719 |    67641    52731    156 | 38.163 % |
634.98/635.13	|    661240 |    3570    64658   142719 |    74405    65700    163 | 38.354 % |
634.98/635.13	|    680701 |    3548    64658   142719 |    81846    85157    167 | 38.422 % |
634.98/635.13	|    709893 |    3491    64658   142719 |    90030    46112    155 | 38.597 % |
634.98/635.13	|    753682 |    3427    64658   142719 |    99033    89719    171 | 38.795 % |
634.98/635.13	|    819366 |    3324    64658   142719 |   108937    69704    169 | 39.112 % |
634.98/635.13	|    917892 |    3255    64658   142719 |   119831    72490    172 | 39.325 % |
634.98/635.13	|   1065681 |    3065    64658   142719 |   131814   114800    180 | 39.910 % |
634.98/635.13	|   1287364 |    2883    64658   142719 |   144995    85761    178 | 40.471 % |
634.98/635.13	|   1619889 |    2622    64658   142719 |   159495   145323    174 | 41.275 % |
634.98/635.13	===============================================================================
634.98/635.13	c Found solution: -41
634.98/635.13	c ---[   0]---> Sorter-cost:    0     Base:
1115.41/1115.68	|  Eliminated clauses:           0.54 Mb                                      |
1115.41/1115.68	============================[ Search Statistics ]==============================
1115.41/1115.68	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1115.41/1115.68	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1115.41/1115.68	===============================================================================
1115.41/1115.68	|   2044683 |    2338    61587   130923 |    22581    25012    148 | 41.640 % |
1115.41/1115.68	|   2044833 |    2338    61587   130923 |    24840    25162    147 | 41.640 % |
1115.41/1115.68	|   2045058 |    2338    61587   130923 |    27324    25387    147 | 41.640 % |
1115.41/1115.68	|   2045395 |    2338    61587   130923 |    30056    25724    147 | 41.640 % |
1115.41/1115.68	|   2045901 |    2338    61587   130923 |    33062    26230    147 | 41.640 % |
1115.41/1115.68	|   2046660 |    2338    61587   130923 |    36368    26989    147 | 41.640 % |
1115.41/1115.68	|   2047799 |    2338    61587   130923 |    40005    28128    148 | 41.640 % |
1115.41/1115.68	|   2049507 |    2338    61587   130923 |    44005    29836    148 | 41.640 % |
1115.41/1115.68	|   2052069 |    2338    61587   130923 |    48406    32365    149 | 41.640 % |
1115.41/1115.68	|   2055913 |    2338    61587   130923 |    53246    36209    149 | 41.640 % |
1115.41/1115.68	|   2061679 |    2323    61587   130923 |    58571    41974    149 | 41.686 % |
1115.41/1115.68	|   2070328 |    2304    61587   130923 |    64428    50621    150 | 41.744 % |
1115.41/1115.68	|   2083302 |    2281    61587   130923 |    70871    63472    150 | 41.815 % |
1115.41/1115.68	|   2102763 |    2265    61587   130923 |    77958    82931    152 | 41.864 % |
1115.41/1115.68	|   2131955 |    2242    61587   130923 |    85754    43866    149 | 41.935 % |
1115.41/1115.68	|   2175744 |    2231    61587   130923 |    94330    87088    153 | 41.969 % |
1115.41/1115.68	|   2241428 |    2224    61587   130923 |   103763    68592    154 | 41.990 % |
1115.41/1115.68	|   2339954 |    2196    61587   130923 |   114139    74738    143 | 42.076 % |
1115.41/1115.68	|   2487743 |    2128    61587   130923 |   125553   121540    152 | 42.286 % |
1115.41/1115.68	|   2709426 |    2086    61587   130923 |   138108   108818    144 | 42.415 % |
1115.41/1115.68	|   3041951 |    2042    61587   130923 |   151919    47442    195 | 42.550 % |
1115.41/1115.68	|   3540739 |    2031    61587   130923 |   167111   117570    135 | 42.584 % |
1115.41/1115.68	===============================================================================
1115.41/1115.68	c Found solution: -42
1115.41/1115.68	c ---[   0]---> Sorter-cost:    0     Base:
1800.00/1800.30	|  Eliminated clauses:           0.54 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   3887179 |    1895    60616   127198 |    22225    21577    151 | 42.853 % |
1800.00/1800.30	|   3887329 |    1895    60616   127198 |    24448    21727    151 | 42.853 % |
1800.00/1800.30	|   3887554 |    1895    60616   127198 |    26893    21952    151 | 42.853 % |
1800.00/1800.30	|   3887891 |    1895    60616   127198 |    29582    22289    150 | 42.853 % |
1800.00/1800.30	|   3888397 |    1895    60616   127198 |    32540    22795    149 | 42.853 % |
1800.00/1800.30	|   3889156 |    1895    60616   127198 |    35794    23554    148 | 42.853 % |
1800.00/1800.30	|   3890295 |    1895    60616   127198 |    39374    24693    148 | 42.853 % |
1800.00/1800.30	|   3892003 |    1895    60616   127198 |    43311    26401    146 | 42.853 % |
1800.00/1800.30	|   3894565 |    1895    60616   127198 |    47643    28963    144 | 42.853 % |
1800.00/1800.30	|   3898409 |    1895    60616   127198 |    52407    32807    142 | 42.853 % |
1800.00/1800.30	|   3904175 |    1895    60616   127198 |    57648    38573    140 | 42.853 % |
1800.00/1800.30	|   3912824 |    1895    60616   127198 |    63412    47222    136 | 42.853 % |
1800.00/1800.30	|   3925798 |    1895    60616   127198 |    69754    60196    135 | 42.853 % |
1800.00/1800.30	|   3945259 |    1884    60616   127198 |    76729    79655    135 | 42.887 % |
1800.00/1800.30	|   3974451 |    1883    60616   127198 |    84402    41014    130 | 42.890 % |
1800.00/1800.30	|   4018240 |    1882    60616   127198 |    92842    84799    131 | 42.893 % |
1800.00/1800.30	|   4083924 |    1881    60616   127198 |   102127    67489    130 | 42.896 % |
1800.00/1800.30	|   4182450 |    1881    60616   127198 |   112339    74613    121 | 42.896 % |
1800.00/1800.30	|   4330239 |    1865    60616   127198 |   123573   122809    121 | 42.945 % |
1800.00/1800.30	|   4551922 |    1856    60616   127198 |   135931   112353    122 | 42.973 % |
1800.00/1800.30	|   4884447 |    1828    60616   127198 |   149524    63504    109 | 43.059 % |
1800.00/1800.30	|   5383235 |    1784    60616   127198 |   164476   145727    112 | 43.194 % |
1800.00/1800.30	|   6131417 |    1727    60616   127198 |   180924   128866    178 | 43.369 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-42

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-4112545-1466540728/watcher-4112545-1466540728 -o /tmp/evaluation-result-4112545-1466540728/solver-4112545-1466540728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17585 --watchdog 1960 minisatp HOME/instance-4112545-1466540728.opb 

pid=22843
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.12 2.17 2.17 3/176 22846
/proc/meminfo: memFree=30740052/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=6632 CPUtime=0 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 56121747 6791168 264 33554432000 4194304 5646918 140735423696528 140734378879320 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 1658 265 94 355 0 1299 0

[startup+0.100167 s]
/proc/loadavg: 2.12 2.17 2.17 3/176 22846
/proc/meminfo: memFree=30740052/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=12356 CPUtime=0.09 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 1800 0 0 0 9 0 0 0 20 0 1 0 56121747 12652544 1676 33554432000 4194304 5646918 140735423696528 140734378879320 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 3089 1676 94 355 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12356

[startup+0.20033 s]
/proc/loadavg: 2.12 2.17 2.17 3/176 22846
/proc/meminfo: memFree=30740052/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=18540 CPUtime=0.19 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 3313 0 0 0 19 0 0 0 20 0 1 0 56121747 18984960 3189 33554432000 4194304 5646918 140735423696528 140734378879320 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 4635 3190 94 355 0 4276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18540

[startup+0.300312 s]
/proc/loadavg: 2.12 2.17 2.17 3/176 22846
/proc/meminfo: memFree=30740052/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=24536 CPUtime=0.29 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 4827 0 0 0 29 0 0 0 20 0 1 0 56121747 25124864 4703 33554432000 4194304 5646918 140735423696528 140735423695896 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 6134 4704 94 355 0 5775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24536

[startup+0.700298 s]
/proc/loadavg: 2.12 2.17 2.17 3/176 22846
/proc/meminfo: memFree=30740052/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=51152 CPUtime=0.68 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 11960 0 0 0 66 2 0 0 20 0 1 0 56121747 52379648 11996 33554432000 4194304 5646918 140735423696528 140735423695896 4388221 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 12788 12000 134 355 0 12429 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 51152

[startup+1.50022 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 22847
/proc/meminfo: memFree=30687720/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=52152 CPUtime=1.49 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 12777 0 0 0 146 3 0 0 20 0 1 0 56121747 53403648 12441 33554432000 4194304 5646918 140735423696528 140735423695288 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 13038 12441 155 355 0 12679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52152

[startup+3.10029 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 22847
/proc/meminfo: memFree=30684448/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=56548 CPUtime=3.09 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 13694 0 0 0 306 3 0 0 20 0 1 0 56121747 57905152 13350 33554432000 4194304 5646918 140735423696528 140735423695224 4396923 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 14137 13350 155 355 0 13778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56548

[startup+6.30032 s]
/proc/loadavg: 2.19 2.18 2.17 3/177 22847
/proc/meminfo: memFree=30668176/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=68148 CPUtime=6.29 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 14561 0 0 0 626 3 0 0 20 0 1 0 56121747 69783552 16255 33554432000 4194304 5646918 140735423696528 140735423694808 4398927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 17037 16255 156 355 0 16678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68148

[startup+12.7003 s]
/proc/loadavg: 2.18 2.18 2.17 3/177 22847
/proc/meminfo: memFree=30906444/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=79824 CPUtime=12.69 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 15858 0 0 0 1265 4 0 0 20 0 1 0 56121747 81739776 18244 33554432000 4194304 5646918 140735423696528 140735423695224 4399854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 19956 18244 156 355 0 19597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79824

[startup+25.5004 s]
/proc/loadavg: 2.28 2.20 2.18 3/177 22847
/proc/meminfo: memFree=30838936/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=129612 CPUtime=25.49 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 16968 0 0 0 2544 5 0 0 20 0 1 0 56121747 132722688 25992 33554432000 4194304 5646918 140735423696528 140735423695224 4397536 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 32403 25992 156 355 0 32044 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129612

[startup+51.1004 s]
/proc/loadavg: 2.18 2.18 2.17 3/177 22847
/proc/meminfo: memFree=30729176/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=51.08 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 18069 0 0 0 5101 7 0 0 20 0 1 0 56121747 183021568 37477 33554432000 4194304 5646918 140735423696528 140735423695224 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 37477 156 355 0 44324 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 178732

[startup+102.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 22849
/proc/meminfo: memFree=30658740/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=102.29 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 19152 0 0 0 10217 12 0 0 20 0 1 0 56121747 183021568 34948 33554432000 4194304 5646918 140735423696528 140735423695224 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 34948 157 355 0 44324 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 178732

[startup+162.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 22850
/proc/meminfo: memFree=30585864/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=162.26 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 21024 0 0 0 16209 17 0 0 20 0 1 0 56121747 183021568 34444 33554432000 4194304 5646918 140735423696528 140735423695224 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 34444 157 355 0 44324 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 178732

[startup+222.307 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 22851
/proc/meminfo: memFree=30730276/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=222.26 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 22070 0 0 0 22204 22 0 0 20 0 1 0 56121747 183021568 35982 33554432000 4194304 5646918 140735423696528 140735423695224 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 35982 157 355 0 44324 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 178732

[startup+282.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/178 22855
/proc/meminfo: memFree=30579968/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=282.25 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 23119 0 0 0 28198 27 0 0 20 0 1 0 56121747 183021568 39054 33554432000 4194304 5646918 140735423696528 140735423695224 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 39054 157 355 0 44324 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 178732

[startup+342.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/177 22856
/proc/meminfo: memFree=30522164/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=147912 CPUtime=342.24 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 24916 0 0 0 34193 31 0 0 20 0 1 0 56121747 151461888 33355 33554432000 4194304 5646918 140735423696528 140735423694824 4397648 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 36978 33355 157 355 0 36619 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 147912

[startup+402.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 22858
/proc/meminfo: memFree=30732648/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=178732 CPUtime=402.23 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 25942 0 0 0 40189 34 0 0 20 0 1 0 56121747 183021568 40590 33554432000 4194304 5646918 140735423696528 140735423695224 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 44683 40590 157 355 0 44324 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 178732

[startup+462.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/177 22859
/proc/meminfo: memFree=30591580/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=228820 CPUtime=462.22 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 27711 0 0 0 46185 37 0 0 20 0 1 0 56121747 234311680 45499 33554432000 4194304 5646918 140735423696528 140735423695224 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 57205 45499 157 355 0 56846 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 228820

[startup+522.3 s]
/proc/loadavg: 2.14 2.14 2.16 3/177 22860
/proc/meminfo: memFree=30544580/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=522.21 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 29284 0 0 0 52179 42 0 0 20 0 1 0 56121747 193310720 40077 33554432000 4194304 5646918 140735423696528 140735423695224 4389088 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 40077 157 355 0 46836 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 188780

[startup+582.3 s]
/proc/loadavg: 2.20 2.16 2.16 3/177 22861
/proc/meminfo: memFree=30457108/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=582.19 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 30251 0 0 0 58174 45 0 0 20 0 1 0 56121747 193310720 44173 33554432000 4194304 5646918 140735423696528 140735423695224 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 44173 157 355 0 46836 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 188780


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.11 3/177 22871
/proc/meminfo: memFree=30767764/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=942.14 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 36444 0 0 0 94142 72 0 0 20 0 1 0 56121747 193310720 42680 33554432000 4194304 5646918 140735423696528 140735423695224 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 42680 157 355 0 46836 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 188780

[startup+1002.3 s]
/proc/loadavg: 2.11 2.08 2.11 3/176 22872
/proc/meminfo: memFree=30725172/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1002.12 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 38206 0 0 0 100137 75 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 108640

[startup+1062.3 s]
/proc/loadavg: 2.17 2.09 2.11 2/171 22906
/proc/meminfo: memFree=30955524/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1062.11 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 39246 0 0 0 106133 78 0 0 20 0 1 0 56121747 193310720 41656 33554432000 4194304 5646918 140735423696528 140735423695224 4403113 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 41656 157 355 0 46836 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 188780

[startup+1122.3 s]
/proc/loadavg: 2.22 2.12 2.11 3/177 22930
/proc/meminfo: memFree=28947468/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=157960 CPUtime=1122.1 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 40214 0 0 0 112128 82 0 0 20 0 1 0 56121747 161751040 34933 33554432000 4194304 5646918 140735423696528 140735423694824 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 39490 34933 157 355 0 39131 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 157960

[startup+1182.3 s]
/proc/loadavg: 2.23 2.14 2.12 3/177 22931
/proc/meminfo: memFree=27619716/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1182.09 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 40494 0 0 0 118123 86 0 0 20 0 1 0 56121747 193310720 39069 33554432000 4194304 5646918 140735423696528 140735423694824 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 39069 157 355 0 46836 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 188780

[startup+1242.3 s]
/proc/loadavg: 2.24 2.16 2.12 4/177 22932
/proc/meminfo: memFree=27177880/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1242.09 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 40743 0 0 0 124119 90 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4397980 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 108640

[startup+1302.3 s]
/proc/loadavg: 2.19 2.16 2.12 3/177 22933
/proc/meminfo: memFree=26453504/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1302.08 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 40959 0 0 0 130114 94 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4402863 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 108640

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.13 3/177 22935
/proc/meminfo: memFree=25859212/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=157960 CPUtime=1362.07 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 42017 0 0 0 136109 98 0 0 20 0 1 0 56121747 161751040 34421 33554432000 4194304 5646918 140735423696528 140735423695240 4400576 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 39490 34421 157 355 0 39131 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 157960

[startup+1422.3 s]
/proc/loadavg: 2.19 2.17 2.12 3/177 22936
/proc/meminfo: memFree=25014076/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1422.07 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 42212 0 0 0 142105 102 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 108640

[startup+1482.3 s]
/proc/loadavg: 2.12 2.15 2.12 3/178 22940
/proc/meminfo: memFree=24378132/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1482.05 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 42432 0 0 0 148101 104 0 0 20 0 1 0 56121747 193310720 43704 33554432000 4194304 5646918 140735423696528 140735423695224 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 43704 157 355 0 46836 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 188780

[startup+1542.31 s]
/proc/loadavg: 2.09 2.13 2.11 3/177 22941
/proc/meminfo: memFree=23801684/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=157960 CPUtime=1542.04 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 42696 0 0 0 154097 107 0 0 20 0 1 0 56121747 161751040 38517 33554432000 4194304 5646918 140735423696528 140735423694824 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 39490 38517 157 355 0 39131 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 157960

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.11 3/177 22942
/proc/meminfo: memFree=23225812/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1602.04 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 43711 0 0 0 160092 112 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4399359 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 108640

[startup+1662.3 s]
/proc/loadavg: 2.15 2.14 2.11 3/177 22944
/proc/meminfo: memFree=22104384/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1662.03 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 45171 0 0 0 166087 116 0 0 20 0 1 0 56121747 193310720 39608 33554432000 4194304 5646918 140735423696528 140735423695224 4388947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 39608 157 355 0 46836 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 188780

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.11 3/177 22945
/proc/meminfo: memFree=21567896/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1722.01 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 46646 0 0 0 172082 119 0 0 20 0 1 0 56121747 193310720 40632 33554432000 4194304 5646918 140735423696528 140735423695224 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 40632 157 355 0 46836 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 188780

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.11 3/177 22946
/proc/meminfo: memFree=20994208/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=188780 CPUtime=1782 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 47588 0 0 0 178079 121 0 0 20 0 1 0 56121747 193310720 45752 33554432000 4194304 5646918 140735423696528 140735423695224 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 47195 45752 157 355 0 46836 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 188780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.16 2.12 3/177 22947
/proc/meminfo: memFree=20907920/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1800 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 48414 0 0 0 179877 123 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 108640

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 22846 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.19 2.16 2.12 3/177 22947
/proc/meminfo: memFree=20907920/32872528 swapFree=877056/942464
[pid=22846] ppid=22843 vsize=108640 CPUtime=1800 cores=1,3,5,7
/proc/22846/stat : 22846 (minisatp) R 22843 22846 17568 0 -1 4202496 48414 0 0 0 179877 123 0 0 20 0 1 0 56121747 111247360 26734 33554432000 4194304 5646918 140735423696528 140735423695240 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22846/statm: 27160 26734 157 355 0 26801 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 108640

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1798.78
CPU system time (s): 1.23781
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 320256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.23781
maximum resident set size= 247700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48414
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= 22
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6213 second user time and 6.90295 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-21 22:25:28
IDJOB=4112545
IDBENCH=2254
IDSOLVER=2555
FILE ID=node113/4112545-1466540728
RUNJOBID= node113-1466514731-17585
PBS_JOBID= 19942876
Free space on /tmp= 71700 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112545-1466540728/watcher-4112545-1466540728 -o /tmp/evaluation-result-4112545-1466540728/solver-4112545-1466540728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17585 --watchdog 1960  minisatp HOME/instance-4112545-1466540728.opb

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

MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5
RANDOM SEED=1279888935

node113.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		: 2666.799
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	: 5333.59
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		: 2666.799
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		: 2666.799
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.56
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		: 2666.799
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.55
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		: 2666.799
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		: 2666.799
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.54
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		: 2666.799
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.54
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		: 2666.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30740232 kB
Buffers:           30932 kB
Cached:            54928 kB
SwapCached:         2404 kB
Active:           426460 kB
Inactive:          45652 kB
Active(anon):     382028 kB
Inactive(anon):     7080 kB
Active(file):      44432 kB
Inactive(file):    38572 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:              5048 kB
Writeback:             0 kB
AnonPages:       1328212 kB
Mapped:             8820 kB
Shmem:                 0 kB
Slab:             582284 kB
SReclaimable:      26224 kB
SUnreclaim:       556060 kB
KernelStack:        1472 kB
PageTables:         6856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1510540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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-4112545-1466540728.opb

Free space on /tmp at the end= 71536 MiB
End job on node113 at 2016-06-21 22:55:29