Trace number 46093

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.88 1801.46

General information on the benchmark

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

Solver Data (download as text)

0.00	c Parsing PB file...
4.62	c Converting 174021 PB-constraints to clauses...
4.63	c   -- Unit propagations: (none)
4.64	c   -- Detecting intervals from adjacent constraints: (none)
4.69	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
5.06	c ==================================[MINISAT+]==================================
5.06	c | Conflicts | Original         | Learnt                           | Progress |
5.06	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.06	c ==============================================================================
5.06	c |         0 |  174021   352870 |   58007       0        0     nan |  0.000 % |
5.07	c |       100 |  174021   352870 |   63807     100    24836   248.4 |  0.000 % |
5.10	c |       250 |  174021   352870 |   70188     250    59406   237.6 |  0.000 % |
5.17	c |       475 |  174021   352870 |   77207     475   223890   471.3 |  0.000 % |
5.25	c |       813 |  174021   352870 |   84928     813   406499   500.0 |  0.000 % |
5.34	c |      1320 |  174021   352870 |   93420    1320   567365   429.8 |  0.000 % |
5.48	c |      2079 |  174021   352870 |  102762    2079   820473   394.6 |  0.000 % |
5.73	c |      3221 |  174021   352870 |  113039    3221  1233319   382.9 |  0.000 % |
6.43	c |      4930 |  174021   352870 |  124343    4930  2469506   500.9 |  0.000 % |
7.17	c |      7493 |  174021   352870 |  136777    7493  3850999   513.9 |  0.000 % |
8.41	c |     11338 |  174021   352870 |  150455   11338  5640365   497.5 |  0.000 % |
11.03	c |     17104 |  174021   352870 |  165500   17104  9227134   539.5 |  0.000 % |
20.27	c |     25761 |  174021   352870 |  182050   25761 17531060   680.5 |  0.000 % |
34.11	c |     38735 |  174021   352870 |  200255   38735 32526201   839.7 |  0.000 % |
74.52	c |     58196 |  174021   352870 |  220281   58196 57802658   993.2 |  0.000 % |
119.21	c |     87388 |  174021   352870 |  242309   87388 82008391   938.4 |  0.000 % |
258.30	c |    131178 |  174021   352870 |  266540  131178 127939345   975.3 |  0.000 % |
479.30	c |    196862 |  174021   352870 |  293194  196862 210476789  1069.2 |  0.000 % |
845.03	c |    295390 |  174021   352870 |  322514  295390 300681244  1017.9 |  0.000 % |
1636.20	c |    443180 |  174021   352870 |  354765  131436 196775284  1497.1 |  0.000 % |
1801.22	c 
1801.22	c *** TERMINATED ***
1801.22	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node33/watcher-46093-1154055568 -o ROOT/results/node33/solver-46093-1154055568 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/46093-1154055568/instance-46093-1154055568.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/64 21466
/proc/meminfo: memFree=1136136/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1048 CPUtime=0
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 112 0 0 0 0 0 0 0 19 0 1 0 152431759 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 262 96 74 215 0 44 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.97 2/64 21466
/proc/meminfo: memFree=1078224/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=59140 CPUtime=9.99
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 14591 0 0 0 974 25 0 0 25 0 1 0 152431759 60559360 14575 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 14785 14575 103 215 0 14567 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 59140

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.97 2/64 21466
/proc/meminfo: memFree=1039952/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=97320 CPUtime=19.99
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 24145 0 0 0 1969 30 0 0 25 0 1 0 152431759 99655680 24129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 24330 24129 103 215 0 24112 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 97320

[startup+30.0153 s]
/proc/loadavg: 0.95 0.98 0.97 2/64 21466
/proc/meminfo: memFree=991952/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=145344 CPUtime=30
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 36145 0 0 0 2964 36 0 0 25 0 1 0 152431759 148832256 36129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 36336 36129 103 215 0 36118 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 145344

[startup+40.0216 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 21466
/proc/meminfo: memFree=958800/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=178504 CPUtime=39.99
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 44408 0 0 0 3960 39 0 0 25 0 1 0 152431759 182788096 44392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 44626 44392 103 215 0 44408 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 178504

[startup+50.0279 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 21466
/proc/meminfo: memFree=932176/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=205136 CPUtime=50
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 51071 0 0 0 4956 44 0 0 25 0 1 0 152431759 210059264 51055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 51284 51055 103 215 0 51066 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 205136

[startup+60.0342 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 21466
/proc/meminfo: memFree=910160/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=227148 CPUtime=60.01
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 56567 0 0 0 5953 48 0 0 25 0 1 0 152431759 232599552 56551 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574132 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 56787 56551 103 215 0 56569 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 227148

[startup+70.0404 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 21466
/proc/meminfo: memFree=890064/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=247156 CPUtime=70.01
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 61575 0 0 0 6950 51 0 0 25 0 1 0 152431759 253087744 61559 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 61789 61559 103 215 0 61571 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 247156

[startup+80.0467 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21466
/proc/meminfo: memFree=869328/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=267996 CPUtime=80.01
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 66748 0 0 0 7947 54 0 0 25 0 1 0 152431759 274427904 66732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 66999 66732 103 215 0 66781 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 267996

[startup+90.053 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21466
/proc/meminfo: memFree=842512/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=294724 CPUtime=90.02
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 73444 0 0 0 8944 58 0 0 25 0 1 0 152431759 301797376 73428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 73681 73428 103 215 0 73463 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 294724

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.97 2/70 21540
/proc/meminfo: memFree=815840/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=320216 CPUtime=100.01
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 79834 0 0 0 9931 70 0 0 25 0 1 0 152431759 327901184 79818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 80054 79818 103 215 0 79836 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 320216

[startup+110.067 s]
/proc/loadavg: 0.98 0.98 0.97 2/70 21600
/proc/meminfo: memFree=795416/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=340348 CPUtime=109.99
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 84870 0 0 0 10926 73 0 0 25 0 1 0 152431759 348516352 84854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 85087 84854 103 215 0 84869 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 340348

[startup+120.073 s]
/proc/loadavg: 0.99 0.98 0.97 4/70 21652
/proc/meminfo: memFree=775768/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=360000 CPUtime=119.96
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 89763 0 0 0 11920 76 0 0 25 0 1 0 152431759 368640000 89747 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580943 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21466/statm: 90000 89747 103 215 0 89782 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 360000

[startup+130.08 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=755024/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=382152 CPUtime=129.96
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 95247 0 0 0 12918 78 0 0 25 0 1 0 152431759 391323648 95231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 95538 95231 103 215 0 95320 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 382152

[startup+140.086 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=736912/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=400144 CPUtime=139.97
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 99760 0 0 0 13915 82 0 0 25 0 1 0 152431759 409747456 99744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 100036 99744 103 215 0 99818 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 400144

[startup+150.094 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=722960/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=414164 CPUtime=149.97
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 103248 0 0 0 14913 84 0 0 25 0 1 0 152431759 424103936 103232 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 103541 103232 103 215 0 103323 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 414164

[startup+160.099 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=708304/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=428728 CPUtime=159.97
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 106893 0 0 0 15911 86 0 0 25 0 1 0 152431759 439017472 106877 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 107182 106877 103 215 0 106964 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 428728

[startup+170.105 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=697232/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=439904 CPUtime=169.97
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 109665 0 0 0 16909 88 0 0 25 0 1 0 152431759 450461696 109649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583960 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 109976 109649 103 215 0 109758 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 439904

[startup+180.112 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=684048/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=453132 CPUtime=179.97
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 112952 0 0 0 17907 90 0 0 25 0 1 0 152431759 464007168 112936 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 113283 112936 103 215 0 113065 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 453132

[startup+190.118 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=668496/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=468496 CPUtime=189.98
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 116823 0 0 0 18905 93 0 0 25 0 1 0 152431759 479739904 116807 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 117124 116807 103 215 0 116906 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 468496

[startup+200.124 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=657232/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=479788 CPUtime=199.98
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 119624 0 0 0 19903 95 0 0 25 0 1 0 152431759 491302912 119608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 119947 119608 103 215 0 119729 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 479788

[startup+210.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664

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

/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 177895 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 1421576

[startup+1783.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1782.55
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 177995 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 1421576

[startup+1784.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1783.56
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178096 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 1421576

[startup+1785.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1784.56
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178196 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 1421576

[startup+1786.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1785.56
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178296 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 1421576

[startup+1787.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1786.57
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178397 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 1421576

[startup+1788.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1787.57
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178497 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 1421576

[startup+1789.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1788.58
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178598 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 1421576

[startup+1790.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1789.58
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178698 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 1421576

[startup+1791.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1790.59
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178799 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 1421576

[startup+1792.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1791.59
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 178899 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 1421576

[startup+1793.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1792.6
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179000 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 1421576

[startup+1794.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1793.6
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179100 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 1421576

[startup+1795.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1794.61
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179201 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 1421576

[startup+1796.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1795.61
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179301 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 1421576

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1796.62
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179402 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 1421576

[startup+1798.21 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1797.62
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179502 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 1421576

[startup+1799.21 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1798.63
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179603 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 1421576

[startup+1800.22 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1799.63
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179703 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 1421576

[startup+1801.22 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1800.64
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179804 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 1421576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21664
/proc/meminfo: memFree=15888/2055920 swapFree=4183192/4192956
[pid=21466] ppid=21464 vsize=1421576 CPUtime=1800.64
/proc/21466/stat : 21466 (minisat+) R 21464 21466 21417 0 -1 4194304 354631 0 0 0 179804 260 0 0 25 0 1 0 152431759 1455693824 354615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21466/statm: 355394 354615 103 215 0 355176 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 1421576

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

Child status: 0
Real time (s): 1801.46
CPU time (s): 1800.88
CPU user time (s): 1798.04
CPU system time (s): 2.83157
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 1421576
The end

Launcher Data (download as text)

Begin job on node33 on Fri Jul 28 02:59:28 UTC 2006


FILE ID= 46093-1154055568

PBS_JOBID= 882012

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/46093-1154055568/instance-46093-1154055568.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-46093-1154055568 -o ROOT/results/node33/solver-46093-1154055568 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/46093-1154055568/instance-46093-1154055568.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  2d2ba598d361b1b8832ef2eaa384d61f

RANDOM SEED= 167544740

TIMEOUT= 1800 seconds


/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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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:       1136344 kB
Buffers:         36780 kB
Cached:         810488 kB
SwapCached:       3616 kB
Active:         262968 kB
Inactive:       592968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1136344 kB
SwapTotal:     4192956 kB
SwapFree:      4183192 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14680 kB
Slab:            49644 kB
Committed_AS:   661340 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Fri Jul 28 03:29:29 UTC 2006