Trace number 420867

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.07 1800.87

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb
MD5SUMa882d3f06de9dc1339a0d54393ca9b95
Bench CategoryPURE-SAT (instances containing only clauses)
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 variables90300
Total number of constraints179702
Number of constraints which are clauses179702
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 constraint1
Maximum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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...
8.39/8.49	c Converting 179700 PB-constraints to clauses...
8.58/8.63	c   -- Unit propagations: (none)
8.58/8.64	c   -- Detecting intervals from adjacent constraints: (none)
8.58/8.66	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
9.19/9.23	c ==================================[MINISAT+]==================================
9.19/9.23	c | Conflicts | Original         | Learnt                           | Progress |
9.19/9.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.19/9.23	c ==============================================================================
9.19/9.23	c |         0 |  179700   718192 |   59900       0        0     nan |  0.000 % |
9.29/9.32	c |       100 |  179700   718192 |   65890     100      440     4.4 |  0.002 % |
9.39/9.47	c |       250 |  179700   718192 |   72479     250     1240     5.0 |  0.002 % |
9.59/9.65	c |       475 |  179700   718192 |   79726     475     2558     5.4 |  0.002 % |
9.68/9.77	c |       814 |  179700   718192 |   87699     814     4613     5.7 |  0.002 % |
9.98/10.06	c |      1320 |  179700   718192 |   96469    1320     7402     5.6 |  0.002 % |
10.48/10.57	c |      2079 |  179700   718192 |  106116    2079    11562     5.6 |  0.002 % |
10.58/10.62	c |      3219 |  179700   718192 |  116728    3219    20592     6.4 |  0.002 % |
11.88/11.92	c |      4927 |  179700   718192 |  128400    4927    31995     6.5 |  0.002 % |
12.09/12.19	c |      7489 |  179700   718192 |  141241    7489    50396     6.7 |  0.002 % |
13.28/13.39	c |     11333 |  179700   718192 |  155365   11333    87070     7.7 |  0.002 % |
14.48/14.50	c |     17100 |  179700   718192 |  170901   17100   132054     7.7 |  0.002 % |
14.78/14.83	c |     25749 |  179700   718192 |  187991   25749   244737     9.5 |  0.002 % |
18.88/18.94	c |     38723 |  179700   718192 |  206791   38723   356783     9.2 |  0.002 % |
20.38/20.43	c |     58184 |  179700   718192 |  227470   58184   547042     9.4 |  0.002 % |
29.18/29.24	c |     87376 |  179700   718192 |  250217   87376   920338    10.5 |  0.002 % |
34.08/34.13	c |    131165 |  179700   718192 |  275238  131165  1538024    11.7 |  0.002 % |
42.26/42.36	c |    196850 |  179700   718192 |  302762  196850  3432450    17.4 |  0.002 % |
63.15/63.27	c |    295376 |  179700   718192 |  333039  295376  5267276    17.8 |  0.002 % |
88.55/88.66	c |    443166 |  179700   718192 |  366342  126073  1792851    14.2 |  0.002 % |
123.53/123.69	c |    664849 |  179700   718192 |  402977  347756  5620261    16.2 |  0.002 % |
177.61/177.73	c |    997374 |  179700   718192 |  443274  297996  5378011    18.0 |  0.002 % |
274.67/274.89	c |   1496162 |  179700   718192 |  487602  365622 14517828    39.7 |  0.002 % |
419.22/419.48	c |   2244344 |  179700   718192 |  536362  171285  2508253    14.6 |  0.002 % |
622.55/622.84	c |   3366618 |  179700   718192 |  589998  262594 11529369    43.9 |  0.002 % |
904.13/904.62	c |   5050030 |  179700   718192 |  648998  244864  8605252    35.1 |  0.002 % |
1437.34/1438.02	c |   7575146 |  179700   718192 |  713898  263390  8459528    32.1 |  0.002 % |
1800.01/1800.80	c 
1800.01/1800.80	c *** TERMINATED ***
1800.01/1800.80	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-420867-1177433370 -o ROOT/results/node46/solver-420867-1177433370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420867-1177433370/minisat+ /tmp/evaluation/420867-1177433370/instance-420867-1177433370.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: 0.92 0.98 0.99 3/78 2108
/proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=1048 CPUtime=0
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 124 0 0 0 0 0 0 0 18 0 1 0 98020163 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 262 110 74 215 0 44 0

[startup+0.0390871 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2108
/proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=1816 CPUtime=0.03
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 311 0 0 0 3 0 0 0 18 0 1 0 98020163 1859584 297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 454 297 74 215 0 236 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1816

[startup+0.101098 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2108
/proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=3212 CPUtime=0.09
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 590 0 0 0 9 0 0 0 18 0 1 0 98020163 3289088 576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 803 577 74 215 0 585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3212

[startup+0.301135 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2108
/proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=6408 CPUtime=0.28
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 1406 0 0 0 28 0 0 0 19 0 1 0 98020163 6561792 1350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 1602 1350 74 215 0 1384 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6408

[startup+0.70121 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 2108
/proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=12132 CPUtime=0.69
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 2860 0 0 0 68 1 0 0 22 0 1 0 98020163 12423168 2713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 3033 2713 75 215 0 2815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12132

[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 2109
/proc/meminfo: memFree=1797160/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=21700 CPUtime=1.48
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 4938 0 0 0 146 2 0 0 25 0 1 0 98020163 22220800 4791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 5425 4791 75 215 0 5207 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21700

[startup+3.10165 s]
/proc/loadavg: 1.01 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1786472/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=34480 CPUtime=3.09
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 8522 0 0 0 304 5 0 0 25 0 1 0 98020163 35307520 8210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531245 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 8620 8210 75 215 0 8402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34480

[startup+6.30125 s]
/proc/loadavg: 1.01 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1761000/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=58068 CPUtime=6.29
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 14471 0 0 0 620 9 0 0 25 0 1 0 98020163 59461632 14159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 14517 14159 75 215 0 14299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58068

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1727792/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=84668 CPUtime=12.68
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21665 0 0 0 1237 31 0 0 25 0 1 0 98020163 86700032 20815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 21167 20815 103 215 0 20949 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84668

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1727536/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=85032 CPUtime=25.48
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21736 0 0 0 2517 31 0 0 25 0 1 0 98020163 87072768 20886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589232 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 21258 20886 103 215 0 21040 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85032

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1726704/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=86184 CPUtime=51.06
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21950 0 0 0 5074 32 0 0 25 0 1 0 98020163 88252416 21100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 21546 21100 103 215 0 21328 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86184

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1722864/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=90276 CPUtime=102.25
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 22915 0 0 0 10192 33 0 0 25 0 1 0 98020163 92442624 22065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 22569 22065 103 215 0 22351 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 90276

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1711088/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=102248 CPUtime=162.21
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 25883 0 0 0 16187 34 0 0 25 0 1 0 98020163 104701952 25033 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 25562 25033 103 215 0 25344 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 102248

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1693616/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=119544 CPUtime=222.2
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 30209 0 0 0 22183 37 0 0 25 0 1 0 98020163 122413056 29359 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 29886 29359 103 215 0 29668 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 119544

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1660208/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=153128 CPUtime=282.18
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 38602 0 0 0 28175 43 0 0 25 0 1 0 98020163 156803072 37752 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 38282 37752 103 215 0 38064 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 153128

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 2109
/proc/meminfo: memFree=1652336/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=161492 CPUtime=342.16
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40471 0 0 0 34172 44 0 0 25 0 1 0 98020163 165367808 39621 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 40373 39621 103 215 0 40155 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 161492

[startup+402.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/79 2109
/proc/meminfo: memFree=1652272/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=161492 CPUtime=402.13
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40478 0 0 0 40169 44 0 0 25 0 1 0 98020163 165367808 39628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 40373 39628 103 215 0 40155 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 161492

[startup+462.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 2109
/proc/meminfo: memFree=1652208/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=161492 CPUtime=462.11
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40478 0 0 0 46166 45 0 0 25 0 1 0 98020163 165367808 39628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 40373 39628 103 215 0 40155 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 161492

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 2109
/proc/meminfo: memFree=1652016/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=161492 CPUtime=522.09
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40519 0 0 0 52164 45 0 0 25 0 1 0 98020163 165367808 39669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 40373 39669 103 215 0 40155 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 161492

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2109
/proc/meminfo: memFree=1644592/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=168920 CPUtime=582.07
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 42384 0 0 0 58160 47 0 0 25 0 1 0 98020163 172974080 41534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 42230 41534 103 215 0 42012 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 168920

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2109
/proc/meminfo: memFree=1634608/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=178964 CPUtime=642.05
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 44860 0 0 0 64156 49 0 0 25 0 1 0 98020163 183259136 44010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584692 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 44741 44010 103 215 0 44523 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 178964


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1609008/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=204204 CPUtime=821.86
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 51183 0 0 0 82132 54 0 0 25 0 1 0 98020163 209104896 50333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 51051 50333 103 215 0 50833 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 204204

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1579760/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=233336 CPUtime=881.84
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 58459 0 0 0 88125 59 0 0 25 0 1 0 98020163 238936064 57609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 58334 57609 103 215 0 58116 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 233336

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1579760/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=233336 CPUtime=941.81
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 58459 0 0 0 94122 59 0 0 25 0 1 0 98020163 238936064 57609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 58334 57609 103 215 0 58116 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 233336

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1571056/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=241836 CPUtime=1001.79
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 60614 0 0 0 100118 61 0 0 25 0 1 0 98020163 247640064 59764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 60459 59764 103 215 0 60241 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 241836

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1570096/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=244632 CPUtime=1061.77
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 61302 0 0 0 106115 62 0 0 25 0 1 0 98020163 250503168 60452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 61158 60452 103 215 0 60940 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 244632

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1562416/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=250352 CPUtime=1121.75
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 62743 0 0 0 112112 63 0 0 25 0 1 0 98020163 256360448 61893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 62588 61893 103 215 0 62370 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 250352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1545712/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=268492 CPUtime=1181.73
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 67147 0 0 0 118105 68 0 0 25 0 1 0 98020163 274935808 66297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 67123 66297 103 215 0 66905 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 268492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1504816/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=309140 CPUtime=1241.71
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 77117 0 0 0 124093 78 0 0 25 0 1 0 98020163 316559360 76267 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580935 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 77285 76267 103 215 0 77067 0
Current children cumulated CPU time (s) 1241.71
Current children cumulated vsize (KiB) 309140

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496560/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=317276 CPUtime=1301.69
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 130089 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79319 78302 103 215 0 79101 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 317276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496496/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=317276 CPUtime=1361.66
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 136086 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79319 78302 103 215 0 79101 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 317276

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496496/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=317276 CPUtime=1421.64
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 142084 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79319 78302 103 215 0 79101 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 317276

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496432/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=317276 CPUtime=1481.62
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 148081 81 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79319 78302 103 215 0 79101 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 317276

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496176/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=318644 CPUtime=1541.59
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79221 0 0 0 154078 81 0 0 25 0 1 0 98020163 326291456 78363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79661 78363 103 215 0 79443 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 318644

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1496240/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=318644 CPUtime=1601.58
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79221 0 0 0 160076 82 0 0 25 0 1 0 98020163 326291456 78363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572980 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 79661 78363 103 215 0 79443 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 318644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1486000/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=329064 CPUtime=1661.55
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 166072 83 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 82266 80916 103 215 0 82048 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 329064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1486000/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=329064 CPUtime=1721.54
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 172070 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 82266 80916 103 215 0 82048 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 329064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1485872/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=329064 CPUtime=1781.51
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 178067 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572994 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 82266 80916 103 215 0 82048 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 329064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2307
/proc/meminfo: memFree=1485872/2055920 swapFree=4159780/4192956
[pid=2108] ppid=2106 vsize=329064 CPUtime=1800.01
/proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 179917 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2108/statm: 82266 80916 103 215 0 82048 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 329064

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

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

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.07
CPU user time (s): 1799.17
CPU system time (s): 0.899863
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 329064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.899863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81775
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= 363
involuntary context switches= 37756

runsolver used 1.81972 second user time and 4.76228 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue Apr 24 16:49:32 UTC 2007

IDJOB= 420867
IDBENCH= 47876
IDSOLVER= 156
FILE ID= node46/420867-1177433370

PBS_JOBID= 4675762

Free space on /tmp= 66074 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb
COMMAND LINE= /tmp/evaluation/420867-1177433370/minisat+ /tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-420867-1177433370 -o ROOT/results/node46/conversion-420867-1177433370 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  a882d3f06de9dc1339a0d54393ca9b95

RANDOM SEED= 567202637

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1811592 kB
Buffers:         26232 kB
Cached:         144112 kB
SwapCached:       3192 kB
Active:         103196 kB
Inactive:        91668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811592 kB
SwapTotal:     4192956 kB
SwapFree:      4159780 kB
Dirty:           10632 kB
Writeback:           0 kB
Mapped:          31836 kB
Slab:            34876 kB
Committed_AS:  3455632 kB
PageTables:       1992 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= 66074 MiB

End job on node46 on Tue Apr 24 17:19:35 UTC 2007