Trace number 35621

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.21 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1800.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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	c Parsing PB file...
1.46	c Converting 58549 PB-constraints to clauses...
1.46	c   -- Unit propagations: (none)
1.46	c   -- Detecting intervals from adjacent constraints: (none)
1.47	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.58	c ==================================[MINISAT+]==================================
1.58	c | Conflicts | Original         | Learnt                           | Progress |
1.58	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.58	c ==============================================================================
1.58	c |         0 |   58549   117098 |   19516       0        0     nan |  0.000 % |
1.58	c ==============================================================================
1.58	c Found solution: -33
1.58	o -33
1.59	c ---[   0]---> Sorter-cost:44290     Base:
1.69	c ==================================[MINISAT+]==================================
1.69	c | Conflicts | Original         | Learnt                           | Progress |
1.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.69	c ==============================================================================
1.69	c |         0 |  104166   224223 |   34722       0        0     nan |  0.000 % |
1.81	c |       100 |  103642   223111 |   38194      76      983    12.9 |  0.946 % |
1.98	c |       250 |  103156   222095 |   42013     185     1779     9.6 |  1.795 % |
2.21	c |       475 |  102265   220194 |   46214     359     3317     9.2 |  3.414 % |
2.50	c |       814 |  101075   217600 |   50836     639     5778     9.0 |  5.664 % |
3.15	c |      1320 |   97538   209751 |   55920    1003    12819    12.8 | 12.575 % |
3.99	c |      2079 |   93642   200909 |   61512    1463    18801    12.9 | 20.467 % |
5.11	c |      3218 |   88661   189630 |   67663    2127    26524    12.5 | 30.497 % |
6.43	c |      4927 |   82400   175157 |   74429    3225    35325    11.0 | 43.267 % |
6.76	c ==============================================================================
6.76	c Found solution: -36
6.76	o -36
6.77	c ---[   0]---> Sorter-cost:    0     Base:
6.82	c ==================================[MINISAT+]==================================
6.82	c | Conflicts | Original         | Learnt                           | Progress |
6.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.82	c ==============================================================================
6.82	c |      5415 |   81313   172721 |   27104    3561    38639    10.9 | 43.267 % |
6.87	c |      5515 |   81068   172126 |   29814    3614    39218    10.9 | 46.298 % |
6.96	c |      5665 |   80657   171144 |   32795    3742    40921    10.9 | 47.176 % |
7.13	c |      5890 |   79982   169546 |   36075    3902    43480    11.1 | 48.620 % |
7.34	c |      6227 |   79003   167290 |   39682    4118    45635    11.1 | 50.642 % |
7.57	c |      6733 |   78063   165079 |   43651    4430    49480    11.2 | 52.651 % |
8.05	c |      7493 |   76096   160443 |   48016    4837    55581    11.5 | 56.880 % |
8.57	c |      8632 |   74589   156885 |   52818    5773    73298    12.7 | 60.129 % |
9.24	c ==============================================================================
9.24	c Found solution: -37
9.24	o -37
9.25	c ---[   0]---> Sorter-cost:    0     Base:
9.31	c ==================================[MINISAT+]==================================
9.31	c | Conflicts | Original         | Learnt                           | Progress |
9.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.31	c ==============================================================================
9.31	c |      9964 |   72294   151476 |   24098    6717    92845    13.8 | 60.129 % |
9.33	c |     10064 |   72294   151476 |   26507    6817    96622    14.2 | 65.090 % |
9.39	c |     10214 |   72243   151364 |   29158    6960    98656    14.2 | 65.186 % |
9.46	c |     10440 |   72148   151147 |   32074    7150   102420    14.3 | 65.368 % |
9.58	c |     10777 |   71910   150582 |   35281    7453   109836    14.7 | 65.878 % |
9.76	c |     11283 |   71431   149450 |   38810    7849   116929    14.9 | 66.893 % |
10.15	c |     12042 |   70162   146309 |   42691    8318   128370    15.4 | 69.772 % |
10.59	c |     13181 |   69233   144085 |   46960    9095   152049    16.7 | 71.811 % |
11.27	c |     14889 |   68025   141190 |   51656   10405   194546    18.7 | 74.475 % |
11.99	c |     17451 |   67465   139846 |   56821   12599   292482    23.2 | 75.681 % |
12.17	c ==============================================================================
12.17	c Found solution: -38
12.17	o -38
12.18	c ---[   0]---> Sorter-cost:    0     Base:
12.23	c ==================================[MINISAT+]==================================
12.23	c | Conflicts | Original         | Learnt                           | Progress |
12.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.23	c ==============================================================================
12.23	c |     18058 |   67414   139655 |   22471   13154   334103    25.4 | 75.681 % |
12.27	c |     18158 |   67414   139655 |   24718   13254   340082    25.7 | 75.807 % |
12.32	c |     18309 |   67399   139620 |   27189   13361   344290    25.8 | 75.839 % |
12.50	c |     18534 |   66939   138489 |   29908   13378   346429    25.9 | 76.889 % |
12.61	c |     18872 |   66842   138270 |   32899   13666   357163    26.1 | 77.077 % |
12.75	c |     19378 |   66767   138089 |   36189   14080   377022    26.8 | 77.243 % |
13.03	c |     20137 |   66615   137726 |   39808   14759   398503    27.0 | 77.575 % |
13.36	c |     21276 |   66398   137195 |   43789   15773   445835    28.3 | 78.060 % |
13.87	c |     22984 |   66398   137195 |   48168   17481   625306    35.8 | 78.060 % |
14.80	c |     25546 |   66066   136404 |   52985   19769   794427    40.2 | 78.788 % |
16.16	c |     29390 |   65853   135895 |   58283   23401  1067190    45.6 | 79.253 % |
17.63	c ==============================================================================
17.63	c Found solution: -39
17.63	o -39
17.65	c ---[   0]---> Sorter-cost:    0     Base:
17.72	c ==================================[MINISAT+]==================================
17.72	c | Conflicts | Original         | Learnt                           | Progress |
17.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.72	c ==============================================================================
17.72	c |     32637 |   65821   135848 |   21940   26636  1446264    54.3 | 79.253 % |
17.81	c |     32737 |   65732   135626 |   24134   26685  1448385    54.3 | 79.603 % |
17.89	c |     32887 |   65727   135615 |   26547   26818  1455138    54.3 | 79.613 % |
17.99	c |     33113 |   65727   135615 |   29202   27044  1474034    54.5 | 79.613 % |
18.17	c |     33450 |   65697   135543 |   32122   27355  1497434    54.7 | 79.680 % |
18.37	c |     33956 |   65697   135543 |   35334   27861  1538713    55.2 | 79.680 % |
18.81	c |     34715 |   65589   135270 |   38868   28521  1585884    55.6 | 79.931 % |
19.40	c |     35855 |   65482   135009 |   42754   29577  1655703    56.0 | 80.169 % |
20.14	c |     37563 |   65482   135009 |   47030   31285  1797921    57.5 | 80.169 % |
21.47	c |     40127 |   65243   134410 |   51733   33432  1984818    59.4 | 80.735 % |
23.62	c |     43971 |   64998   133825 |   56906   36983  2317054    62.7 | 81.263 % |
27.09	c |     49737 |   64814   133363 |   62597   42396  2877508    67.9 | 81.692 % |
33.01	c |     58388 |   64619   132884 |   68857   50672  3796235    74.9 | 82.131 % |
43.72	c |     71362 |   64480   132543 |   75742   63342  5261377    83.1 | 82.449 % |
67.30	c |     90823 |   64425   132404 |   83317   82608  8035630    97.3 | 82.582 % |
90.96	c ==============================================================================
90.96	c Found solution: -40
90.96	o -40
90.98	c ---[   0]---> Sorter-cost:    0     Base:
91.15	c ==================================[MINISAT+]==================================
91.15	c | Conflicts | Original         | Learnt                           | Progress |
91.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
91.15	c ==============================================================================
91.15	c |    109905 |   64414   132357 |   21471  101407 10380699   102.4 | 82.582 % |
91.46	c |    110006 |   64386   132284 |   23618   21811  1640548    75.2 | 82.679 % |
91.51	c |    110156 |   64386   132284 |   25979   21961  1645897    74.9 | 82.679 % |
91.61	c |    110381 |   64386   132284 |   28577   22186  1658364    74.7 | 82.679 % |
91.77	c |    110718 |   64386   132284 |   31435   22523  1685423    74.8 | 82.679 % |
92.04	c |    111224 |   64384   132278 |   34579   23001  1726413    75.1 | 82.685 % |
92.38	c |    111983 |   64356   132212 |   38037   23758  1797994    75.7 | 82.745 % |
92.97	c |    113124 |   64356   132212 |   41840   24899  1928522    77.5 | 82.745 % |
93.74	c |    114832 |   64356   132212 |   46024   26607  2074157    78.0 | 82.745 % |
95.02	c |    117394 |   64321   132129 |   50627   29164  2294029    78.7 | 82.822 % |
97.25	c |    121238 |   64321   132129 |   55690   33008  2737094    82.9 | 82.822 % |
100.89	c |    127004 |   64317   132119 |   61259   38771  3371390    87.0 | 82.831 % |
107.74	c |    135653 |   64295   132065 |   67385   47415  4522685    95.4 | 82.882 % |
118.97	c |    148627 |   64254   131966 |   74123   60336  6178176   102.4 | 82.974 % |
133.44	c ==============================================================================
133.44	c Found solution: -41
133.44	o -41
133.45	c ---[   0]---> Sorter-cost:    0     Base:
133.60	c ==================================[MINISAT+]==================================
133.60	c | Conflicts | Original         | Learnt                           | Progress |
133.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
133.60	c ==============================================================================
133.60	c |    163149 |   64183   131807 |   21394   74787  7692198   102.9 | 82.974 % |
133.80	c |    163249 |   64183   131807 |   23533   20074  1358818    67.7 | 83.143 % |
133.86	c |    163399 |   64183   131807 |   25886   20224  1366314    67.6 | 83.143 % |
133.96	c |    163625 |   64183   131807 |   28475   20450  1379110    67.4 | 83.143 % |
134.04	c |    163962 |   64183   131807 |   31322   20787  1392044    67.0 | 83.143 % |
134.25	c |    164468 |   64183   131807 |   34455   21293  1434386    67.4 | 83.143 % |
134.56	c |    165229 |   64153   131727 |   37900   22051  1483457    67.3 | 83.222 % |
135.06	c |    166369 |   64153   131727 |   41690   23191  1600656    69.0 | 83.222 % |
135.90	c |    168077 |   64134   131680 |   45859   24890  1783760    71.7 | 83.267 % |
137.04	c |    170639 |   64102   131604 |   50445   27431  2021386    73.7 | 83.337 % |
138.96	c |    174484 |   64099   131597 |   55490   31274  2339999    74.8 | 83.343 % |
142.17	c |    180250 |   64099   131597 |   61039   37040  2928223    79.1 | 83.343 % |
147.90	c |    188899 |   64034   131440 |   67143   45638  3846777    84.3 | 83.489 % |
158.97	c |    201873 |   63981   131315 |   73857   58555  5634637    96.2 | 83.603 % |
178.94	c |    221334 |   63975   131301 |   81243   78014  7981254   102.3 | 83.616 % |
215.74	c |    250528 |   63908   131132 |   89368  107123 11438473   106.8 | 83.778 % |
257.19	c |    294319 |   63902   131118 |   98304   53229  4759432    89.4 | 83.791 % |
325.66	c |    360004 |   63735   130700 |  108135  118856 12406551   104.4 | 84.188 % |
444.11	c |    458530 |   63720   130663 |  118948  103406 10348912   100.1 | 84.223 % |
625.40	c |    606319 |   63649   130488 |  130843  125332 13128938   104.8 | 84.388 % |
862.87	c ==============================================================================
862.87	c Found solution: -42
862.87	o -42
862.88	c ---[   0]---> Sorter-cost:    0     Base:
862.97	c ==================================[MINISAT+]==================================
862.97	c | Conflicts | Original         | Learnt                           | Progress |
862.97	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
862.97	c ==============================================================================
862.97	c |    800692 |   63527   130169 |   21175   44774  2490338    55.6 | 84.388 % |
863.04	c |    800793 |   63527   130169 |   23292   44875  2494192    55.6 | 84.652 % |
863.11	c |    800944 |   63527   130169 |   25621   45026  2499646    55.5 | 84.652 % |
863.23	c |    801169 |   63527   130169 |   28183   45251  2519170    55.7 | 84.652 % |
863.41	c |    801506 |   63527   130169 |   31002   45588  2542135    55.8 | 84.652 % |
863.70	c |    802012 |   63516   130144 |   34102   46072  2579373    56.0 | 84.675 % |
864.02	c |    802771 |   63516   130144 |   37512   46831  2621026    56.0 | 84.674 % |
864.60	c |    803911 |   63516   130144 |   41264   47971  2731665    56.9 | 84.675 % |
865.33	c |    805621 |   63516   130144 |   45390   49681  2845139    57.3 | 84.675 % |
866.73	c |    808183 |   63516   130144 |   49929   52243  3052784    58.4 | 84.675 % |
868.80	c |    812028 |   63516   130144 |   54922   56088  3426452    61.1 | 84.675 % |
872.28	c |    817794 |   63516   130144 |   60414   61854  4045722    65.4 | 84.675 % |
878.82	c |    826444 |   63516   130144 |   66456   70504  4927832    69.9 | 84.675 % |
889.87	c |    839418 |   63516   130144 |   73101   83478  6067691    72.7 | 84.675 % |
909.51	c |    858879 |   63485   130069 |   80412   24109  1377308    57.1 | 84.744 % |
929.57	c |    888072 |   63485   130069 |   88453   53302  3330276    62.5 | 84.744 % |
975.02	c |    931862 |   63485   130069 |   97298   97092  6934655    71.4 | 84.744 % |
1049.21	c |    997547 |   63485   130069 |  107028   62009  3079584    49.7 | 84.744 % |
1139.77	c |   1096073 |   63390   129834 |  117731   48921  2086545    42.7 | 84.967 % |
1306.60	c |   1243864 |   63345   129716 |  129504   76849  4507889    58.7 | 85.062 % |
1572.92	c |   1465547 |   63226   129419 |  142454   32910  1149088    34.9 | 85.332 % |
1801.20	c 
1801.20	c *** TERMINATED ***
1801.20	s SATISFIABLE
1801.20	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925
1801.20	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904
1801.20	v -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1801.20	v -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1801.20	v -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1801.20	v x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1801.20	v x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1801.20	v -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1801.20	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1801.20	v x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1801.20	v -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1801.20	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1801.20	v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1801.20	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652
1801.20	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631
1801.20	v -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1801.20	v -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1801.20	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1801.20	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1801.20	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526
1801.20	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1801.20	v -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1801.20	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1801.20	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1801.20	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1801.20	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400
1801.20	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1801.20	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1801.20	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1801.20	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1801.20	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295
1801.20	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1801.20	v -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1801.20	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232
1801.20	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211
1801.20	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190
1801.20	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1801.20	v x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1801.20	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
1801.20	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1801.20	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
1801.20	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
1801.20	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
1801.20	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
1801.20	v -x1

Verifier Data (download as text)

OK	-42

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-35621-1149296503 -o ROOT/results/node76/solver-35621-1149296503 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1540488/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=1180 CPUtime=0
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 149 0 0 0 0 0 0 0 19 0 1 0 195289702 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 295 135 74 215 0 77 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1520080/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=22308 CPUtime=9.98
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 5379 0 0 0 992 6 0 0 25 0 1 0 195289702 22843392 5204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 5577 5204 110 215 0 5359 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22308

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1517008/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=25648 CPUtime=19.98
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 6209 0 0 0 1991 7 0 0 25 0 1 0 195289702 26263552 6034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 6412 6034 110 215 0 6194 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 25648

[startup+30.0144 s]
/proc/loadavg: 0.95 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1509968/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=32796 CPUtime=29.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 7980 0 0 0 2990 9 0 0 25 0 1 0 195289702 33583104 7805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 8199 7805 110 215 0 7981 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 32796

[startup+40.0206 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1504080/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=38572 CPUtime=39.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 9447 0 0 0 3988 11 0 0 25 0 1 0 195289702 39497728 9272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 9643 9272 110 215 0 9425 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 38572

[startup+50.0269 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1498512/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=44216 CPUtime=49.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 10827 0 0 0 4986 13 0 0 25 0 1 0 195289702 45277184 10652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 11054 10652 110 215 0 10836 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 44216

[startup+60.033 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1493456/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=49296 CPUtime=59.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 12111 0 0 0 5985 14 0 0 25 0 1 0 195289702 50479104 11936 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 12324 11936 110 215 0 12106 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 49296

[startup+70.0382 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1488720/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=53864 CPUtime=69.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 13278 0 0 0 6984 15 0 0 25 0 1 0 195289702 55156736 13103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 13466 13103 110 215 0 13248 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 53864

[startup+80.0444 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1484176/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=58640 CPUtime=80
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 14424 0 0 0 7983 17 0 0 25 0 1 0 195289702 60047360 14249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 14660 14249 110 215 0 14442 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 58640

[startup+90.0507 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1480272/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62552 CPUtime=89.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15403 0 0 0 8982 17 0 0 25 0 1 0 195289702 64053248 15228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15638 15228 110 215 0 15420 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 62552

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62948 CPUtime=99.99
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 9981 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586566 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15737 15345 110 215 0 15519 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 62948

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62948 CPUtime=110
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 10982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15737 15345 110 215 0 15519 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 62948

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62948 CPUtime=120
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 11982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15737 15345 110 215 0 15519 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 62948

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62948 CPUtime=130
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 12982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15737 15345 110 215 0 15519 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 62948

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=140
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 13982 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 62944

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=150
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 14982 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 62944

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=160.01
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 15983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 62944

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=170.01
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 16983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 62944

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=180.01
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 17983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 62944

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=190.01
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 18983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 62944

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=62944 CPUtime=200.01
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 19983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 15736 15345 110 215 0 15518 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 62944

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1476496/2055888 swapFree=4085392/4096564

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

[pid=25943] ppid=25941 vsize=94880 CPUtime=1781.09
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178080 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1781.09
Current children cumulated vsize (Kb) 94880

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1782.1
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178181 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (Kb) 94880

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1783.1
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178281 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1783.1
Current children cumulated vsize (Kb) 94880

[startup+1785.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1784.11
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178382 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1784.11
Current children cumulated vsize (Kb) 94880

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1785.11
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178482 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1785.11
Current children cumulated vsize (Kb) 94880

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1786.12
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178583 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1786.12
Current children cumulated vsize (Kb) 94880

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1787.12
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178683 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1787.12
Current children cumulated vsize (Kb) 94880

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1788.12
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178783 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572977 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1788.12
Current children cumulated vsize (Kb) 94880

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1789.12
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178883 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574548 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1789.12
Current children cumulated vsize (Kb) 94880

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1790.13
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178984 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (Kb) 94880

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1791.13
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179084 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1791.13
Current children cumulated vsize (Kb) 94880

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1792.14
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179185 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1792.14
Current children cumulated vsize (Kb) 94880

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1793.14
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179285 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1793.14
Current children cumulated vsize (Kb) 94880

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1794.15
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179386 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (Kb) 94880

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1795.15
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179486 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (Kb) 94880

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1796.16
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179587 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (Kb) 94880

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1797.16
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179687 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (Kb) 94880

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1798.16
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179787 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580929 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1798.16
Current children cumulated vsize (Kb) 94880

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1799.17
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179888 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (Kb) 94880

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1800.17
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179988 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (Kb) 94880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 25943
/proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564
[pid=25943] ppid=25941 vsize=94880 CPUtime=1800.18
/proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179989 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 0 0 0
/proc/25943/statm: 23720 23314 110 215 0 23502 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (Kb) 94880

Sending SIGTERM to -25943
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.22
CPU time (s): 1800.21
CPU user time (s): 1799.89
CPU system time (s): 0.311952
CPU usage (%): 99.9439
Max. virtual memory (cumulated for all children) (Kb): 94880

Launcher Data (download as text)

Begin job on node76 on Sat Jun  3 01:01:43 UTC 2006


FILE ID= 35621-1149296503

PBS_JOBID= 307129

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-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-35621-1149296503 -o ROOT/results/node76/solver-35621-1149296503 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  e1b2be59a127acc8d929395698929541

RANDOM SEED= 695025222


/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.236
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	: 6006.14
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.236
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1540704 kB
Buffers:         37792 kB
Cached:         408928 kB
SwapCached:       2488 kB
Active:         107928 kB
Inactive:       347512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1540704 kB
SwapTotal:     4096564 kB
SwapFree:      4085392 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          16548 kB
Slab:            46360 kB
Committed_AS:   308220 kB
PageTables:       1260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node76 on Sat Jun  3 01:31:44 UTC 2006