Trace number 353533

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.14SAT (TO)-42 1800.07 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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 constraint2
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
1.49/1.58	c Converting 58245 PB-constraints to clauses...
1.49/1.58	c   -- Unit propagations: (none)
1.49/1.58	c   -- Detecting intervals from adjacent constraints: (none)
1.49/1.59	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.69/1.72	c ==================================[MINISAT+]==================================
1.69/1.72	c | Conflicts | Original         | Learnt                           | Progress |
1.69/1.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.69/1.72	c ==============================================================================
1.69/1.72	c |         0 |   58245   116490 |   19415       0        0     nan |  0.000 % |
1.69/1.72	c ==============================================================================
1.69/1.72	c Found solution: -29
1.69/1.72	o -29
1.69/1.73	c ---[   0]---> Sorter-cost:44290     Base:
1.80/1.83	c ==================================[MINISAT+]==================================
1.80/1.83	c | Conflicts | Original         | Learnt                           | Progress |
1.80/1.83	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.80/1.83	c ==============================================================================
1.80/1.83	c |         0 |  103674   223173 |   34558       0        0     nan |  0.000 % |
1.99/2.00	c |       100 |  103217   222224 |   38013      74      640     8.6 |  0.795 % |
2.20/2.25	c |       250 |  102277   220190 |   41815     178     1328     7.5 |  2.556 % |
2.49/2.54	c |       475 |  101299   218072 |   45996     363     3330     9.2 |  4.391 % |
2.99/3.03	c |       812 |   99047   213116 |   50596     601     6292    10.5 |  8.826 % |
3.30/3.38	c ==============================================================================
3.30/3.38	c Found solution: -33
3.30/3.38	o -33
3.30/3.39	c ---[   0]---> Sorter-cost:    0     Base:
3.39/3.44	c ==================================[MINISAT+]==================================
3.39/3.44	c | Conflicts | Original         | Learnt                           | Progress |
3.39/3.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.39/3.44	c ==============================================================================
3.39/3.44	c |      1154 |   97981   210998 |   32660     842     9717    11.5 |  8.826 % |
3.49/3.55	c |      1254 |   97456   209833 |   35926     908    10864    12.0 | 12.242 % |
3.69/3.72	c |      1404 |   96930   208673 |   39518    1038    12408    12.0 | 13.257 % |
3.89/3.94	c |      1630 |   96171   206966 |   43470    1223    14347    11.7 | 14.977 % |
4.29/4.34	c |      1967 |   94090   202274 |   47817    1458    16260    11.2 | 18.956 % |
4.69/4.74	c |      2473 |   92212   198058 |   52599    1787    19115    10.7 | 22.689 % |
5.49/5.54	c |      3232 |   88553   189636 |   57859    2356    25138    10.7 | 30.105 % |
6.39/6.45	c |      4372 |   84300   179875 |   63645    3005    31878    10.6 | 38.823 % |
7.39/7.48	c |      6081 |   80620   171309 |   70009    4307    46466    10.8 | 46.451 % |
8.99/9.00	c |      8643 |   75017   158019 |   77010    6013    68321    11.4 | 58.474 % |
9.49/9.59	c ==============================================================================
9.49/9.59	c Found solution: -34
9.49/9.59	o -34
9.59/9.60	c ---[   0]---> Sorter-cost:    0     Base:
9.59/9.65	c ==================================[MINISAT+]==================================
9.59/9.65	c | Conflicts | Original         | Learnt                           | Progress |
9.59/9.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.59/9.65	c ==============================================================================
9.59/9.65	c |      9837 |   73511   154433 |   24503    6917    84271    12.2 | 58.474 % |
9.69/9.74	c |      9937 |   73160   153606 |   26953    6916    84599    12.2 | 62.459 % |
9.69/9.80	c |     10087 |   73060   153368 |   29648    6999    85824    12.3 | 62.676 % |
9.89/9.90	c |     10312 |   72828   152824 |   32613    7170    89136    12.4 | 63.163 % |
9.99/10.02	c |     10649 |   72659   152439 |   35874    7471    94516    12.7 | 63.509 % |
10.09/10.19	c |     11155 |   72503   152068 |   39462    7865   103845    13.2 | 63.970 % |
10.49/10.52	c |     11914 |   71669   150067 |   43408    8396   115466    13.8 | 65.675 % |
10.79/10.90	c |     13055 |   71037   148549 |   47749    9401   141983    15.1 | 67.046 % |
11.49/11.51	c |     14763 |   70222   146623 |   52524   10862   187323    17.2 | 68.772 % |
11.59/11.61	c ==============================================================================
11.59/11.61	c Found solution: -35
11.59/11.61	o -35
11.59/11.62	c ---[   0]---> Sorter-cost:    0     Base:
11.59/11.67	c ==================================[MINISAT+]==================================
11.59/11.67	c | Conflicts | Original         | Learnt                           | Progress |
11.59/11.67	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.59/11.67	c ==============================================================================
11.59/11.67	c |     15084 |   70261   146790 |   23420   11142   194649    17.5 | 68.772 % |
11.69/11.74	c |     15184 |   70145   146515 |   25762   11226   196318    17.5 | 69.049 % |
11.69/11.79	c |     15334 |   70122   146458 |   28338   11375   199287    17.5 | 69.100 % |
11.79/11.86	c |     15559 |   70122   146458 |   31172   11600   219368    18.9 | 69.100 % |
11.89/11.94	c |     15896 |   70114   146440 |   34289   11935   226983    19.0 | 69.116 % |
12.09/12.13	c |     16402 |   69855   145806 |   37718   12327   241011    19.6 | 69.697 % |
12.39/12.41	c |     17161 |   69457   144856 |   41489   12860   269839    21.0 | 70.553 % |
12.99/13.04	c |     18300 |   68230   141868 |   45638   13498   300688    22.3 | 73.307 % |
13.39/13.42	c ==============================================================================
13.39/13.42	c Found solution: -36
13.39/13.42	o -36
13.39/13.43	c ---[   0]---> Sorter-cost:    0     Base:
13.39/13.49	c ==================================[MINISAT+]==================================
13.39/13.49	c | Conflicts | Original         | Learnt                           | Progress |
13.39/13.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.39/13.49	c ==============================================================================
13.39/13.49	c |     19394 |   67923   141108 |   22641   14427   343281    23.8 | 73.307 % |
13.49/13.53	c |     19495 |   67908   141073 |   24905   14526   347004    23.9 | 74.024 % |
13.49/13.58	c ==============================================================================
13.49/13.58	c Found solution: -37
13.49/13.58	o -37
13.49/13.60	c ---[   0]---> Sorter-cost:    0     Base:
13.59/13.66	c ==================================[MINISAT+]==================================
13.59/13.66	c | Conflicts | Original         | Learnt                           | Progress |
13.59/13.66	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.59/13.66	c ==============================================================================
13.59/13.66	c |     19613 |   67925   141145 |   22641   14641   351375    24.0 | 74.024 % |
13.69/13.70	c |     19713 |   67839   140937 |   24905   14731   356033    24.2 | 74.212 % |
13.69/13.78	c |     19863 |   67762   140750 |   27395   14851   358518    24.1 | 74.384 % |
13.89/13.92	c |     20088 |   67631   140425 |   30135   14979   363163    24.2 | 74.687 % |
13.99/14.02	c |     20425 |   67626   140412 |   33148   15243   374131    24.5 | 74.700 % |
14.09/14.19	c |     20932 |   67626   140412 |   36463   15750   434642    27.6 | 74.700 % |
14.39/14.49	c |     21692 |   67432   139937 |   40109   16429   458771    27.9 | 75.130 % |
14.89/14.98	c |     22831 |   67112   139167 |   44120   17411   506808    29.1 | 75.822 % |
15.49/15.50	c |     24539 |   67069   139072 |   48532   19055   591866    31.1 | 75.899 % |
16.29/16.38	c |     27101 |   66891   138638 |   53386   21563   774079    35.9 | 76.294 % |
17.79/17.83	c |     30945 |   66792   138391 |   58724   25311  1005599    39.7 | 76.527 % |
20.08/20.13	c ==============================================================================
20.08/20.13	c Found solution: -38
20.08/20.13	o -38
20.08/20.14	c ---[   0]---> Sorter-cost:    0     Base:
20.18/20.22	c ==================================[MINISAT+]==================================
20.18/20.22	c | Conflicts | Original         | Learnt                           | Progress |
20.18/20.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.18/20.22	c ==============================================================================
20.18/20.22	c |     35844 |   66669   138025 |   22223   30022  1470073    49.0 | 76.527 % |
20.28/20.31	c |     35945 |   66544   137727 |   24445   30030  1471559    49.0 | 77.089 % |
20.38/20.40	c |     36097 |   66544   137727 |   26889   30182  1483627    49.2 | 77.089 % |
20.58/20.63	c |     36322 |   66328   137202 |   29578   30294  1489137    49.2 | 77.568 % |
20.68/20.80	c |     36659 |   66286   137102 |   32536   30598  1502725    49.1 | 77.657 % |
20.98/21.02	c |     37165 |   66286   137102 |   35790   31104  1531065    49.2 | 77.657 % |
21.38/21.47	c |     37924 |   66236   136980 |   39369   31838  1579318    49.6 | 77.772 % |
21.88/22.00	c |     39063 |   66198   136896 |   43306   32931  1663184    50.5 | 77.845 % |
22.89/22.93	c |     40771 |   66094   136643 |   47636   34450  1773571    51.5 | 78.081 % |
24.28/24.34	c ==============================================================================
24.28/24.34	c Found solution: -39
24.28/24.34	o -39
24.28/24.36	c ---[   0]---> Sorter-cost:    0     Base:
24.38/24.44	c ==================================[MINISAT+]==================================
24.38/24.44	c | Conflicts | Original         | Learnt                           | Progress |
24.38/24.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.38/24.44	c ==============================================================================
24.38/24.44	c |     43229 |   66119   136738 |   22039   36846  2044619    55.5 | 78.081 % |
24.48/24.51	c |     43330 |   66082   136649 |   24242   36918  2046357    55.4 | 78.194 % |
24.48/24.59	c |     43480 |   66082   136649 |   26667   37068  2055234    55.4 | 78.194 % |
24.68/24.78	c |     43705 |   66061   136598 |   29333   37197  2068198    55.6 | 78.241 % |
24.88/24.96	c |     44042 |   66061   136598 |   32267   37534  2088672    55.6 | 78.241 % |
25.28/25.35	c |     44548 |   65988   136417 |   35494   37789  2109858    55.8 | 78.407 % |
25.68/25.79	c |     45307 |   65967   136364 |   39043   38528  2171262    56.4 | 78.457 % |
26.38/26.47	c |     46446 |   65967   136364 |   42947   39667  2284055    57.6 | 78.457 % |
27.48/27.58	c |     48155 |   65911   136232 |   47242   41326  2437988    59.0 | 78.578 % |
29.18/29.20	c |     50717 |   65911   136232 |   51966   43888  2766324    63.0 | 78.578 % |
31.78/31.89	c |     54561 |   65908   136225 |   57163   47731  3237086    67.8 | 78.584 % |
33.28/33.31	c ==============================================================================
33.28/33.31	c Found solution: -40
33.28/33.31	o -40
33.28/33.32	c ---[   0]---> Sorter-cost:    0     Base:
33.38/33.42	c ==================================[MINISAT+]==================================
33.38/33.42	c | Conflicts | Original         | Learnt                           | Progress |
33.38/33.42	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
33.38/33.42	c ==============================================================================
33.38/33.42	c |     56290 |   65823   135998 |   21941   48563  3297518    67.9 | 78.584 % |
33.58/33.61	c |     56390 |   65712   135748 |   24135   19988  1396674    69.9 | 78.983 % |
33.58/33.68	c |     56540 |   65712   135748 |   26548   20138  1404187    69.7 | 78.983 % |
33.78/33.84	c |     56765 |   65650   135596 |   29203   20338  1414088    69.5 | 79.126 % |
33.88/34.00	c |     57103 |   65650   135596 |   32123   20676  1442270    69.8 | 79.126 % |
34.18/34.21	c |     57610 |   65650   135596 |   35336   21183  1470803    69.4 | 79.126 % |
34.48/34.56	c |     58369 |   65650   135596 |   38869   21942  1512854    68.9 | 79.126 % |
35.09/35.10	c |     59509 |   65650   135596 |   42756   23082  1617718    70.1 | 79.126 % |
35.88/35.92	c |     61219 |   65650   135596 |   47032   24792  1814999    73.2 | 79.126 % |
37.48/37.54	c |     63781 |   65446   135086 |   51735   27327  2124510    77.7 | 79.590 % |
39.58/39.61	c |     67625 |   65344   134832 |   56909   31081  2420985    77.9 | 79.825 % |
43.18/43.30	c |     73391 |   65273   134642 |   62600   36808  2997370    81.4 | 80.003 % |
46.48/46.58	c ==============================================================================
46.48/46.58	c Found solution: -41
46.48/46.58	o -41
46.48/46.59	c ---[   0]---> Sorter-cost:    0     Base:
46.58/46.69	c ==================================[MINISAT+]==================================
46.58/46.69	c | Conflicts | Original         | Learnt                           | Progress |
46.58/46.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
46.58/46.69	c ==============================================================================
46.58/46.69	c |     78259 |   65233   134560 |   21744   41665  3434394    82.4 | 80.003 % |
46.68/46.77	c |     78359 |   65233   134560 |   23918   41765  3440374    82.4 | 80.114 % |
46.88/46.92	c |     78509 |   65194   134462 |   26310   41909  3446929    82.2 | 80.209 % |
46.98/47.09	c |     78735 |   65194   134462 |   28941   42135  3468085    82.3 | 80.209 % |
47.28/47.33	c |     79072 |   65194   134462 |   31835   42472  3491885    82.2 | 80.209 % |
47.58/47.69	c |     79578 |   65194   134462 |   35018   42978  3533426    82.2 | 80.209 % |
48.18/48.22	c |     80337 |   65194   134462 |   38520   43737  3606744    82.5 | 80.209 % |
49.08/49.15	c |     81476 |   65186   134442 |   42372   44835  3720600    83.0 | 80.228 % |
50.28/50.35	c |     83184 |   65186   134442 |   46610   46543  3854293    82.8 | 80.228 % |
52.27/52.32	c |     85747 |   65146   134350 |   51271   49094  4064252    82.8 | 80.307 % |
55.48/55.55	c |     89591 |   65137   134329 |   56398   52931  4435673    83.8 | 80.326 % |
60.77/60.87	c |     95358 |   65137   134329 |   62038   58698  5204836    88.7 | 80.326 % |
70.17/70.23	c |    104009 |   65137   134329 |   68241   67349  6225461    92.4 | 80.326 % |
86.07/86.16	c |    116985 |   65033   134076 |   75066   80299  7880223    98.1 | 80.561 % |
112.56/112.65	c |    136446 |   64945   133856 |   82572   99663 10505945   105.4 | 80.761 % |
146.16/146.28	c |    165638 |   64651   133139 |   90830   37553  3984323   106.1 | 81.418 % |
189.54/189.66	c |    209427 |   64398   132524 |   99913   81184  8603031   106.0 | 81.986 % |
277.82/277.98	c |    275112 |   64354   132420 |  109904   41677  3387232    81.3 | 82.081 % |
403.60/403.72	c |    373638 |   64228   132111 |  120894   24613  2032989    82.6 | 82.367 % |
576.64/576.85	c |    521429 |   64017   131607 |  132984   47259  3288613    69.6 | 82.830 % |
600.94/601.18	c ==============================================================================
600.94/601.18	c Found solution: -42
600.94/601.18	o -42
600.94/601.19	c ---[   0]---> Sorter-cost:    0     Base:
601.14/601.33	c ==================================[MINISAT+]==================================
601.14/601.33	c | Conflicts | Original         | Learnt                           | Progress |
601.14/601.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
601.14/601.33	c ==============================================================================
601.14/601.33	c |    545471 |   64006   131539 |   21335   71295  6128963    86.0 | 82.830 % |
601.34/601.59	c |    545572 |   64006   131539 |   23468   21251  1541762    72.6 | 82.860 % |
601.45/601.66	c |    545722 |   64006   131539 |   25815   21401  1547365    72.3 | 82.860 % |
601.55/601.74	c |    545948 |   64006   131539 |   28396   21627  1558368    72.1 | 82.860 % |
601.64/601.81	c |    546285 |   64006   131539 |   31236   21964  1565008    71.3 | 82.860 % |
602.04/602.20	c |    546792 |   63793   131021 |   34360   22020  1572821    71.4 | 83.333 % |
602.24/602.50	c |    547551 |   63793   131021 |   37796   22779  1612574    70.8 | 83.333 % |
602.74/602.97	c |    548692 |   63793   131021 |   41575   23920  1700827    71.1 | 83.333 % |
603.65/603.84	c |    550400 |   63786   131004 |   45733   25624  1851873    72.3 | 83.349 % |
604.94/605.18	c |    552963 |   63755   130933 |   50306   28186  2096211    74.4 | 83.412 % |
607.14/607.34	c |    556807 |   63752   130926 |   55337   32027  2495684    77.9 | 83.419 % |
610.25/610.49	c |    562573 |   63719   130846 |   60871   37751  3055041    80.9 | 83.488 % |
616.94/617.12	c |    571222 |   63712   130829 |   66958   46399  3911051    84.3 | 83.504 % |
628.34/628.50	c |    584199 |   63701   130802 |   73654   59375  5390919    90.8 | 83.530 % |
649.53/649.78	c |    603662 |   63699   130798 |   81019   78834  6855589    87.0 | 83.533 % |
687.32/687.51	c |    632856 |   63605   130572 |   89121  107177  9492687    88.6 | 83.742 % |
729.71/729.91	c |    676645 |   63572   130499 |   98033   56242  4602912    81.8 | 83.806 % |
820.18/820.42	c |    742330 |   63528   130379 |  107837  121916 11265865    92.4 | 83.914 % |
936.36/936.65	c |    840856 |   63483   130274 |  118620  108067  6454765    59.7 | 84.009 % |
1120.91/1121.20	c |    988645 |   63447   130188 |  130482  131929 10453973    79.2 | 84.088 % |
1420.13/1420.55	c |   1210328 |   63439   130170 |  143531   89033  3517765    39.5 | 84.104 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1800.05/1800.50	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904
1800.05/1800.50	v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.05/1800.50	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.05/1800.50	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841
1800.05/1800.50	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.05/1800.50	v -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.05/1800.50	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778
1800.05/1800.50	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757
1800.05/1800.50	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.05/1800.50	v -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.05/1800.50	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.05/1800.50	v -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1800.05/1800.50	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1800.05/1800.50	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1800.05/1800.50	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.05/1800.50	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589
1800.05/1800.50	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.05/1800.50	v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1800.05/1800.50	v -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1800.05/1800.50	v -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1800.05/1800.50	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484
1800.05/1800.50	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463
1800.05/1800.50	v -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1800.05/1800.50	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.05/1800.50	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1800.05/1800.50	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1800.05/1800.50	v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.05/1800.50	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1800.05/1800.50	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1800.05/1800.50	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1800.05/1800.50	v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1800.05/1800.50	v -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1800.05/1800.50	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.05/1800.50	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211
1800.05/1800.50	v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.05/1800.50	v x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.05/1800.50	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.50	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.50	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.50	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.05/1800.50	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.05/1800.50	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.05/1800.50	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.50	v -x1

Verifier Data (download as text)

OK	-42

Conversion Script Data (download as text)

/tmp/evaluation/353533-1176668608/instance-353533-1176668608.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/node61/watcher-353533-1176668608 -o ROOT/results/node61/solver-353533-1176668608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353533-1176668608/minisat+ /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 4/64 5229
/proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=1180 CPUtime=0
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 78824494 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 295 135 74 215 0 77 0

[startup+0.0466891 s]
/proc/loadavg: 1.00 1.00 1.00 4/64 5229
/proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=1592 CPUtime=0.04
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 234 0 0 0 4 0 0 0 18 0 1 0 78824494 1630208 219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 398 219 74 215 0 180 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1592

[startup+0.101694 s]
/proc/loadavg: 1.00 1.00 1.00 4/64 5229
/proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=2008 CPUtime=0.09
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 78824494 2056192 336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 502 336 74 215 0 284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2008

[startup+0.301712 s]
/proc/loadavg: 1.00 1.00 1.00 4/64 5229
/proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=3684 CPUtime=0.29
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 765 0 0 0 29 0 0 0 19 0 1 0 78824494 3772416 750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 921 750 74 215 0 703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3684

[startup+0.701751 s]
/proc/loadavg: 1.00 1.00 1.00 4/64 5229
/proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=7024 CPUtime=0.69
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 1583 0 0 0 69 0 0 0 23 0 1 0 78824494 7192576 1568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 1756 1568 74 215 0 1538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7024

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5230
/proc/meminfo: memFree=1748400/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=13584 CPUtime=1.49
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 3221 0 0 0 148 1 0 0 25 0 1 0 78824494 13910016 3206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 3396 3206 74 215 0 3178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13584

[startup+3.10198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5230
/proc/meminfo: memFree=1736368/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=22072 CPUtime=3.09
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5350 0 0 0 301 8 0 0 25 0 1 0 78824494 22601728 5164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588792 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 5518 5164 110 215 0 5300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22072

[startup+6.30128 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 5230
/proc/meminfo: memFree=1736048/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=22300 CPUtime=6.29
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5392 0 0 0 621 8 0 0 25 0 1 0 78824494 22835200 5206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 5575 5206 110 215 0 5357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22300

[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5230
/proc/meminfo: memFree=1736048/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=22300 CPUtime=12.69
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5394 0 0 0 1261 8 0 0 25 0 1 0 78824494 22835200 5208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 5575 5208 110 215 0 5357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22300

[startup+25.5011 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 5230
/proc/meminfo: memFree=1731248/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=27260 CPUtime=25.48
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 6635 0 0 0 2539 9 0 0 25 0 1 0 78824494 27914240 6445 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 6815 6445 110 215 0 6597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27260

[startup+51.1016 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5230
/proc/meminfo: memFree=1723440/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=35396 CPUtime=51.08
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 8669 0 0 0 5097 11 0 0 25 0 1 0 78824494 36245504 8469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002520 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 8849 8469 110 215 0 8631 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35396

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5230
/proc/meminfo: memFree=1698672/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=60064 CPUtime=102.27
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 14783 0 0 0 10210 17 0 0 25 0 1 0 78824494 61505536 14583 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 15016 14583 110 215 0 14798 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60064

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5230
/proc/meminfo: memFree=1686640/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=71968 CPUtime=162.25
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 17773 0 0 0 16205 20 0 0 25 0 1 0 78824494 73695232 17573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 17992 17573 110 215 0 17774 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71968

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5230
/proc/meminfo: memFree=1686640/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=71968 CPUtime=222.23
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 17773 0 0 0 22203 20 0 0 25 0 1 0 78824494 73695232 17573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 17992 17573 110 215 0 17774 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71968

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5230
/proc/meminfo: memFree=1684464/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=74036 CPUtime=282.22
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 18318 0 0 0 28201 21 0 0 25 0 1 0 78824494 75812864 18118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 18509 18118 110 215 0 18291 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 74036

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1684336/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=74036 CPUtime=342.2
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 18318 0 0 0 34199 21 0 0 25 0 1 0 78824494 75812864 18118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 18509 18118 110 215 0 18291 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 74036

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1672240/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=86064 CPUtime=402.19
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 40194 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 21516 21148 110 215 0 21298 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 86064

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1672176/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=86064 CPUtime=462.18
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 46193 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 21516 21148 110 215 0 21298 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 86064

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1672176/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=86064 CPUtime=522.16
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 52191 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 21516 21148 110 215 0 21298 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 86064

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=582.15
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 58189 26 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 89364

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=642.14
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 64188 26 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 89364


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

[startup+882.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=882.07
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 88180 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 89364

[startup+942.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=942.06
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 94179 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 89364

[startup+1002.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1002.04
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 100177 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577249 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 89364

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1062.03
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 106176 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 89364

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1122.01
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 112174 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21892 110 215 0 22123 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 89364

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1181.99
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 118172 27 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 89364

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1241.98
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 124170 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 89364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1301.97
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 130169 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 89364

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1361.95
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 136167 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 89364

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1421.94
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 142166 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 89364

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1481.93
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 148164 29 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 89364

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1541.91
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 154162 29 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21901 110 215 0 22123 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 89364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1601.89
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 160160 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 89364

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1661.88
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 166159 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 89364

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1721.86
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 172157 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 89364

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1781.85
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 178155 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 89364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1800.05
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 179975 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 89364

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5232
/proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956
[pid=5229] ppid=5227 vsize=89364 CPUtime=1800.05
/proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 179975 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5229/statm: 22341 21914 110 215 0 22123 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 89364

Child status: 10
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.76
CPU system time (s): 0.316951
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 89364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22116
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= 235
involuntary context switches= 2540

runsolver used 1.3398 second user time and 3.72243 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sun Apr 15 20:23:29 UTC 2007

IDJOB= 353533
IDBENCH= 2250
IDSOLVER= 156
FILE ID= node61/353533-1176668608

PBS_JOBID= 4559936

Free space on /tmp= 66560 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= /tmp/evaluation/353533-1176668608/minisat+ /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-353533-1176668608 -o ROOT/results/node61/conversion-353533-1176668608 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  49f1950e042362832bbb830f499dd3e3

RANDOM SEED= 869818408

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1757328 kB
Buffers:         16488 kB
Cached:         196124 kB
SwapCached:       2404 kB
Active:          79908 kB
Inactive:       143580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1757328 kB
SwapTotal:     4192956 kB
SwapFree:      4184896 kB
Dirty:            3684 kB
Writeback:           0 kB
Mapped:          17536 kB
Slab:            61256 kB
Committed_AS:   172288 kB
PageTables:       1392 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= 66560 MiB

End job on node61 on Sun Apr 15 20:53:31 UTC 2007