Trace number 4112544

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)-43 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-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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.54	c Converting 58245 PB-constraints to clauses...
0.49/0.54	c   -- Unit propagations: (none)
0.49/0.54	c   -- Detecting intervals from adjacent constraints: (none)
0.49/0.54	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.63	============================[ Search Statistics ]==============================
0.59/0.63	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.63	===============================================================================
0.59/0.63	===============================================================================
0.59/0.63	c Found solution: -29
0.59/0.63	c ---[   0]---> Sorter-cost:44290     Base:
0.99/1.07	|  Eliminated clauses:           0.47 Mb                                      |
0.99/1.07	============================[ Search Statistics ]==============================
0.99/1.07	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.07	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.99/1.07	===============================================================================
0.99/1.07	|       100 |   16501    91249   254265 |    33457       93     16 |  0.286 % |
0.99/1.07	|       250 |   16322    91249   254265 |    36803      228     21 |  0.863 % |
0.99/1.07	|       475 |   15932    91249   254265 |    40484      417     23 |  2.118 % |
0.99/1.07	|       812 |   15656    91249   254265 |    44532      729     28 |  3.007 % |
0.99/1.07	===============================================================================
0.99/1.07	c Found solution: -34
0.99/1.07	c ---[   0]---> Sorter-cost:    0     Base:
1.99/2.03	|  Eliminated clauses:           0.49 Mb                                      |
1.99/2.03	============================[ Search Statistics ]==============================
1.99/2.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.99/2.03	===============================================================================
1.99/2.03	|      1200 |   15218    88512   242800 |    32454     1025     33 |  4.245 % |
1.99/2.03	|      1350 |   15150    88512   242800 |    35699     1167     34 |  4.460 % |
1.99/2.03	|      1575 |   14950    88512   242800 |    39269     1364     34 |  5.090 % |
1.99/2.03	|      1912 |   14707    88512   242800 |    43196     1664     35 |  5.855 % |
1.99/2.03	|      2418 |   14555    88512   242800 |    47516     2160     37 |  6.335 % |
1.99/2.03	|      3177 |   14106    88512   242800 |    52268     2873     37 |  7.750 % |
1.99/2.03	|      4316 |   13673    88512   242800 |    57494     3978     44 |  9.114 % |
1.99/2.03	|      6024 |   12918    88512   242800 |    63244     5596     46 | 11.493 % |
1.99/2.03	===============================================================================
1.99/2.03	c Found solution: -36
1.99/2.03	c ---[   0]---> Sorter-cost:    0     Base:
8.28/8.32	|  Eliminated clauses:           0.51 Mb                                      |
8.28/8.32	============================[ Search Statistics ]==============================
8.28/8.32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.28/8.32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.28/8.32	===============================================================================
8.28/8.32	|      8556 |   12092    81887   214242 |    30025     8042     55 | 13.458 % |
8.28/8.32	|      8706 |   12059    81887   214242 |    33027     8190     55 | 13.560 % |
8.28/8.32	|      8931 |   12045    81887   214242 |    36330     8414     56 | 13.604 % |
8.28/8.32	|      9268 |   12009    81887   214242 |    39963     8750     57 | 13.716 % |
8.28/8.32	|      9774 |   11908    81887   214242 |    43959     9083     56 | 14.030 % |
8.28/8.32	|     10533 |   11719    81887   214242 |    48355     9828     56 | 14.618 % |
8.28/8.32	|     11672 |   11541    81887   214242 |    53191    10893     58 | 15.172 % |
8.28/8.32	|     13380 |   11176    81887   214242 |    58510    12534     58 | 16.308 % |
8.28/8.32	|     15942 |   10743    81887   214242 |    64361    15034     63 | 17.655 % |
8.28/8.32	|     19786 |   10496    81887   214242 |    70797    18825     71 | 18.424 % |
8.28/8.32	|     25552 |   10109    81887   214242 |    77877    24525     83 | 19.628 % |
8.28/8.32	|     34201 |    9609    81887   214242 |    85665    32961     99 | 21.184 % |
8.28/8.32	|     47175 |    9052    81887   214242 |    94232    45738    115 | 22.917 % |
8.28/8.32	===============================================================================
8.28/8.32	c Found solution: -37
8.28/8.33	c ---[   0]---> Sorter-cost:    0     Base:
16.18/16.22	|  Eliminated clauses:           0.52 Mb                                      |
16.18/16.22	============================[ Search Statistics ]==============================
16.18/16.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.18/16.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.18/16.22	===============================================================================
16.18/16.22	|     49077 |    8758    74811   184973 |    27430    21020    107 | 22.903 % |
16.18/16.22	|     49227 |    8758    74811   184973 |    30173    21170    106 | 22.903 % |
16.18/16.22	|     49452 |    8758    74811   184973 |    33191    21395    106 | 22.903 % |
16.18/16.22	|     49789 |    8758    74811   184973 |    36510    21732    107 | 22.903 % |
16.18/16.22	|     50295 |    8676    74811   184973 |    40161    22233    107 | 23.158 % |
16.18/16.22	|     51054 |    8631    74811   184973 |    44177    22677    109 | 23.298 % |
16.18/16.22	|     52193 |    8614    74811   184973 |    48595    23815    112 | 23.351 % |
16.18/16.22	|     53901 |    8539    74811   184973 |    53454    25518    112 | 23.584 % |
16.18/16.22	|     56463 |    8487    74811   184973 |    58800    28077    117 | 23.745 % |
16.18/16.22	|     60307 |    8419    74811   184973 |    64680    31916    119 | 23.957 % |
16.18/16.22	|     66073 |    8216    74811   184973 |    71148    37637    123 | 24.588 % |
16.18/16.22	|     74722 |    7945    74811   184973 |    78262    46272    132 | 25.430 % |
16.18/16.22	|     87696 |    7787    74811   184973 |    86089    58865    140 | 25.921 % |
16.18/16.22	===============================================================================
16.18/16.22	c Found solution: -38
16.18/16.23	c ---[   0]---> Sorter-cost:    0     Base:
26.50/26.56	|  Eliminated clauses:           0.52 Mb                                      |
26.50/26.56	============================[ Search Statistics ]==============================
26.50/26.56	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.50/26.56	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.50/26.56	===============================================================================
26.50/26.56	|     89154 |    7639    72452   175403 |    26565    23427    109 | 25.937 % |
26.50/26.56	|     89304 |    7639    72452   175403 |    29222    23577    109 | 25.938 % |
26.50/26.56	|     89529 |    7639    72452   175403 |    32144    23802    109 | 25.937 % |
26.50/26.56	|     89866 |    7622    72452   175403 |    35358    24138    109 | 25.990 % |
26.50/26.56	|     90372 |    7609    72452   175403 |    38894    24643    111 | 26.031 % |
26.50/26.56	|     91131 |    7564    72452   175403 |    42784    25398    111 | 26.171 % |
26.50/26.56	|     92270 |    7447    72452   175403 |    47062    26530    112 | 26.534 % |
26.50/26.56	|     93978 |    7438    72452   175403 |    51769    28237    114 | 26.562 % |
26.50/26.56	|     96540 |    7388    72452   175403 |    56946    30796    120 | 26.717 % |
26.50/26.56	|    100384 |    7288    72452   175403 |    62640    34632    122 | 27.028 % |
26.50/26.56	|    106150 |    7227    72452   175403 |    68904    40393    127 | 27.217 % |
26.50/26.56	|    114799 |    7026    72452   175403 |    75795    48743    135 | 27.842 % |
26.50/26.56	|    127773 |    6946    72452   175403 |    83374    61711    147 | 28.090 % |
26.50/26.56	===============================================================================
26.50/26.56	c Found solution: -39
26.50/26.57	c ---[   0]---> Sorter-cost:    0     Base:
42.09/42.19	|  Eliminated clauses:           0.53 Mb                                      |
42.09/42.19	============================[ Search Statistics ]==============================
42.09/42.19	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.09/42.19	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
42.09/42.19	===============================================================================
42.09/42.19	|    137593 |    6683    70487   167278 |    25845    24654    115 | 28.845 % |
42.09/42.19	|    137743 |    6671    70487   167278 |    28429    24803    115 | 28.882 % |
42.09/42.19	|    137968 |    6660    70487   167278 |    31272    25027    115 | 28.915 % |
42.09/42.19	|    138305 |    6660    70487   167278 |    34400    25364    115 | 28.915 % |
42.09/42.19	|    138811 |    6623    70487   167278 |    37840    25868    116 | 29.028 % |
42.09/42.19	|    139570 |    6614    70487   167278 |    41624    26626    116 | 29.055 % |
42.09/42.19	|    140709 |    6568    70487   167278 |    45786    27763    117 | 29.196 % |
42.09/42.19	|    142417 |    6495    70487   167278 |    50365    29464    118 | 29.418 % |
42.09/42.19	|    144979 |    6481    70487   167278 |    55401    32025    122 | 29.461 % |
42.09/42.19	|    148823 |    6453    70487   167278 |    60941    35792    126 | 29.546 % |
42.09/42.19	|    154589 |    6400    70487   167278 |    67035    41552    132 | 29.708 % |
42.09/42.19	|    163238 |    6270    70487   167278 |    73739    50191    137 | 30.104 % |
42.09/42.19	|    176212 |    6240    70487   167278 |    81113    62987    148 | 30.196 % |
42.09/42.19	|    195673 |    6150    70487   167278 |    89224    82441    155 | 30.470 % |
42.09/42.19	===============================================================================
42.09/42.19	c Found solution: -40
42.09/42.19	c ---[   0]---> Sorter-cost:    0     Base:
389.51/389.63	|  Eliminated clauses:           0.54 Mb                                      |
389.51/389.63	============================[ Search Statistics ]==============================
389.51/389.63	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
389.51/389.63	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
389.51/389.63	===============================================================================
389.51/389.63	|    199901 |    6003    69095   161366 |    25334    26952    111 | 30.606 % |
389.51/389.63	|    200051 |    5991    69095   161366 |    27868    27101    112 | 30.642 % |
389.51/389.63	|    200276 |    5991    69095   161366 |    30655    27326    112 | 30.642 % |
389.51/389.63	|    200613 |    5982    69095   161366 |    33720    27662    112 | 30.670 % |
389.51/389.63	|    201119 |    5982    69095   161366 |    37092    28168    113 | 30.670 % |
389.51/389.63	|    201878 |    5971    69095   161366 |    40802    28926    114 | 30.703 % |
389.51/389.63	|    203017 |    5971    69095   161366 |    44882    30065    116 | 30.703 % |
389.51/389.63	|    204725 |    5971    69095   161366 |    49370    31773    119 | 30.703 % |
389.51/389.63	|    207287 |    5971    69095   161366 |    54307    34335    122 | 30.703 % |
389.51/389.63	|    211131 |    5942    69095   161366 |    59738    38177    126 | 30.792 % |
389.51/389.63	|    216897 |    5910    69095   161366 |    65712    43940    131 | 30.889 % |
389.51/389.63	|    225546 |    5864    69095   161366 |    72283    52237    137 | 31.029 % |
389.51/389.63	|    238520 |    5759    69095   161366 |    79511    65204    145 | 31.349 % |
389.51/389.63	|    257981 |    5623    69095   161366 |    87462    84595    154 | 31.764 % |
389.51/389.63	|    287173 |    5471    69095   161366 |    96208    43540    141 | 32.228 % |
389.51/389.63	|    330962 |    5072    69095   161366 |   105829    86931    164 | 33.444 % |
389.51/389.63	|    396646 |    4759    69095   161366 |   116412    64707    156 | 34.398 % |
389.51/389.63	|    495172 |    4403    69095   161366 |   128054    65514    155 | 35.484 % |
389.51/389.63	|    642961 |    4146    69095   161366 |   140859   101725    174 | 36.268 % |
389.51/389.63	|    864644 |    3757    69095   161366 |   154945    69794    170 | 37.454 % |
389.51/389.63	===============================================================================
389.51/389.63	c Found solution: -41
389.51/389.64	c ---[   0]---> Sorter-cost:    0     Base:
1047.51/1047.74	|  Eliminated clauses:           0.55 Mb                                      |
1047.51/1047.74	============================[ Search Statistics ]==============================
1047.51/1047.74	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1047.51/1047.74	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1047.51/1047.74	===============================================================================
1047.51/1047.74	|   1179364 |    3218    63141   137299 |    23151    23104    162 | 38.257 % |
1047.51/1047.74	|   1179514 |    3216    63141   137299 |    25466    23253    161 | 38.263 % |
1047.51/1047.74	|   1179739 |    3216    63141   137299 |    28013    23478    161 | 38.263 % |
1047.51/1047.74	|   1180076 |    3216    63141   137299 |    30814    23815    161 | 38.263 % |
1047.51/1047.74	|   1180582 |    3216    63141   137299 |    33896    24321    160 | 38.263 % |
1047.51/1047.74	|   1181341 |    3216    63141   137299 |    37286    25080    159 | 38.263 % |
1047.51/1047.74	|   1182480 |    3216    63141   137299 |    41014    26219    158 | 38.263 % |
1047.51/1047.74	|   1184188 |    3204    63141   137299 |    45116    27926    157 | 38.300 % |
1047.51/1047.74	|   1186750 |    3204    63141   137299 |    49627    30488    156 | 38.300 % |
1047.51/1047.74	|   1190594 |    3197    63141   137299 |    54590    34330    154 | 38.321 % |
1047.51/1047.74	|   1196360 |    3197    63141   137299 |    60049    40096    152 | 38.321 % |
1047.51/1047.74	|   1205009 |    3155    63141   137299 |    66054    48740    150 | 38.449 % |
1047.51/1047.74	|   1217983 |    3108    63141   137299 |    72659    61709    155 | 38.592 % |
1047.51/1047.74	|   1237444 |    3086    63141   137299 |    79925    81168    157 | 38.659 % |
1047.51/1047.74	|   1266636 |    2999    63141   137299 |    87918    41975    146 | 38.924 % |
1047.51/1047.74	|   1310425 |    2886    63141   137299 |    96710    85651    162 | 39.268 % |
1047.51/1047.74	|   1376109 |    2799    63141   137299 |   106381    67261    159 | 39.532 % |
1047.51/1047.74	|   1474635 |    2751    63141   137299 |   117019    72471    153 | 39.679 % |
1047.51/1047.74	|   1622424 |    2708    63141   137299 |   128721   117377    152 | 39.809 % |
1047.51/1047.74	|   1844107 |    2635    63141   137299 |   141593   103107    154 | 40.032 % |
1047.51/1047.74	|   2176632 |    2468    63141   137299 |   155753    36920    179 | 40.540 % |
1047.51/1047.74	|   2675420 |    2354    63141   137299 |   171328   102544    147 | 40.887 % |
1047.51/1047.74	|   3423602 |    2164    63141   137299 |   188461    41584    145 | 41.466 % |
1047.51/1047.74	===============================================================================
1047.51/1047.74	c Found solution: -42
1047.51/1047.75	c ---[   0]---> Sorter-cost:    0     Base:
1420.26/1420.50	|  Eliminated clauses:           0.55 Mb                                      |
1420.26/1420.50	============================[ Search Statistics ]==============================
1420.26/1420.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1420.26/1420.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1420.26/1420.50	===============================================================================
1420.26/1420.50	|   3565103 |    2036    60563   127387 |    22206    22709    185 | 41.482 % |
1420.26/1420.50	|   3565253 |    2036    60563   127387 |    24427    22859    185 | 41.482 % |
1420.26/1420.50	|   3565478 |    2036    60563   127387 |    26869    23084    184 | 41.482 % |
1420.26/1420.50	|   3565815 |    2036    60563   127387 |    29556    23421    183 | 41.482 % |
1420.26/1420.50	|   3566321 |    2036    60563   127387 |    32512    23927    181 | 41.482 % |
1420.26/1420.50	|   3567080 |    2036    60563   127387 |    35763    24686    178 | 41.482 % |
1420.26/1420.50	|   3568219 |    2036    60563   127387 |    39340    25825    176 | 41.482 % |
1420.26/1420.50	|   3569927 |    2036    60563   127387 |    43274    27533    172 | 41.482 % |
1420.26/1420.50	|   3572489 |    2035    60563   127387 |    47601    30094    168 | 41.485 % |
1420.26/1420.50	|   3576333 |    2035    60563   127387 |    52361    33938    163 | 41.485 % |
1420.26/1420.50	|   3582099 |    2014    60563   127387 |    57597    39702    158 | 41.549 % |
1420.26/1420.50	|   3590748 |    2013    60563   127387 |    63357    48350    151 | 41.552 % |
1420.26/1420.50	|   3603722 |    1997    60563   127387 |    69693    61321    146 | 41.601 % |
1420.26/1420.50	|   3623183 |    1997    60563   127387 |    76662    80782    139 | 41.601 % |
1420.26/1420.50	|   3652375 |    1997    60563   127387 |    84328    41941    139 | 41.601 % |
1420.26/1420.50	|   3696164 |    1956    60563   127387 |    92761    85726    133 | 41.726 % |
1420.26/1420.50	|   3761848 |    1945    60563   127387 |   102037    68911    129 | 41.759 % |
1420.26/1420.50	|   3860374 |    1935    60563   127387 |   112241    77186    124 | 41.790 % |
1420.26/1420.50	|   4008163 |    1914    60563   127387 |   123465   126920    120 | 41.854 % |
1420.26/1420.50	|   4229846 |    1890    60563   127387 |   135812   120279    127 | 41.927 % |
1420.26/1420.50	|   4562371 |    1859    60563   127387 |   149393    81842    127 | 42.021 % |
1420.26/1420.50	|   5061159 |    1794    60563   127387 |   164333   158619    110 | 42.219 % |
1420.26/1420.50	===============================================================================
1420.26/1420.50	c Found solution: -43
1420.26/1420.51	c ---[   0]---> Sorter-cost:    0     Base:
1800.00/1800.30	|  Eliminated clauses:           0.55 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	|   5218355 |    1762    59986   125241 |    21994    29181    125 | 42.916 % |
1800.00/1800.30	|   5218505 |    1762    59986   125241 |    24194    29331    125 | 42.916 % |
1800.00/1800.30	|   5218730 |    1762    59986   125241 |    26613    29556    124 | 42.917 % |
1800.00/1800.30	|   5219067 |    1762    59986   125241 |    29275    29893    124 | 42.916 % |
1800.00/1800.30	|   5219573 |    1762    59986   125241 |    32202    30399    124 | 42.917 % |
1800.00/1800.30	|   5220332 |    1762    59986   125241 |    35422    31158    123 | 42.916 % |
1800.00/1800.30	|   5221471 |    1762    59986   125241 |    38965    32297    122 | 42.917 % |
1800.00/1800.30	|   5223179 |    1762    59986   125241 |    42861    34005    120 | 42.917 % |
1800.00/1800.30	|   5225741 |    1762    59986   125241 |    47147    36567    119 | 42.916 % |
1800.00/1800.30	|   5229585 |    1762    59986   125241 |    51862    40411    117 | 42.917 % |
1800.00/1800.30	|   5235351 |    1761    59986   125241 |    57049    46176    115 | 42.920 % |
1800.00/1800.30	|   5244000 |    1761    59986   125241 |    62753    54825    114 | 42.920 % |
1800.00/1800.30	|   5256974 |    1760    59986   125241 |    69029    67798    111 | 42.922 % |
1800.00/1800.30	|   5276435 |    1760    59986   125241 |    75932    29882    126 | 42.922 % |
1800.00/1800.30	|   5305627 |    1760    59986   125241 |    83525    59074    115 | 42.922 % |
1800.00/1800.30	|   5349416 |    1760    59986   125241 |    91878    30532    124 | 42.922 % |
1800.00/1800.30	|   5415100 |    1760    59986   125241 |   101065    96216    107 | 42.922 % |
1800.00/1800.30	|   5513626 |    1752    59986   125241 |   111172    99637    119 | 42.946 % |
1800.00/1800.30	|   5661415 |    1751    59986   125241 |   122289    41181    136 | 42.949 % |
1800.00/1800.30	|   5883098 |    1739    59986   125241 |   134518    39437    119 | 42.985 % |
1800.00/1800.30	|   6215623 |    1712    59986   125241 |   147970   130245    104 | 43.066 % |
1800.00/1800.30	|   6714411 |    1696    59986   125241 |   162767    88180    102 | 43.114 % |
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	-43

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-4112544-1466540261/watcher-4112544-1466540261 -o /tmp/evaluation-result-4112544-1466540261/solver-4112544-1466540261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19972 --watchdog 1960 minisatp HOME/instance-4112544-1466540261.opb 

pid=24989
running on 4 cores: 0,2,4,6

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.22 2.24 2.19 3/174 24992
/proc/meminfo: memFree=30464956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=6632 CPUtime=0 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 56073047 6791168 259 33554432000 4194304 5646918 140734043390480 140736527192328 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 1658 259 94 355 0 1299 0

[startup+0.100158 s]
/proc/loadavg: 2.22 2.24 2.19 3/174 24992
/proc/meminfo: memFree=30464956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=12356 CPUtime=0.09 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 1817 0 0 0 9 0 0 0 20 0 1 0 56073047 12652544 1693 33554432000 4194304 5646918 140734043390480 140736527192328 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 3089 1693 94 355 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12356

[startup+0.200307 s]
/proc/loadavg: 2.22 2.24 2.19 3/174 24992
/proc/meminfo: memFree=30464956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=18540 CPUtime=0.19 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 3347 0 0 0 19 0 0 0 20 0 1 0 56073047 18984960 3223 33554432000 4194304 5646918 140734043390480 140736527192328 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 4635 3223 94 355 0 4276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18540

[startup+0.300282 s]
/proc/loadavg: 2.22 2.24 2.19 3/174 24992
/proc/meminfo: memFree=30464956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=24740 CPUtime=0.28 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 4877 0 0 0 28 0 0 0 20 0 1 0 56073047 25333760 4753 33554432000 4194304 5646918 140734043390480 140734043389736 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 6185 4753 94 355 0 5826 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24740

[startup+0.70027 s]
/proc/loadavg: 2.22 2.24 2.19 3/174 24992
/proc/meminfo: memFree=30464956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=51352 CPUtime=0.69 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 12084 0 0 0 66 3 0 0 20 0 1 0 56073047 52584448 12069 33554432000 4194304 5646918 140734043390480 140734043389736 4438258 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 12838 12069 134 355 0 12479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51352

[startup+1.50025 s]
/proc/loadavg: 2.22 2.24 2.19 3/175 24993
/proc/meminfo: memFree=30413112/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=51972 CPUtime=1.49 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 12723 0 0 0 145 4 0 0 20 0 1 0 56073047 53219328 12404 33554432000 4194304 5646918 140734043390480 140734043388760 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 12993 12404 155 355 0 12634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51972

[startup+3.10026 s]
/proc/loadavg: 2.21 2.24 2.19 3/175 24993
/proc/meminfo: memFree=30407280/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=56368 CPUtime=3.09 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 13689 0 0 0 305 4 0 0 20 0 1 0 56073047 57720832 13352 33554432000 4194304 5646918 140734043390480 140734043388760 4416598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 14092 13352 156 355 0 13733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56368

[startup+6.30028 s]
/proc/loadavg: 2.21 2.24 2.19 3/175 24993
/proc/meminfo: memFree=30387612/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=67968 CPUtime=6.29 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 14497 0 0 0 625 4 0 0 20 0 1 0 56073047 69599232 16196 33554432000 4194304 5646918 140734043390480 140734043389176 4402739 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 16992 16196 156 355 0 16633 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67968

[startup+12.7003 s]
/proc/loadavg: 2.17 2.23 2.18 3/175 24993
/proc/meminfo: memFree=30424716/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=80124 CPUtime=12.69 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 15799 0 0 0 1264 5 0 0 20 0 1 0 56073047 82046976 18200 33554432000 4194304 5646918 140734043390480 140734043389176 4402781 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 20031 18200 157 355 0 19672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80124

[startup+25.5004 s]
/proc/loadavg: 2.15 2.22 2.18 3/175 24993
/proc/meminfo: memFree=30408664/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=147796 CPUtime=25.49 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 17806 0 0 0 2542 7 0 0 20 0 1 0 56073047 151343104 29647 33554432000 4194304 5646918 140734043390480 140734043388776 4403389 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 36949 29647 157 355 0 36590 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147796

[startup+51.1003 s]
/proc/loadavg: 2.16 2.22 2.18 3/175 24993
/proc/meminfo: memFree=30339492/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=147796 CPUtime=51.09 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 17942 0 0 0 5100 9 0 0 20 0 1 0 56073047 151343104 29155 33554432000 4194304 5646918 140734043390480 140734043388776 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 36949 29155 157 355 0 36590 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147796

[startup+102.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/175 24994
/proc/meminfo: memFree=30341656/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=147796 CPUtime=102.28 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 18167 0 0 0 10215 13 0 0 20 0 1 0 56073047 151343104 30709 33554432000 4194304 5646918 140734043390480 140734043388776 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 36949 30709 157 355 0 36590 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 147796

[startup+162.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/176 24999
/proc/meminfo: memFree=30292284/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=228704 CPUtime=162.26 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 19122 0 0 0 16210 16 0 0 20 0 1 0 56073047 234192896 42486 33554432000 4194304 5646918 140734043390480 140734043389176 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 57176 42486 157 355 0 56817 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 228704

[startup+222.307 s]
/proc/loadavg: 2.20 2.23 2.18 3/175 25000
/proc/meminfo: memFree=30387780/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=178616 CPUtime=222.25 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 19637 0 0 0 22204 21 0 0 20 0 1 0 56073047 182902784 33002 33554432000 4194304 5646918 140734043390480 140734043388776 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 44654 33002 157 355 0 44295 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 178616

[startup+282.3 s]
/proc/loadavg: 2.17 2.22 2.18 4/175 25001
/proc/meminfo: memFree=30319268/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=178616 CPUtime=282.23 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 20111 0 0 0 28198 25 0 0 20 0 1 0 56073047 182902784 37635 33554432000 4194304 5646918 140734043390480 140734043389176 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 44654 37635 157 355 0 44295 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 178616

[startup+342.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/175 25002
/proc/meminfo: memFree=30340244/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=178616 CPUtime=342.21 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 20548 0 0 0 34193 28 0 0 20 0 1 0 56073047 182902784 41219 33554432000 4194304 5646918 140734043390480 140734043389176 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 44654 41219 157 355 0 44295 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 178616

[startup+402.3 s]
/proc/loadavg: 2.13 2.19 2.18 4/175 25003
/proc/meminfo: memFree=30369376/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=147796 CPUtime=402.21 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 20997 0 0 0 40188 33 0 0 20 0 1 0 56073047 151343104 33987 33554432000 4194304 5646918 140734043390480 140734043388776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 36949 33987 157 355 0 36590 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 147796

[startup+462.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/175 25005
/proc/meminfo: memFree=30383740/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=147796 CPUtime=462.2 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 21289 0 0 0 46182 38 0 0 20 0 1 0 56073047 151343104 30403 33554432000 4194304 5646918 140734043390480 140734043388776 4402913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 36949 30403 157 355 0 36590 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 147796

[startup+522.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/175 25006
/proc/meminfo: memFree=30384804/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=98476 CPUtime=522.19 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 21789 0 0 0 52178 41 0 0 20 0 1 0 56073047 100839424 21699 33554432000 4194304 5646918 140734043390480 140734043389192 4403411 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 24619 21699 157 355 0 24260 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 98476

[startup+582.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/175 25007
/proc/meminfo: memFree=30254948/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=249008 CPUtime=582.18 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 23526 0 0 0 58172 46 0 0 20 0 1 0 56073047 254984192 51122 33554432000 4194304 5646918 140734043390480 140734043389176 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 62252 51122 157 355 0 61893 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 249008


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 25073
/proc/meminfo: memFree=30355824/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=942.12 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 26978 0 0 0 94144 68 0 0 20 0 1 0 56073047 203694080 42117 33554432000 4194304 5646918 140734043390480 140734043389176 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 42117 157 355 0 49371 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 198920

[startup+1002.3 s]
/proc/loadavg: 2.12 2.15 2.16 3/175 25074
/proc/meminfo: memFree=30192724/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=249008 CPUtime=1002.11 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 27721 0 0 0 100139 72 0 0 20 0 1 0 56073047 254984192 52146 33554432000 4194304 5646918 140734043390480 140734043389176 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 62252 52146 157 355 0 61893 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 249008

[startup+1062.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/174 25075
/proc/meminfo: memFree=30342956/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1062.11 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 28176 0 0 0 106134 77 0 0 20 0 1 0 56073047 121630720 29250 33554432000 4194304 5646918 140734043390480 140734043389192 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29250 157 355 0 29336 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 118780

[startup+1122.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 25077
/proc/meminfo: memFree=30252284/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1122.1 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 28387 0 0 0 112129 81 0 0 20 0 1 0 56073047 121630720 29250 33554432000 4194304 5646918 140734043390480 140734043389192 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29250 157 355 0 29336 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 118780

[startup+1182.3 s]
/proc/loadavg: 2.13 2.15 2.16 4/175 25078
/proc/meminfo: memFree=30279572/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=1182.08 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 28683 0 0 0 118123 85 0 0 20 0 1 0 56073047 203694080 42629 33554432000 4194304 5646918 140734043390480 140734043389176 4402818 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 42629 157 355 0 49371 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 198920

[startup+1242.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/175 25079
/proc/meminfo: memFree=30252876/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=168100 CPUtime=1242.08 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 28812 0 0 0 124120 88 0 0 20 0 1 0 56073047 172134400 41538 33554432000 4194304 5646918 140734043390480 140734043388776 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 42025 41538 157 355 0 41666 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 168100

[startup+1302.3 s]
/proc/loadavg: 2.22 2.16 2.16 3/175 25080
/proc/meminfo: memFree=30249792/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=1302.07 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29086 0 0 0 130115 92 0 0 20 0 1 0 56073047 203694080 43141 33554432000 4194304 5646918 140734043390480 140734043389176 4403107 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 43141 157 355 0 49371 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 198920

[startup+1362.3 s]
/proc/loadavg: 2.18 2.16 2.16 4/176 25084
/proc/meminfo: memFree=30273212/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=168100 CPUtime=1362.06 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29219 0 0 0 136111 95 0 0 20 0 1 0 56073047 172134400 38466 33554432000 4194304 5646918 140734043390480 140734043388776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 42025 38466 157 355 0 41666 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 168100

[startup+1422.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/175 25086
/proc/meminfo: memFree=30352432/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1422.06 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29410 0 0 0 142108 98 0 0 20 0 1 0 56073047 121630720 29256 33554432000 4194304 5646918 140734043390480 140734043389192 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29256 157 355 0 29336 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 118780

[startup+1482.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/175 25087
/proc/meminfo: memFree=30257152/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1482.05 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29542 0 0 0 148104 101 0 0 20 0 1 0 56073047 121630720 29256 33554432000 4194304 5646918 140734043390480 140734043389192 4397445 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29256 157 355 0 29336 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 118780

[startup+1542.31 s]
/proc/loadavg: 2.26 2.20 2.18 4/175 25088
/proc/meminfo: memFree=30265328/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=168100 CPUtime=1542.04 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29714 0 0 0 154100 104 0 0 20 0 1 0 56073047 172134400 40008 33554432000 4194304 5646918 140734043390480 140734043388776 4403040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 42025 40008 157 355 0 41666 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 168100

[startup+1602.3 s]
/proc/loadavg: 2.31 2.22 2.18 3/175 25089
/proc/meminfo: memFree=30331372/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=168100 CPUtime=1602.02 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 29922 0 0 0 160096 106 0 0 20 0 1 0 56073047 172134400 41559 33554432000 4194304 5646918 140734043390480 140734043388776 4402863 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 42025 41559 157 355 0 41666 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 168100

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/175 25090
/proc/meminfo: memFree=30282828/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=1662.01 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 30168 0 0 0 166091 110 0 0 20 0 1 0 56073047 203694080 44171 33554432000 4194304 5646918 140734043390480 140734043389176 4402947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 44171 157 355 0 49371 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 198920

[startup+1722.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/175 25092
/proc/meminfo: memFree=30285040/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=1722.01 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 30360 0 0 0 172087 114 0 0 20 0 1 0 56073047 203694080 42123 33554432000 4194304 5646918 140734043390480 140734043389176 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 42123 157 355 0 49371 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 198920

[startup+1782.3 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 25093
/proc/meminfo: memFree=30276308/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=198920 CPUtime=1782 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 30557 0 0 0 178083 117 0 0 20 0 1 0 56073047 203694080 44171 33554432000 4194304 5646918 140734043390480 140734043389176 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 49730 44171 157 355 0 49371 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 198920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/175 25093
/proc/meminfo: memFree=30303012/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1800 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 30567 0 0 0 179882 118 0 0 20 0 1 0 56073047 121630720 29256 33554432000 4194304 5646918 140734043390480 140734043389192 4399687 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29256 157 355 0 29336 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 118780

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/175 25093
/proc/meminfo: memFree=30303012/32872528 swapFree=1316768/1463936
[pid=24992] ppid=24989 vsize=118780 CPUtime=1800 cores=0,2,4,6
/proc/24992/stat : 24992 (minisatp) R 24989 24992 19956 0 -1 4202496 30567 0 0 0 179882 118 0 0 20 0 1 0 56073047 121630720 29256 33554432000 4194304 5646918 140734043390480 140734043389192 4399687 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24992/statm: 29695 29256 157 355 0 29336 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 118780

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1798.82
CPU system time (s): 1.18382
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 249008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.18382
maximum resident set size= 233160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30567
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= 35
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45232 second user time and 7.33788 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-21 22:17:41
IDJOB=4112544
IDBENCH=2250
IDSOLVER=2555
FILE ID=node121/4112544-1466540261
RUNJOBID= node121-1466514771-19972
PBS_JOBID= 19942880
Free space on /tmp= 71716 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-3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112544-1466540261/watcher-4112544-1466540261 -o /tmp/evaluation-result-4112544-1466540261/solver-4112544-1466540261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19972 --watchdog 1960  minisatp HOME/instance-4112544-1466540261.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=17973336

node121.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.691
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.38
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.691
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.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30465260 kB
Buffers:           18228 kB
Cached:            57376 kB
SwapCached:         1700 kB
Active:           195688 kB
Inactive:          47680 kB
Active(anon):     169512 kB
Inactive(anon):      740 kB
Active(file):      26176 kB
Inactive(file):    46940 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67099508 kB
Dirty:              4736 kB
Writeback:             4 kB
AnonPages:       1629212 kB
Mapped:             7636 kB
Shmem:                 0 kB
Slab:             565272 kB
SReclaimable:       9540 kB
SUnreclaim:       555732 kB
KernelStack:        1440 kB
PageTables:         6900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1753588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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-4112544-1466540261.opb

Free space on /tmp at the end= 71708 MiB
End job on node121 at 2016-06-21 22:47:42