Trace number 350168

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb
MD5SUM731d8a8b62f1165d7f7ff2eb0e8bed96
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 6243497100631984462763194459586332611497196285329458171408770520629035540670020835398097850925707779467176054569131054629458594384801759081011045
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/0.00	c Parsing PB file...
7.60/7.69	c Converting 154562 PB-constraints to clauses...
7.69/7.73	c   -- Unit propagations: (none)
124.94/125.05	c   -- Detecting intervals from adjacent constraints: #
124.94/125.09	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
125.24/125.38	c ---[   0]---> Adder-cost: 76956   maxlim: 342242056056889011804911409956638743178947078778334760037455141313564532547008979845370121711249565   bits: 328/328
288.81/289.09	c ==================================[MINISAT+]==================================
288.81/289.09	c | Conflicts | Original         | Learnt                           | Progress |
288.81/289.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
288.81/289.09	c ==============================================================================
288.81/289.09	c |         0 |  665345  2211403 |  221781       0        0     nan |  0.000 % |
289.91/290.17	c |       100 |  664856  2209662 |  243959      43      141     3.3 | 10.534 % |
290.51/290.75	c |       250 |  664578  2208686 |  268355     151      471     3.1 | 10.571 % |
292.71/292.93	c |       476 |  664554  2208604 |  295190     374     2769     7.4 | 10.574 % |
292.91/293.16	c |       816 |  664554  2208604 |  324709     714    36143    50.6 | 10.574 % |
296.82/297.00	c |      1324 |  664554  2208604 |  357180    1222    46227    37.8 | 10.574 % |
298.72/298.96	c |      2083 |  664554  2208604 |  392898    1981   123507    62.3 | 10.574 % |
300.12/300.32	c |      3223 |  664529  2208515 |  432188    3117   212884    68.3 | 10.577 % |
301.02/301.26	c |      4932 |  664529  2208515 |  475407    4826   422988    87.6 | 10.577 % |
303.51/303.72	c |      7494 |  664521  2208485 |  522947    7387   732583    99.2 | 10.577 % |
312.20/312.41	c |     11339 |  664497  2208403 |  575242   11220  1007282    89.8 | 10.581 % |
317.38/317.62	c |     17106 |  664497  2208403 |  632767   16987  1698202   100.0 | 10.581 % |
323.98/324.24	c |     25757 |  664497  2208403 |  696043   25638  2156680    84.1 | 10.581 % |
333.98/334.30	c |     38731 |  664497  2208403 |  765648   38612  3278770    84.9 | 10.581 % |
377.75/378.04	c |     58192 |  664497  2208403 |  842212   58073  4814582    82.9 | 10.581 % |
407.92/408.29	c |     87386 |  664497  2208403 |  926434   87267  8010096    91.8 | 10.581 % |
463.58/463.93	c |    131176 |  664489  2208377 | 1019077  131056 12386676    94.5 | 10.581 % |
636.82/637.34	c |    196860 |  664489  2208377 | 1120985  196740 19307221    98.1 | 10.581 % |
922.51/923.22	c |    295386 |  664489  2208377 | 1233084  295266 24799942    84.0 | 10.582 % |
1666.93/1668.23	c |    443175 |  664489  2208377 | 1356392  443055 37587863    84.8 | 10.581 % |
1800.04/1801.40	c 
1800.04/1801.40	c *** TERMINATED ***
1800.04/1801.40	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14522
/proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=1048 CPUtime=0
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 155953876 1073152 100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 262 101 74 215 0 44 0

[startup+0.0858539 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14522
/proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=1940 CPUtime=0.08
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 331 0 0 0 8 0 0 0 18 0 1 0 155953876 1986560 316 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134805854 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 485 316 74 215 0 267 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1940

[startup+0.101855 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14522
/proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=2072 CPUtime=0.09
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 376 0 0 0 9 0 0 0 18 0 1 0 155953876 2121728 361 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005809 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 518 361 74 215 0 300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2072

[startup+0.301882 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14522
/proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=4344 CPUtime=0.29
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 912 0 0 0 29 0 0 0 19 0 1 0 155953876 4448256 897 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134625347 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 1086 897 74 215 0 868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4344

[startup+0.701938 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14522
/proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=8168 CPUtime=0.69
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 1873 0 0 0 68 1 0 0 22 0 1 0 155953876 8364032 1858 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 2042 1858 74 215 0 1824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8168

[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1678904/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=15960 CPUtime=1.49
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 3821 0 0 0 147 2 0 0 25 0 1 0 155953876 16343040 3806 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 3990 3807 74 215 0 3772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15960

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1668088/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=32132 CPUtime=3.09
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 7779 0 0 0 305 4 0 0 25 0 1 0 155953876 32903168 7714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 8033 7714 74 215 0 7815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32132

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1643064/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=67192 CPUtime=6.29
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 16554 0 0 0 619 10 0 0 25 0 1 0 155953876 68804608 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 16798 16281 74 215 0 16580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67192

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1620792/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=69988 CPUtime=12.69
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 1258 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 17497 17059 83 215 0 17279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69988

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1620920/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=69988 CPUtime=25.49
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 2538 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005853 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 17497 17059 83 215 0 17279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69988

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1621112/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=69988 CPUtime=51.06
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 5095 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 17497 17059 83 215 0 17279 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69988

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1621176/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=69988 CPUtime=102.25
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 10214 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14522/statm: 17497 17059 83 215 0 17279 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69988

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 14523
/proc/meminfo: memFree=1293048/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=402716 CPUtime=162.2
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 101048 0 0 0 16164 56 0 0 25 0 1 0 155953876 412381184 98928 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 100679 98928 92 215 0 100461 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 402716

[startup+222.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 14523
/proc/meminfo: memFree=1301880/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=390744 CPUtime=222.15
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 101048 0 0 0 22159 56 0 0 25 0 1 0 155953876 400121856 96622 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 97686 96622 92 215 0 97468 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 390744

[startup+282.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 14523
/proc/meminfo: memFree=1308472/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387900 CPUtime=282.11
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 103154 0 0 0 28154 57 0 0 25 0 1 0 155953876 397209600 95608 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96975 95608 92 215 0 96757 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 387900

[startup+342.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 14523
/proc/meminfo: memFree=1305976/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=342.08
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104369 0 0 0 34149 59 0 0 25 0 1 0 155953876 397049856 95689 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95689 123 215 0 96718 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 387744

[startup+402.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 14523
/proc/meminfo: memFree=1305976/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=402.03
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104376 0 0 0 40144 59 0 0 25 0 1 0 155953876 397049856 95696 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95696 123 215 0 96718 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 387744

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 14523
/proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=461.98
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 46139 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 387744

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14523
/proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=521.93
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 52134 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 387744

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14523
/proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=581.88
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 58129 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 387744

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14523
/proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=641.82
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 64123 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 387744


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 14589
/proc/meminfo: memFree=1304648/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=821.68
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 82107 61 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 821.68
Current children cumulated vsize (KiB) 387744

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=881.64
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 88093 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 881.64
Current children cumulated vsize (KiB) 387744

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=941.59
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 94088 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 941.59
Current children cumulated vsize (KiB) 387744

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1001.53
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 100082 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134578846 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1001.53
Current children cumulated vsize (KiB) 387744

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1061.48
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 106077 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1061.48
Current children cumulated vsize (KiB) 387744

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1121.45
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 112073 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1121.45
Current children cumulated vsize (KiB) 387744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1181.4
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 118068 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1181.4
Current children cumulated vsize (KiB) 387744

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1241.34
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 124062 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1241.34
Current children cumulated vsize (KiB) 387744

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1301.3
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 130058 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1301.3
Current children cumulated vsize (KiB) 387744

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1361.26
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 136054 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1361.26
Current children cumulated vsize (KiB) 387744

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1421.22
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 142050 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573880 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1421.22
Current children cumulated vsize (KiB) 387744

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1481.17
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 148045 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1481.17
Current children cumulated vsize (KiB) 387744

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1541.13
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 154041 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1541.13
Current children cumulated vsize (KiB) 387744

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1601.09
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 160037 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1601.09
Current children cumulated vsize (KiB) 387744

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305656/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1661.03
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 166031 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1661.03
Current children cumulated vsize (KiB) 387744

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305656/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1721
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 172028 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 387744

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1780.96
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 178024 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1780.96
Current children cumulated vsize (KiB) 387744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14721
/proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956
[pid=14522] ppid=14520 vsize=387744 CPUtime=1800.04
/proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 179932 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14522/statm: 96936 95714 123 215 0 96718 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 387744

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

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

Child status: 0
Real time (s): 1801.46
CPU time (s): 1800.11
CPU user time (s): 1799.33
CPU system time (s): 0.78688
CPU usage (%): 99.9249
Max. virtual memory (cumulated for all children) (KiB): 402716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.78688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260
involuntary context switches= 7014

runsolver used 1.86172 second user time and 4.88426 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue Apr 17 08:47:25 UTC 2007

IDJOB= 350168
IDBENCH= 3011
IDSOLVER= 156
FILE ID= node71/350168-1176799645

PBS_JOBID= 4580875

Free space on /tmp= 66537 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb
COMMAND LINE= /tmp/evaluation/350168-1176799645/minisat+ /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-350168-1176799645 -o ROOT/results/node71/conversion-350168-1176799645 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  731d8a8b62f1165d7f7ff2eb0e8bed96

RANDOM SEED= 789172599

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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.234
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:       1689688 kB
Buffers:         28436 kB
Cached:         272892 kB
SwapCached:       2836 kB
Active:         143280 kB
Inactive:       168800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1689688 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:           10556 kB
Writeback:           0 kB
Mapped:          16772 kB
Slab:            40168 kB
Committed_AS:  2486292 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66537 MiB

End job on node71 on Tue Apr 17 09:17:29 UTC 2007