Trace number 353039

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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.09 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
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 constraint15
Number of terms in the objective function 7500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
6.28/6.33	c Converting 237715 PB-constraints to clauses...
6.28/6.36	c   -- Unit propagations: (none)
6.28/6.36	c   -- Detecting intervals from adjacent constraints: (none)
6.28/6.38	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
6.88/6.92	c ==================================[MINISAT+]==================================
6.88/6.92	c | Conflicts | Original         | Learnt                           | Progress |
6.88/6.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.88/6.92	c ==============================================================================
6.88/6.92	c |         0 |  237715   478680 |   79238       0        0     nan |  0.000 % |
6.88/6.93	c |       100 |  237715   478680 |   87161     100     4687    46.9 |  0.000 % |
6.88/6.95	c |       251 |  237715   478680 |   95877     251    13884    55.3 |  0.000 % |
6.88/6.99	c |       478 |  237715   478680 |  105465     478    34800    72.8 |  0.000 % |
6.99/7.05	c |       818 |  237715   478680 |  116012     818    73420    89.8 |  0.000 % |
7.19/7.20	c |      1324 |  237715   478680 |  127613    1324   170495   128.8 |  0.000 % |
7.39/7.43	c |      2083 |  237715   478680 |  140374    2083   290241   139.3 |  0.000 % |
7.79/7.81	c |      3224 |  237715   478680 |  154412    3224   545693   169.3 |  0.000 % |
8.39/8.42	c |      4934 |  237715   478680 |  169853    4934   854269   173.1 |  0.000 % |
9.49/9.50	c |      7497 |  237715   478680 |  186839    7497  1546507   206.3 |  0.000 % |
11.69/11.78	c |     11342 |  237715   478680 |  205522   11342  2310229   203.7 |  0.000 % |
15.29/15.37	c |     17111 |  237715   478680 |  226075   17111  3510127   205.1 |  0.000 % |
21.88/21.96	c |     25760 |  237715   478680 |  248682   25760  5122962   198.9 |  0.000 % |
35.07/35.13	c |     38737 |  237715   478680 |  273551   38737  8543560   220.6 |  0.000 % |
71.85/71.92	c |     58200 |  237715   478680 |  300906   58200 13346325   229.3 |  0.000 % |
145.42/145.57	c |     87394 |  237715   478680 |  330996   87394 18565662   212.4 |  0.000 % |
322.86/323.00	c |    131185 |  237715   478680 |  364096  131185 27153657   207.0 |  0.000 % |
574.06/574.36	c |    196869 |  237715   478680 |  400506  196869 40790671   207.2 |  0.000 % |
1043.50/1043.92	c |    295397 |  237715   478680 |  440556  295397 59651103   201.9 |  0.000 % |
1800.02/1800.70	c 
1800.02/1800.71	c *** TERMINATED ***
1800.02/1800.71	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb is already a linear file

Watcher Data (download as text)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 2270
/proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=1352 CPUtime=0
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 97265440 1384448 173 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 338 173 67 215 0 120 0

[startup+0.0745639 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 2270
/proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=2836 CPUtime=0.06
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 544 0 0 0 6 0 0 0 18 0 1 0 97265440 2904064 529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 709 529 74 215 0 491 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2836

[startup+0.101568 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 2270
/proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=3112 CPUtime=0.09
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 601 0 0 0 9 0 0 0 18 0 1 0 97265440 3186688 586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 778 586 74 215 0 560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3112

[startup+0.301606 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 2270
/proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=4776 CPUtime=0.29
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 1028 0 0 0 29 0 0 0 19 0 1 0 97265440 4890624 1013 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 1194 1013 74 215 0 976 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4776

[startup+0.701683 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 2270
/proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=8188 CPUtime=0.69
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 1873 0 0 0 69 0 0 0 23 0 1 0 97265440 8384512 1858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 2047 1858 74 215 0 1829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8188

[startup+1.50184 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1731008/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=14888 CPUtime=1.49
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 3561 0 0 0 148 1 0 0 25 0 1 0 97265440 15245312 3546 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 3722 3546 74 215 0 3504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14888

[startup+3.10114 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1721536/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=28452 CPUtime=3.08
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 6916 0 0 0 306 2 0 0 25 0 1 0 97265440 29134848 6901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 7113 6901 74 215 0 6895 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28452

[startup+6.30176 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1693704/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=55388 CPUtime=6.28
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 13606 0 0 0 622 6 0 0 25 0 1 0 97265440 56717312 13591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 13847 13591 74 215 0 13629 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55388

[startup+12.703 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1675096/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=66644 CPUtime=12.69
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 16427 0 0 0 1237 32 0 0 25 0 1 0 97265440 68243456 16368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580349 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 16661 16368 103 215 0 16443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66644

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1675160/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=66644 CPUtime=25.48
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 16427 0 0 0 2516 32 0 0 25 0 1 0 97265440 68243456 16368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 16661 16368 103 215 0 16443 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66644

[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1658840/2055920 swapFree=4138996/4192956
[pid=2270] ppid=2268 vsize=83368 CPUtime=51.06
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 20613 0 0 0 5071 35 0 0 25 0 1 0 97265440 85368832 20554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 20842 20554 103 215 0 20624 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 83368

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1636888/2055920 swapFree=4139060/4192956
[pid=2270] ppid=2268 vsize=105212 CPUtime=102.24
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 26020 0 0 0 10183 41 0 0 25 0 1 0 97265440 107737088 25961 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 26303 25961 103 215 0 26085 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 105212

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1620376/2055920 swapFree=4139060/4192956
[pid=2270] ppid=2268 vsize=121888 CPUtime=162.21
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 30165 0 0 0 16175 46 0 0 25 0 1 0 97265440 124813312 30106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 30472 30106 103 215 0 30254 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 121888

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2271
/proc/meminfo: memFree=1607000/2055920 swapFree=4139060/4192956
[pid=2270] ppid=2268 vsize=135076 CPUtime=222.2
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 33448 0 0 0 22170 50 0 0 25 0 1 0 97265440 138317824 33389 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 33769 33389 103 215 0 33551 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 135076

[startup+282.302 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1595480/2055920 swapFree=4139060/4192956
[pid=2270] ppid=2268 vsize=146504 CPUtime=282.18
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 36335 0 0 0 28164 54 0 0 25 0 1 0 97265440 150020096 36276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 36626 36276 103 215 0 36408 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 146504

[startup+342.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1583448/2055920 swapFree=4139124/4192956
[pid=2270] ppid=2268 vsize=158472 CPUtime=342.15
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 39317 0 0 0 34158 57 0 0 25 0 1 0 97265440 162275328 39258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 39618 39258 103 215 0 39400 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 158472

[startup+402.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1568344/2055920 swapFree=4139124/4192956
[pid=2270] ppid=2268 vsize=173924 CPUtime=402.12
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 43111 0 0 0 40150 62 0 0 25 0 1 0 97265440 178098176 43052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 43481 43052 103 215 0 43263 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 173924

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1550616/2055920 swapFree=4139188/4192956
[pid=2270] ppid=2268 vsize=191408 CPUtime=462.1
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 47487 0 0 0 46142 68 0 0 25 0 1 0 97265440 196001792 47428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 47852 47428 103 215 0 47634 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 191408

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1537496/2055920 swapFree=4139188/4192956
[pid=2270] ppid=2268 vsize=204576 CPUtime=522.08
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 50766 0 0 0 52136 72 0 0 25 0 1 0 97265440 209485824 50707 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 51144 50707 103 215 0 50926 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 204576

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1526616/2055920 swapFree=4139188/4192956
[pid=2270] ppid=2268 vsize=215432 CPUtime=582.06
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 53462 0 0 0 58130 76 0 0 25 0 1 0 97265440 220602368 53403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 53858 53403 103 215 0 53640 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 215432

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1514904/2055920 swapFree=4139252/4192956
[pid=2270] ppid=2268 vsize=227580 CPUtime=642.04
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 56348 0 0 0 64125 79 0 0 25 0 1 0 97265440 233041920 56289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 56895 56289 103 215 0 56677 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 227580


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1462808/2055920 swapFree=4139380/4192956
[pid=2270] ppid=2268 vsize=279664 CPUtime=881.95
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 69317 0 0 0 88099 96 0 0 25 0 1 0 97265440 286375936 69258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 69916 69258 103 215 0 69698 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 279664

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1456472/2055920 swapFree=4139380/4192956
[pid=2270] ppid=2268 vsize=286112 CPUtime=941.93
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 70877 0 0 0 94095 98 0 0 25 0 1 0 97265440 292978688 70818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 71528 70818 103 215 0 71310 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 286112

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1450648/2055920 swapFree=4139380/4192956
[pid=2270] ppid=2268 vsize=291980 CPUtime=1001.9
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 72309 0 0 0 100091 99 0 0 25 0 1 0 97265440 298987520 72250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 72995 72250 103 215 0 72777 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 291980

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1442648/2055920 swapFree=4139444/4192956
[pid=2270] ppid=2268 vsize=299944 CPUtime=1061.88
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 74310 0 0 0 106086 102 0 0 25 0 1 0 97265440 307142656 74251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 74986 74251 103 215 0 74768 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 299944

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1436568/2055920 swapFree=4139444/4192956
[pid=2270] ppid=2268 vsize=305908 CPUtime=1121.86
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 75807 0 0 0 112082 104 0 0 25 0 1 0 97265440 313249792 75748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 76477 75748 103 215 0 76259 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 305908

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1429848/2055920 swapFree=4139508/4192956
[pid=2270] ppid=2268 vsize=313252 CPUtime=1181.84
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 77499 0 0 0 118078 106 0 0 25 0 1 0 97265440 320770048 77440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 78313 77440 103 215 0 78095 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 313252

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1422616/2055920 swapFree=4139508/4192956
[pid=2270] ppid=2268 vsize=320276 CPUtime=1241.82
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 79262 0 0 0 124075 107 0 0 25 0 1 0 97265440 327962624 79203 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 80069 79203 103 215 0 79851 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 320276

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1417496/2055920 swapFree=4139508/4192956
[pid=2270] ppid=2268 vsize=325384 CPUtime=1301.8
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 80519 0 0 0 130071 109 0 0 25 0 1 0 97265440 333193216 80460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 81346 80460 103 215 0 81128 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 325384

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1412568/2055920 swapFree=4139572/4192956
[pid=2270] ppid=2268 vsize=330400 CPUtime=1361.78
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 81754 0 0 0 136067 111 0 0 25 0 1 0 97265440 338329600 81695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 82600 81695 103 215 0 82382 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 330400

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1406232/2055920 swapFree=4139572/4192956
[pid=2270] ppid=2268 vsize=336612 CPUtime=1421.75
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 83324 0 0 0 142062 113 0 0 25 0 1 0 97265440 344690688 83265 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 84153 83265 103 215 0 83935 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 336612

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1399064/2055920 swapFree=4139636/4192956
[pid=2270] ppid=2268 vsize=343736 CPUtime=1481.73
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 85127 0 0 0 148057 116 0 0 25 0 1 0 97265440 351985664 85068 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 85934 85068 103 215 0 85716 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 343736

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1392984/2055920 swapFree=4139636/4192956
[pid=2270] ppid=2268 vsize=349684 CPUtime=1541.71
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 86623 0 0 0 154052 119 0 0 25 0 1 0 97265440 358076416 86564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 87421 86564 103 215 0 87203 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 349684

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1388440/2055920 swapFree=4139636/4192956
[pid=2270] ppid=2268 vsize=354328 CPUtime=1601.68
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 87761 0 0 0 160048 120 0 0 25 0 1 0 97265440 362831872 87702 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 88582 87702 103 215 0 88364 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 354328

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1384216/2055920 swapFree=4139700/4192956
[pid=2270] ppid=2268 vsize=358500 CPUtime=1661.67
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 88796 0 0 0 166045 122 0 0 25 0 1 0 97265440 367104000 88737 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 89625 88737 103 215 0 89407 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 358500

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1379928/2055920 swapFree=4139700/4192956
[pid=2270] ppid=2268 vsize=362916 CPUtime=1721.64
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 89871 0 0 0 172041 123 0 0 25 0 1 0 97265440 371625984 89812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 90729 89812 103 215 0 90511 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 362916

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1374872/2055920 swapFree=4139764/4192956
[pid=2270] ppid=2268 vsize=367932 CPUtime=1781.62
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91109 0 0 0 178038 124 0 0 25 0 1 0 97265440 376762368 91050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 91983 91050 103 215 0 91765 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 367932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1373592/2055920 swapFree=4139764/4192956
[pid=2270] ppid=2268 vsize=369216 CPUtime=1800.02
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91409 0 0 0 179877 125 0 0 25 0 1 0 97265440 378077184 91350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 92304 91350 103 215 0 92086 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 369216

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2271
/proc/meminfo: memFree=1373592/2055920 swapFree=4139764/4192956
[pid=2270] ppid=2268 vsize=369216 CPUtime=1800.02
/proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91409 0 0 0 179877 125 0 0 25 0 1 0 97265440 378077184 91350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2270/statm: 92304 91350 103 215 0 92086 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 369216

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.09
CPU user time (s): 1798.78
CPU system time (s): 1.3098
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 369216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.3098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1086
involuntary context switches= 38337

runsolver used 2.39164 second user time and 4.64029 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Sun Apr 15 15:29:48 UTC 2007

IDJOB= 353039
IDBENCH= 2139
IDSOLVER= 156
FILE ID= node38/353039-1176650988

PBS_JOBID= 4559889

Free space on /tmp= 66556 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= /tmp/evaluation/353039-1176650988/minisat+ /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-353039-1176650988 -o ROOT/results/node38/conversion-353039-1176650988 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  f368868fda311e5aaeadb84d33b29291

RANDOM SEED= 355911243

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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.263
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:       1741152 kB
Buffers:         21112 kB
Cached:         111500 kB
SwapCached:       2232 kB
Active:         164384 kB
Inactive:        84864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1741152 kB
SwapTotal:     4192956 kB
SwapFree:      4138996 kB
Dirty:            8372 kB
Writeback:           0 kB
Mapped:         125024 kB
Slab:            50764 kB
Committed_AS:   971984 kB
PageTables:       2060 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB

End job on node38 on Sun Apr 15 15:59:51 UTC 2007