Trace number 49856

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.75 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
MD5SUM7e6cf7bd8ae3eb2dbe42fe5a31768e13
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52001
Total number of constraints154561
Number of constraints which are clauses154560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint51520
Number of terms in the objective function 161
Biggest coefficient in the objective function 1461501637330902918203684832716283019655932542976
Number of bits for the biggest coefficient in the objective function 161
Sum of the numbers in the objective function 2923003274661805836407369665432566039311865085951
Number of bits of the sum of numbers in the objective function 161
Biggest number in a constraint 1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088
Number of bits of the biggest number in a constraint 480
Biggest sum of numbers in a constraint 6243497100631984462763194459586332611497196285328142673459177384060592124920906005152554730819278690998820076480368784343607308117472639948431515
Number of bits of the biggest sum of numbers481
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
7.38	c Converting 154562 PB-constraints to clauses...
7.41	c   -- Unit propagations: (none)
125.98	c   -- Detecting intervals from adjacent constraints: #
126.01	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
126.32	c ---[   0]---> Adder-cost: 76316   maxlim: 85637119419032255924155954685780155586213627810198026534705845257793770944847919697426568846237543   bits: 326/326
299.75	c ==================================[MINISAT+]==================================
299.75	c | Conflicts | Original         | Learnt                           | Progress |
299.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
299.75	c ==============================================================================
299.75	c |         0 |  660229  2193825 |  220076       0        0     nan |  0.000 % |
301.16	c |       101 |  659607  2191617 |  242083      22       67     3.0 | 10.851 % |
301.77	c |       251 |  659344  2190702 |  266291     136      427     3.1 | 10.887 % |
303.48	c |       478 |  659344  2190702 |  292921     363     2290     6.3 | 10.887 % |
303.78	c |       815 |  659344  2190702 |  322213     700    49857    71.2 | 10.887 % |
308.46	c |      1322 |  659321  2190627 |  354434    1204    94855    78.8 | 10.890 % |
312.99	c |      2083 |  659314  2190604 |  389878    1964   201538   102.6 | 10.891 % |
316.54	c |      3222 |  659305  2190575 |  428865    3101   257422    83.0 | 10.892 % |
328.05	c |      4932 |  659305  2190575 |  471752    4811   327324    68.0 | 10.892 % |
334.77	c |      7496 |  659297  2190545 |  518927    7373   509533    69.1 | 10.893 % |
338.19	c |     11340 |  659297  2190545 |  570820   11217   788380    70.3 | 10.893 % |
342.54	c |     17108 |  659297  2190545 |  627902   16985  1147787    67.6 | 10.893 % |
357.49	c |     25758 |  659297  2190545 |  690692   25635  1634541    63.8 | 10.893 % |
368.42	c |     38732 |  659297  2190545 |  759762   38609  2640210    68.4 | 10.893 % |
406.81	c |     58193 |  659297  2190545 |  835738   58070  4615178    79.5 | 10.893 % |
474.49	c |     87385 |  659297  2190545 |  919312   87262  8486215    97.2 | 10.893 % |
581.49	c |    131174 |  659297  2190545 | 1011243  131051 14072985   107.4 | 10.893 % |
632.96	c |    196860 |  659280  2190490 | 1112367  196736 21237788   108.0 | 10.895 % |
863.64	c |    295386 |  659280  2190490 | 1223604  295262 30737738   104.1 | 10.895 % |
1096.35	c |    443177 |  659208  2190256 | 1345964  443044 47449515   107.1 | 10.903 % |
1801.22	c 
1801.22	c *** TERMINATED ***
1801.22	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 28723
/proc/meminfo: memFree=1106032/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=1048 CPUtime=0
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 91190910 1073152 85 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 262 85 67 215 0 44 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038072/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=9.98
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 989 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530512 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 69992

[startup+20.0099 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038328/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=19.99
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 1990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809892 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 69992

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=29.99
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 2990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 69992

[startup+40.0219 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=39.99
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 3990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 69992

[startup+50.0279 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=50
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 4991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 69992

[startup+60.034 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=60
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 5991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 69992

[startup+70.04 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=70
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 6991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 69992

[startup+80.047 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=80.01
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 7992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 69992

[startup+90.0531 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=90.01
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 8992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805960 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 69992

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=100.01
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 9992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 69992

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=110.02
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 10993 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 69992

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=120.02
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 11993 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17060 83 215 0 17280 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 69992

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=69992 CPUtime=130.03
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18276 0 0 0 12979 24 0 0 25 0 1 0 91190910 71671808 17065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 17498 17065 88 215 0 17280 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 69992

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=894776/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=214944 CPUtime=140.03
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 55073 0 0 0 13963 40 0 0 25 0 1 0 91190910 220102656 52952 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 53736 52952 92 215 0 53518 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 214944

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=718008/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=395248 CPUtime=150.04
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99169 0 0 0 14945 59 0 0 25 0 1 0 91190910 404733952 97048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 98812 97048 92 215 0 98594 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 395248

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=397648 CPUtime=160.04
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99773 0 0 0 15945 59 0 0 25 0 1 0 91190910 407191552 97652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809925 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 99412 97652 92 215 0 99194 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 397648

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=397648 CPUtime=170.04
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 16945 59 0 0 25 0 1 0 91190910 407191552 97653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 99412 97653 92 215 0 99194 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 397648

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=397648 CPUtime=180.05
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 17946 59 0 0 25 0 1 0 91190910 407191552 97653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 99412 97653 92 215 0 99194 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 397648

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=715704/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=396992 CPUtime=190.05
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 18946 59 0 0 25 0 1 0 91190910 406519808 97543 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 99248 97543 92 215 0 99030 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 396992

[startup+200.121 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723
/proc/meminfo: memFree=717944/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=393876 CPUtime=200.05
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 19946 59 0 0 25 0 1 0 91190910 403329024 96991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 98469 96991 92 215 0 98251 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 393876

[startup+210.126 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28723

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

/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121208 0 0 0 178071 87 0 0 25 0 1 0 91190910 466829312 112655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 113972 112655 123 215 0 113754 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 455888

[startup+1783.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=654904/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=456148 CPUtime=1782.58
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121261 0 0 0 178171 87 0 0 25 0 1 0 91190910 467095552 112708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114037 112708 123 215 0 113819 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 456148

[startup+1784.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=654712/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=456276 CPUtime=1783.59
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121317 0 0 0 178272 87 0 0 25 0 1 0 91190910 467226624 112764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114069 112764 123 215 0 113851 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 456276

[startup+1785.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=654456/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=456540 CPUtime=1784.59
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121377 0 0 0 178372 87 0 0 25 0 1 0 91190910 467496960 112824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114135 112824 123 215 0 113917 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 456540

[startup+1786.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=654264/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=456800 CPUtime=1785.59
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121429 0 0 0 178472 87 0 0 25 0 1 0 91190910 467763200 112876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114200 112876 123 215 0 113982 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 456800

[startup+1787.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=654008/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457064 CPUtime=1786.6
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121488 0 0 0 178573 87 0 0 25 0 1 0 91190910 468033536 112935 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114266 112935 123 215 0 114048 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 457064

[startup+1788.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653816/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457196 CPUtime=1787.6
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121526 0 0 0 178673 87 0 0 25 0 1 0 91190910 468168704 112973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114299 112973 123 215 0 114081 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 457196

[startup+1789.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653688/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457324 CPUtime=1788.61
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121560 0 0 0 178774 87 0 0 25 0 1 0 91190910 468299776 113007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114331 113007 123 215 0 114113 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 457324

[startup+1790.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653560/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457452 CPUtime=1789.61
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121592 0 0 0 178874 87 0 0 25 0 1 0 91190910 468430848 113039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114363 113039 123 215 0 114145 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 457452

[startup+1791.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653432/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457580 CPUtime=1790.61
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121636 0 0 0 178974 87 0 0 25 0 1 0 91190910 468561920 113083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114395 113083 123 215 0 114177 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 457580

[startup+1792.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653240/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457712 CPUtime=1791.62
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121678 0 0 0 179074 88 0 0 25 0 1 0 91190910 468697088 113125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114428 113125 123 215 0 114210 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 457712

[startup+1793.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=653112/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=457844 CPUtime=1792.63
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121708 0 0 0 179175 88 0 0 25 0 1 0 91190910 468832256 113155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114461 113155 123 215 0 114243 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 457844

[startup+1794.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=652920/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=458108 CPUtime=1793.63
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121762 0 0 0 179275 88 0 0 25 0 1 0 91190910 469102592 113209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580878 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114527 113209 123 215 0 114309 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 458108

[startup+1795.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=652664/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=458372 CPUtime=1794.64
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121826 0 0 0 179376 88 0 0 25 0 1 0 91190910 469372928 113273 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114593 113273 123 215 0 114375 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 458372

[startup+1796.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=652408/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=458636 CPUtime=1795.64
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121887 0 0 0 179476 88 0 0 25 0 1 0 91190910 469643264 113334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575401 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114659 113334 123 215 0 114441 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 458636

[startup+1797.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=652216/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=458768 CPUtime=1796.65
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121934 0 0 0 179577 88 0 0 25 0 1 0 91190910 469778432 113381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114692 113381 123 215 0 114474 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 458768

[startup+1798.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=651960/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=459024 CPUtime=1797.65
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121994 0 0 0 179677 88 0 0 25 0 1 0 91190910 470040576 113441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114756 113441 123 215 0 114538 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 459024

[startup+1799.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=651768/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=459284 CPUtime=1798.65
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122046 0 0 0 179777 88 0 0 25 0 1 0 91190910 470306816 113493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114821 113493 123 215 0 114603 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 459284

[startup+1800.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=651512/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=459548 CPUtime=1799.65
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122106 0 0 0 179877 88 0 0 25 0 1 0 91190910 470577152 113553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114887 113553 123 215 0 114669 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 459548

[startup+1801.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=651256/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=459680 CPUtime=1800.66
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122166 0 0 0 179978 88 0 0 25 0 1 0 91190910 470712320 113613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114920 113613 123 215 0 114702 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 459680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28921
/proc/meminfo: memFree=651256/2055920 swapFree=4183212/4192956
[pid=28723] ppid=28721 vsize=459680 CPUtime=1800.66
/proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122167 0 0 0 179978 88 0 0 25 0 1 0 91190910 470712320 113614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28723/statm: 114920 113614 123 215 0 114702 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 459680

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

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.75
CPU user time (s): 1799.79
CPU system time (s): 0.965853
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (Kb): 459680
The end

Launcher Data (download as text)

Begin job on node27 on Fri Jul 28 21:47:07 UTC 2006


FILE ID= 49856-1154123227

PBS_JOBID= 887089

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node27/49856-1154123227/instance-49856-1154123227.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-49856-1154123227 -o ROOT/results/node27/solver-49856-1154123227 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node27/49856-1154123227/instance-49856-1154123227.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  7e6cf7bd8ae3eb2dbe42fe5a31768e13

RANDOM SEED= 78766439

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1106240 kB
Buffers:         31904 kB
Cached:         840756 kB
SwapCached:       3452 kB
Active:          92648 kB
Inactive:       788564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1106240 kB
SwapTotal:     4192956 kB
SwapFree:      4183212 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14496 kB
Slab:            54500 kB
Committed_AS:   284796 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Fri Jul 28 22:17:09 UTC 2006