Trace number 4113974

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
MD5SUM7e6cf7bd8ae3eb2dbe42fe5a31768e13
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52001
Total number of constraints154561
Number of constraints which are clauses154560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint51520
Number of terms in the objective function 161
Biggest coefficient in the objective function 1461501637330902918203684832716283019655932542976
Number of bits for the biggest coefficient in the objective function 161
Sum of the numbers in the objective function 2923003274661805836407369665432566039311865085951
Number of bits of the sum of numbers in the objective function 161
Biggest number in a constraint 1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088
Number of bits of the biggest number in a constraint 480
Biggest sum of numbers in a constraint 6243497100631984462763194459586332611497196285328142673459177384060592124920906005152554730819278690998820076480368784343607308117472639948431515
Number of bits of the biggest sum of numbers481
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...
3.09/3.16	c Converting 154562 PB-constraints to clauses...
3.09/3.18	c   -- Unit propagations: (none)
18.79/18.82	c   -- Detecting intervals from adjacent constraints: #
18.79/18.84	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
18.89/18.96	c ---[   0]---> Adder-cost: 76316   maxlim: 85637119419032255924155954685780155586213627810198026534705845257793770944847919697426568846237543   bits: 326/326
1800.08/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |  114204   656319  2178765 |   240650      100      3 | 11.134 % |
1800.08/1800.40	|       250 |  114204   656319  2178765 |   264715      250     26 | 11.134 % |
1800.08/1800.40	|       475 |  114204   656319  2178765 |   291186      475     56 | 11.134 % |
1800.08/1800.40	|       812 |  114204   656319  2178765 |   320305      812     45 | 11.134 % |
1800.08/1800.40	|      1318 |  114204   656319  2178765 |   352336     1318     38 | 11.134 % |
1800.08/1800.40	|      2077 |  114204   656319  2178765 |   387569     2077     34 | 11.134 % |
1800.08/1800.40	|      3216 |  114204   656319  2178765 |   426326     3216     38 | 11.134 % |
1800.08/1800.40	|      4924 |  114204   656319  2178765 |   468959     4924     38 | 11.134 % |
1800.08/1800.40	|      7486 |  114204   656319  2178765 |   515855     7486     41 | 11.134 % |
1800.08/1800.40	|     11330 |  114204   656319  2178765 |   567440    11330     52 | 11.135 % |
1800.08/1800.40	|     17096 |  114197   656319  2178765 |   624184    17089    111 | 11.139 % |
1800.08/1800.40	|     25745 |  114197   656319  2178765 |   686603    25738     96 | 11.139 % |
1800.08/1800.40	|     38719 |  114197   656319  2178765 |   755263    38712     89 | 11.139 % |
1800.08/1800.40	|     58180 |  114197   656319  2178765 |   830790    58173     83 | 11.140 % |
1800.08/1800.40	|     87372 |  114197   656319  2178765 |   913869    87365     79 | 11.139 % |
1800.08/1800.40	|    131161 |  114197   656319  2178765 |  1005256   131154     73 | 11.139 % |
1800.08/1800.40	|    196845 |  114194   656319  2178765 |  1105781   196835     79 | 11.142 % |
1800.08/1800.40	|    295371 |  114194   656319  2178765 |  1216359   295361     87 | 11.142 % |
1800.08/1800.40	|    443160 |  114194   656319  2178765 |  1337995   443150     90 | 11.142 % |
1800.08/1800.40	|    664843 |  114194   656319  2178765 |  1471795   664833     86 | 11.142 % |
1800.08/1800.40	|    997368 |  114181   656319  2178765 |  1618974   997302    100 | 11.152 % |
1800.08/1800.40	|   1496156 |  114169   656319  2178765 |  1780872  1496078    101 | 11.161 % |
1800.08/1800.40	|   2244338 |  114153   656319  2178765 |  1958959   506784     78 | 11.174 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4113974-1467022998/watcher-4113974-1467022998 -o /tmp/evaluation-result-4113974-1467022998/solver-4113974-1467022998 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467019392-25843 --watchdog 1960 -S 80 minisatp HOME/instance-4113974-1467022998.opb 

pid=26219
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.32 2.27 2.19 3/176 26222
/proc/meminfo: memFree=29691012/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=6540 CPUtime=0 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 35339261 6696960 221 33554432000 4194304 5646918 140734634092656 140734849417720 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 1635 221 94 355 0 1276 0

[startup+0.100192 s]
/proc/loadavg: 2.32 2.27 2.19 3/176 26222
/proc/meminfo: memFree=29691012/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=12524 CPUtime=0.09 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 1825 0 0 0 9 0 0 0 20 0 1 0 35339261 12824576 1702 33554432000 4194304 5646918 140734634092656 140734634091912 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 3131 1702 94 355 0 2772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12524

[startup+0.200282 s]
/proc/loadavg: 2.32 2.27 2.19 3/176 26222
/proc/meminfo: memFree=29691012/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=18816 CPUtime=0.19 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 3412 0 0 0 19 0 0 0 20 0 1 0 35339261 19267584 3289 33554432000 4194304 5646918 140734634092656 140734634091912 4251237 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 4704 3291 94 355 0 4345 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18816

[startup+0.300272 s]
/proc/loadavg: 2.32 2.27 2.19 3/176 26222
/proc/meminfo: memFree=29691012/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=25488 CPUtime=0.29 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 4991 0 0 0 28 1 0 0 20 0 1 0 35339261 26099712 4868 33554432000 4194304 5646918 140734634092656 140734634091912 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 6372 4869 94 355 0 6013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25488

[startup+0.700274 s]
/proc/loadavg: 2.32 2.27 2.19 3/176 26222
/proc/meminfo: memFree=29691012/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=51332 CPUtime=0.69 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 11512 0 0 0 67 2 0 0 20 0 1 0 35339261 52563968 11264 33554432000 4194304 5646918 140734634092656 140734634091912 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 12833 11265 94 355 0 12474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51332

[startup+1.50027 s]
/proc/loadavg: 2.32 2.27 2.19 4/177 26223
/proc/meminfo: memFree=29558240/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=102876 CPUtime=1.49 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 24412 0 0 0 145 4 0 0 20 0 1 0 35339261 105345024 23988 33554432000 4194304 5646918 140734634092656 140734634092024 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 25719 23989 94 355 0 25360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102876

[startup+3.10027 s]
/proc/loadavg: 2.32 2.27 2.19 4/177 26223
/proc/meminfo: memFree=29511260/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=158180 CPUtime=3.09 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 39008 0 0 0 302 7 0 0 20 0 1 0 35339261 161976320 37750 33554432000 4194304 5646918 140734634092656 140734634088552 4831393 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 39545 37750 97 355 0 39186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158180

[startup+6.30026 s]
/proc/loadavg: 2.29 2.26 2.19 3/177 26223
/proc/meminfo: memFree=29385696/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=161776 CPUtime=6.29 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 39137 0 0 0 622 7 0 0 20 0 1 0 35339261 165658624 37879 33554432000 4194304 5646918 140734634092656 140734634091336 4464694 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 40444 37879 105 355 0 40085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161776

[startup+12.7003 s]
/proc/loadavg: 2.35 2.28 2.20 3/177 26223
/proc/meminfo: memFree=29385852/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=161776 CPUtime=12.69 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 39137 0 0 0 1262 7 0 0 20 0 1 0 35339261 165658624 37879 33554432000 4194304 5646918 140734634092656 140734634091336 4252415 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 40444 37879 105 355 0 40085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161776

[startup+25.5003 s]
/proc/loadavg: 2.27 2.26 2.19 4/177 26223
/proc/meminfo: memFree=29082004/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=489504 CPUtime=25.49 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 120501 0 0 0 2526 23 0 0 20 0 1 0 35339261 501252096 119571 33554432000 4194304 5646918 140734634092656 140734634055848 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 122376 119572 119 355 0 122017 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 489504

[startup+51.1003 s]
/proc/loadavg: 2.38 2.29 2.20 3/177 26223
/proc/meminfo: memFree=28836836/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=716220 CPUtime=51.08 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 175850 0 0 0 5077 31 0 0 20 0 1 0 35339261 733409280 174920 33554432000 4194304 5646918 140734634092656 140734633979304 4823366 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 179055 174920 120 355 0 178696 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 716220

[startup+102.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/177 26224
/proc/meminfo: memFree=27362632/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=668672 CPUtime=102.28 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 181631 0 0 0 10195 33 0 0 20 0 1 0 35339261 684720128 164930 33554432000 4194304 5646918 140734634092656 140734634091352 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 167168 164930 183 355 0 166809 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 668672

[startup+162.3 s]
/proc/loadavg: 2.24 2.26 2.19 4/177 26226
/proc/meminfo: memFree=27311656/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=718460 CPUtime=162.26 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 182692 0 0 0 16193 33 0 0 20 0 1 0 35339261 735703040 177730 33554432000 4194304 5646918 140734634092656 140734634091352 4403416 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 179615 177730 183 355 0 179256 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 718460

[startup+222.307 s]
/proc/loadavg: 2.31 2.27 2.20 3/177 26227
/proc/meminfo: memFree=27248808/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=849936 CPUtime=222.26 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 183751 0 0 0 22192 34 0 0 20 0 1 0 35339261 870334464 192578 33554432000 4194304 5646918 140734634092656 140734634091352 4403170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 212484 192578 183 355 0 212125 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 849936

[startup+282.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/177 26228
/proc/meminfo: memFree=27379776/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=849936 CPUtime=282.25 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 183785 0 0 0 28190 35 0 0 20 0 1 0 35339261 870334464 209986 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 212484 209986 183 355 0 212125 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 849936

[startup+342.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/177 26229
/proc/meminfo: memFree=27320580/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=982196 CPUtime=342.24 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 184316 0 0 0 34188 36 0 0 20 0 1 0 35339261 1005768704 216642 33554432000 4194304 5646918 140734634092656 140734634091352 4403043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 245549 216642 183 355 0 245190 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 982196

[startup+402.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/177 26230
/proc/meminfo: memFree=27230244/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=982196 CPUtime=402.23 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 184346 0 0 0 40186 37 0 0 20 0 1 0 35339261 1005768704 232002 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 245549 232002 183 355 0 245190 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 982196

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/178 26235
/proc/meminfo: memFree=27127124/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=982196 CPUtime=462.22 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 184376 0 0 0 46185 37 0 0 20 0 1 0 35339261 1005768704 242763 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 245549 242763 183 355 0 245190 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 982196

[startup+522.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 26236
/proc/meminfo: memFree=27061552/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=522.21 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 184905 0 0 0 52183 38 0 0 20 0 1 0 35339261 1225850880 249419 33554432000 4194304 5646918 140734634092656 140734634091352 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 249419 183 355 0 298921 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1197120

[startup+582.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/177 26237
/proc/meminfo: memFree=26897680/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=582.2 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 184969 0 0 0 58180 40 0 0 20 0 1 0 35339261 1225850880 282187 33554432000 4194304 5646918 140734634092656 140734634091352 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 282187 183 355 0 298921 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1197120

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


[startup+882.307 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 26243
/proc/meminfo: memFree=26574684/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1546368 CPUtime=882.16 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185553 0 0 0 88174 42 0 0 20 0 1 0 35339261 1583480832 314956 33554432000 4194304 5646918 140734634092656 140734634091352 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 386592 314956 183 355 0 386233 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1546368

[startup+942.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 26244
/proc/meminfo: memFree=26525400/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1546368 CPUtime=942.15 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185564 0 0 0 94173 42 0 0 20 0 1 0 35339261 1583480832 320588 33554432000 4194304 5646918 140734634092656 140734634091352 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 386592 320588 183 355 0 386233 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 1546368

[startup+1002.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 26245
/proc/meminfo: memFree=26466064/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1546368 CPUtime=1002.13 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185575 0 0 0 100171 42 0 0 20 0 1 0 35339261 1583480832 326220 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 386592 326220 183 355 0 386233 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1546368

[startup+1062.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 26250
/proc/meminfo: memFree=26357176/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1546368 CPUtime=1062.13 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185586 0 0 0 106170 43 0 0 20 0 1 0 35339261 1583480832 331852 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 386592 331852 183 355 0 386233 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1546368

[startup+1122.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26251
/proc/meminfo: memFree=26971000/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=638320 CPUtime=1122.12 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185596 0 0 0 112169 43 0 0 20 0 1 0 35339261 653639680 158628 33554432000 4194304 5646918 140734634092656 140734634091368 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 159580 158628 185 355 0 159221 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 638320

[startup+1182.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 26252
/proc/meminfo: memFree=26950584/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=638320 CPUtime=1182.11 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 185596 0 0 0 118168 43 0 0 20 0 1 0 35339261 653639680 158628 33554432000 4194304 5646918 140734634092656 140734634091368 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 159580 158628 185 355 0 159221 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 638320

[startup+1242.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 26253
/proc/meminfo: memFree=26766208/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=849936 CPUtime=1242.1 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 186149 0 0 0 124165 45 0 0 20 0 1 0 35339261 870334464 198017 33554432000 4194304 5646918 140734634092656 140734634090952 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 212484 198017 185 355 0 212125 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 849936

[startup+1302.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 26254
/proc/meminfo: memFree=26634516/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=982196 CPUtime=1302.09 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 186666 0 0 0 130160 49 0 0 20 0 1 0 35339261 1005768704 225106 33554432000 4194304 5646918 140734634092656 140734634091352 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 245549 225106 185 355 0 245190 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 982196

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 26256
/proc/meminfo: memFree=26530436/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=982196 CPUtime=1362.09 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 186701 0 0 0 136159 50 0 0 20 0 1 0 35339261 1005768704 243026 33554432000 4194304 5646918 140734634092656 140734634091352 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 245549 243026 185 355 0 245190 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 982196

[startup+1422.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/177 26257
/proc/meminfo: memFree=26476632/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1422.08 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187160 0 0 0 142156 52 0 0 20 0 1 0 35339261 1225850880 252166 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 252166 185 355 0 298921 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1197120

[startup+1482.3 s]
/proc/loadavg: 2.25 2.18 2.18 3/177 26258
/proc/meminfo: memFree=26427784/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1482.06 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187174 0 0 0 148154 52 0 0 20 0 1 0 35339261 1225850880 259334 33554432000 4194304 5646918 140734634092656 140734634091352 4402832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 259334 185 355 0 298921 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1197120

[startup+1542.31 s]
/proc/loadavg: 2.18 2.18 2.17 3/177 26259
/proc/meminfo: memFree=26367104/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1542.06 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187198 0 0 0 154153 53 0 0 20 0 1 0 35339261 1225850880 267526 33554432000 4194304 5646918 140734634092656 140734634091352 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 267526 185 355 0 298921 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1197120

[startup+1602.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 26260
/proc/meminfo: memFree=26309324/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1602.02 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187253 0 0 0 160148 54 0 0 20 0 1 0 35339261 1225850880 275206 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 275206 185 355 0 298921 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1197120

[startup+1662.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 26265
/proc/meminfo: memFree=26209380/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1662 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187279 0 0 0 166146 54 0 0 20 0 1 0 35339261 1225850880 283914 33554432000 4194304 5646918 140734634092656 140734634091352 4403411 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 283914 185 355 0 298921 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1197120

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 26266
/proc/meminfo: memFree=26155932/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1722 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187292 0 0 0 172145 55 0 0 20 0 1 0 35339261 1225850880 290570 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 290570 185 355 0 298921 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1197120

[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 26267
/proc/meminfo: memFree=26103348/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1197120 CPUtime=1781.98 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187306 0 0 0 178143 55 0 0 20 0 1 0 35339261 1225850880 296209 33554432000 4194304 5646918 140734634092656 140734634091352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 299280 296209 185 355 0 298921 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1197120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 26323
/proc/meminfo: memFree=28600200/32872528 swapFree=1581260/1720252
[pid=26222] ppid=26219 vsize=1546368 CPUtime=1800.08 cores=0,2,4,6
/proc/26222/stat : 26222 (minisatp) R 26219 26222 25827 0 -1 4202496 187831 0 0 0 179952 56 0 0 20 0 1 0 35339261 1583480832 301847 33554432000 4194304 5646918 140734634092656 140734634091352 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26222/statm: 386592 301847 185 355 0 386233 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1546368

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

Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.12
CPU user time (s): 1799.53
CPU system time (s): 0.593909
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1546368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.593909
maximum resident set size= 1341752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187831
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= 63
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43617 second user time and 6.87795 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 12:23:18
IDJOB=4113974
IDBENCH=3039
IDSOLVER=2555
FILE ID=node117/4113974-1467022998
RUNJOBID= node117-1467019392-25843
PBS_JOBID= 19976972
Free space on /tmp= 71596 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113974-1467022998/watcher-4113974-1467022998 -o /tmp/evaluation-result-4113974-1467022998/solver-4113974-1467022998 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467019392-25843 --watchdog 1960 -S 80 minisatp HOME/instance-4113974-1467022998.opb

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

MD5SUM BENCH= 7e6cf7bd8ae3eb2dbe42fe5a31768e13
RANDOM SEED=1791295568

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.630
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:        29699732 kB
Buffers:          105488 kB
Cached:           464396 kB
SwapCached:         2208 kB
Active:           262744 kB
Inactive:         444416 kB
Active(anon):     135368 kB
Inactive(anon):     4136 kB
Active(file):     127376 kB
Inactive(file):   440280 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             34136 kB
Writeback:             0 kB
AnonPages:       1856856 kB
Mapped:             9232 kB
Shmem:                 0 kB
Slab:             613460 kB
SReclaimable:      56968 kB
SUnreclaim:       556492 kB
KernelStack:        1432 kB
PageTables:         7680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1977960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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-4113974-1467022998.opb

Free space on /tmp at the end= 71608 MiB
End job on node117 at 2016-06-27 12:53:19