Trace number 349627

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
minisat+ 1.14? (TO) 1800.31 1801.03

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-71-70.opb
MD5SUM2d2ba598d361b1b8832ef2eaa384d61f
Bench CategorySATUNSAT-SMALLINT (no optimisation, small 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints174021
Number of constraints which are clauses174021
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint70
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 71
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
4.69/4.72	c Converting 174021 PB-constraints to clauses...
4.69/4.74	c   -- Unit propagations: (none)
4.69/4.74	c   -- Detecting intervals from adjacent constraints: (none)
4.79/4.80	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
5.08/5.19	c ==================================[MINISAT+]==================================
5.08/5.19	c | Conflicts | Original         | Learnt                           | Progress |
5.08/5.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.08/5.19	c ==============================================================================
5.08/5.19	c |         0 |  174021   352870 |   58007       0        0     nan |  0.000 % |
5.18/5.21	c |       100 |  174021   352870 |   63807     100    24836   248.4 |  0.000 % |
5.18/5.24	c |       250 |  174021   352870 |   70188     250    59406   237.6 |  0.000 % |
5.28/5.31	c |       475 |  174021   352870 |   77207     475   223890   471.3 |  0.000 % |
5.28/5.40	c |       813 |  174021   352870 |   84928     813   406499   500.0 |  0.000 % |
5.39/5.50	c |      1320 |  174021   352870 |   93420    1320   567365   429.8 |  0.000 % |
5.58/5.65	c |      2079 |  174021   352870 |  102762    2079   820473   394.6 |  0.000 % |
5.88/5.91	c |      3221 |  174021   352870 |  113039    3221  1233319   382.9 |  0.000 % |
6.59/6.68	c |      4930 |  174021   352870 |  124343    4930  2469506   500.9 |  0.000 % |
7.38/7.47	c |      7493 |  174021   352870 |  136777    7493  3850999   513.9 |  0.000 % |
8.78/8.81	c |     11338 |  174021   352870 |  150455   11338  5640365   497.5 |  0.000 % |
11.48/11.55	c |     17104 |  174021   352870 |  165500   17104  9227134   539.5 |  0.000 % |
20.67/20.78	c |     25761 |  174021   352870 |  182050   25761 17531060   680.5 |  0.000 % |
34.47/34.59	c |     38735 |  174021   352870 |  200255   38735 32526201   839.7 |  0.000 % |
74.85/74.95	c |     58196 |  174021   352870 |  220281   58196 57802658   993.2 |  0.000 % |
119.74/119.83	c |     87388 |  174021   352870 |  242309   87388 82008391   938.4 |  0.000 % |
258.89/259.03	c |    131178 |  174021   352870 |  266540  131178 127939345   975.3 |  0.000 % |
479.60/479.81	c |    196862 |  174021   352870 |  293194  196862 210476789  1069.2 |  0.000 % |
844.36/844.70	c |    295390 |  174021   352870 |  322514  295390 300681244  1017.9 |  0.000 % |
1632.04/1632.78	c |    443180 |  174021   352870 |  354765  131436 196775284  1497.1 |  0.000 % |
1800.09/1800.80	c 
1800.09/1800.80	c *** TERMINATED ***
1800.09/1800.80	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node10/watcher-349627-1176711396 -o ROOT/results/node10/solver-349627-1176711396 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4859
/proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1048 CPUtime=0
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 123 0 0 0 0 0 0 0 18 0 1 0 147177129 1073152 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 262 111 74 215 0 44 0

[startup+0.00911302 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4859
/proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1180 CPUtime=0
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 147177129 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 295 127 74 215 0 77 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1180

[startup+0.101131 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4859
/proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=2324 CPUtime=0.09
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 147177129 2379776 408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 581 408 74 215 0 363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2324

[startup+0.301175 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4859
/proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=4008 CPUtime=0.29
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 847 0 0 0 29 0 0 0 19 0 1 0 147177129 4104192 832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 1002 832 74 215 0 784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4008

[startup+0.701261 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4859
/proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=7348 CPUtime=0.69
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 1679 0 0 0 68 1 0 0 23 0 1 0 147177129 7524352 1664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 1837 1664 74 215 0 1619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7348

[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1821432/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=14044 CPUtime=1.49
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 3346 0 0 0 147 2 0 0 25 0 1 0 147177129 14381056 3331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 3511 3331 74 215 0 3293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14044

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1812024/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=27468 CPUtime=3.09
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 6670 0 0 0 304 5 0 0 25 0 1 0 147177129 28127232 6655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 6867 6655 74 215 0 6649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27468

[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1782144/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=48936 CPUtime=6.28
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 12058 0 0 0 605 23 0 0 25 0 1 0 147177129 50110464 12043 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 12234 12043 103 215 0 12016 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48936

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1764608/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=68644 CPUtime=12.68
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 16980 0 0 0 1242 26 0 0 25 0 1 0 147177129 70291456 16965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 17161 16965 103 215 0 16943 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68644

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1707712/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=124752 CPUtime=25.47
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 30974 0 0 0 2515 32 0 0 25 0 1 0 147177129 127746048 30959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 31188 30959 103 215 0 30970 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 124752

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1625856/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=206508 CPUtime=51.06
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 51412 0 0 0 5063 43 0 0 25 0 1 0 147177129 211464192 51397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576648 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 51627 51397 103 215 0 51409 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 206508

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1507392/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=323524 CPUtime=102.25
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 80664 0 0 0 10164 61 0 0 25 0 1 0 147177129 331288576 80649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 80881 80649 103 215 0 80663 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 323524

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1401152/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=430324 CPUtime=162.22
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 107289 0 0 0 16144 78 0 0 25 0 1 0 147177129 440651776 107274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 107581 107274 103 215 0 107363 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 430324

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1328256/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=502644 CPUtime=222.19
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 125348 0 0 0 22130 89 0 0 25 0 1 0 147177129 514707456 125333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 125661 125333 103 215 0 125443 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 502644

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1236096/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=596348 CPUtime=282.17
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 148705 0 0 0 28111 106 0 0 25 0 1 0 147177129 610660352 148690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 149087 148690 103 215 0 148869 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 596348

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1132480/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=698696 CPUtime=342.15
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 174279 0 0 0 34094 121 0 0 25 0 1 0 147177129 715464704 174264 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 174674 174264 103 215 0 174456 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 698696

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=1050304/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=781452 CPUtime=402.13
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 194915 0 0 0 40077 136 0 0 25 0 1 0 147177129 800206848 194900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 195363 194900 103 215 0 195145 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 781452

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=976640/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=854236 CPUtime=462.1
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 213121 0 0 0 46062 148 0 0 25 0 1 0 147177129 874737664 213106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 213559 213106 103 215 0 213341 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 854236

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=896256/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=935692 CPUtime=522.08
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 233367 0 0 0 52043 165 0 0 25 0 1 0 147177129 958148608 233352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 233923 233352 103 215 0 233705 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 935692

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 4860
/proc/meminfo: memFree=837312/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=993668 CPUtime=582.06
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 247877 0 0 0 58027 179 0 0 25 0 1 0 147177129 1017516032 247862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 248417 247862 103 215 0 248199 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 993668

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=795136/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1035384 CPUtime=642.03
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 258280 0 0 0 64018 185 0 0 25 0 1 0 147177129 1060233216 258265 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 258846 258265 103 215 0 258628 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1035384


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4860
/proc/meminfo: memFree=548544/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1281668 CPUtime=881.94
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 319813 0 0 0 87961 233 0 0 25 0 1 0 147177129 1312428032 319798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 320417 319798 103 215 0 320199 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1281668

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=488448/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1342428 CPUtime=941.91
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 334866 0 0 0 93949 242 0 0 25 0 1 0 147177129 1374646272 334851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 335607 334851 103 215 0 335389 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1342428

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=418688/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1411720 CPUtime=1001.89
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 352177 0 0 0 99936 253 0 0 25 0 1 0 147177129 1445601280 352162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 352930 352162 103 215 0 352712 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1411720

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=408640/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1061.87
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354612 0 0 0 105931 256 0 0 25 0 1 0 147177129 1455632384 354597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354597 103 215 0 355161 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1421516

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=408576/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1121.84
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354614 0 0 0 111928 256 0 0 25 0 1 0 147177129 1455632384 354599 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354599 103 215 0 355161 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1421516

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 4862
/proc/meminfo: memFree=408512/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1181.83
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354615 0 0 0 117926 257 0 0 25 0 1 0 147177129 1455632384 354600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354600 103 215 0 355161 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1421516

[startup+1242.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 4862
/proc/meminfo: memFree=408512/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1241.8
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354616 0 0 0 123923 257 0 0 25 0 1 0 147177129 1455632384 354601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354601 103 215 0 355161 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1421516

[startup+1302.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 4862
/proc/meminfo: memFree=408448/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1301.78
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354616 0 0 0 129920 258 0 0 25 0 1 0 147177129 1455632384 354601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354601 103 215 0 355161 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1421516

[startup+1362.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/78 4862
/proc/meminfo: memFree=408448/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1361.75
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354618 0 0 0 135917 258 0 0 25 0 1 0 147177129 1455632384 354603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354603 103 215 0 355161 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1421516

[startup+1422.31 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 4862
/proc/meminfo: memFree=408384/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1421.74
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354618 0 0 0 141915 259 0 0 25 0 1 0 147177129 1455632384 354603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354603 103 215 0 355161 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1421516

[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 4862
/proc/meminfo: memFree=408320/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1481.7
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354620 0 0 0 147911 259 0 0 25 0 1 0 147177129 1455632384 354605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354605 103 215 0 355161 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1421516

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 4862
/proc/meminfo: memFree=408320/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1541.68
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354622 0 0 0 153908 260 0 0 25 0 1 0 147177129 1455632384 354607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354607 103 215 0 355161 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1421516

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4862
/proc/meminfo: memFree=408256/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1601.65
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354622 0 0 0 159905 260 0 0 25 0 1 0 147177129 1455632384 354607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354607 103 215 0 355161 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1421516

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4862
/proc/meminfo: memFree=408256/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1661.64
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354623 0 0 0 165903 261 0 0 25 0 1 0 147177129 1455632384 354608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354608 103 215 0 355161 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1421516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4862
/proc/meminfo: memFree=408192/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1721.61
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 171900 261 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580943 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354609 103 215 0 355161 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1421516

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1781.59
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 177897 262 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354609 103 215 0 355161 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1421516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=1421516 CPUtime=1800.09
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 179747 262 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 355379 354609 103 215 0 355161 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1421516

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

Solver just ended. Dumping a history of the last processes samples

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4862
/proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956
[pid=4859] ppid=4857 vsize=0 CPUtime=1800.28
/proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194308 354625 0 0 0 179747 281 0 0 25 0 1 0 147177129 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0
/proc/4859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.31
CPU user time (s): 1797.47
CPU system time (s): 2.83857
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 1421516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.47
system time used= 2.83857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354625
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= 765
involuntary context switches= 35984

runsolver used 2.22666 second user time and 4.6033 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Mon Apr 16 08:16:36 UTC 2007

IDJOB= 349627
IDBENCH= 2572
IDSOLVER= 156
FILE ID= node10/349627-1176711396

PBS_JOBID= 4559436

Free space on /tmp= 66515 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
COMMAND LINE= /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-349627-1176711396 -o ROOT/results/node10/conversion-349627-1176711396 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-349627-1176711396 -o ROOT/results/node10/solver-349627-1176711396 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  2d2ba598d361b1b8832ef2eaa384d61f

RANDOM SEED= 41856621

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1830744 kB
Buffers:         15492 kB
Cached:         136824 kB
SwapCached:       2384 kB
Active:          60824 kB
Inactive:       115328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1830744 kB
SwapTotal:     4192956 kB
SwapFree:      4158492 kB
Dirty:            6812 kB
Writeback:           0 kB
Mapped:          31372 kB
Slab:            34560 kB
Committed_AS:  3488712 kB
PageTables:       1712 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66515 MiB

End job on node10 on Mon Apr 16 08:46:39 UTC 2007