Trace number 3721532

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: minisat+ 1.14? (TO) 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb
MD5SUM7e6b5d1bb2d5498810142d4e4cc2c6f4
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 variables45751
Total number of constraints135901
Number of constraints which are clauses135900
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 constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784
Number of bits of the biggest sum of numbers451
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
3.09/3.17	c Converting 135902 PB-constraints to clauses...
3.09/3.18	c   -- Unit propagations: (none)
51.47/51.58	c   -- Detecting intervals from adjacent constraints: #
51.47/51.60	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
51.68/51.72	c ---[   0]---> Adder-cost: 67342   maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482   bits: 307/307
118.46/118.52	c ==================================[MINISAT+]==================================
118.46/118.52	c | Conflicts | Original         | Learnt                           | Progress |
118.46/118.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
118.46/118.52	c ==============================================================================
118.46/118.52	c |         0 |  581730  1933891 |  193910       0        0     nan |  0.000 % |
118.46/118.55	c |       100 |  581714  1933839 |  213301      98      302     3.1 | 10.669 % |
118.76/118.86	c |       250 |  580906  1930965 |  234631     135      435     3.2 | 10.788 % |
119.16/119.24	c |       475 |  580889  1930904 |  258094     349     1198     3.4 | 10.789 % |
119.16/119.28	c |       814 |  580889  1930904 |  283903     688     8554    12.4 | 10.789 % |
119.56/119.63	c |      1320 |  580889  1930904 |  312293    1194    27668    23.2 | 10.789 % |
119.76/119.88	c |      2080 |  580880  1930875 |  343523    1953    61254    31.4 | 10.791 % |
120.26/120.32	c |      3220 |  580880  1930875 |  377875    3093   112040    36.2 | 10.791 % |
122.86/122.96	c |      4928 |  580871  1930844 |  415663    4787   173752    36.3 | 10.792 % |
125.46/125.53	c |      7490 |  580871  1930844 |  457229    7349   291703    39.7 | 10.792 % |
126.66/126.73	c |     11336 |  580871  1930844 |  502952   11195   520246    46.5 | 10.792 % |
128.36/128.41	c |     17102 |  580871  1930844 |  553247   16961  1358809    80.1 | 10.792 % |
130.66/130.77	c |     25751 |  580871  1930844 |  608572   25610  2123987    82.9 | 10.792 % |
134.16/134.22	c |     38725 |  580871  1930844 |  669429   38584  3638062    94.3 | 10.792 % |
138.95/139.00	c |     58187 |  580871  1930844 |  736372   58046  5441223    93.7 | 10.792 % |
149.25/149.33	c |     87380 |  580871  1930844 |  810010   87239 12077585   138.4 | 10.792 % |
164.75/164.90	c |    131170 |  580871  1930844 |  891011  131029 15835365   120.9 | 10.792 % |
217.23/217.31	c |    196854 |  580863  1930818 |  980112  196712 22343097   113.6 | 10.793 % |
255.50/255.64	c |    295380 |  580826  1930697 | 1078123  295231 32343035   109.6 | 10.798 % |
368.49/368.67	c |    443169 |  580818  1930671 | 1185935  443019 66385466   149.8 | 10.799 % |
573.21/573.47	c |    664852 |  580802  1930619 | 1304529  664700 102941746   154.9 | 10.801 % |
1067.28/1067.61	c |    997379 |  580802  1930619 | 1434982  997227 136445614   136.8 | 10.801 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721532-1338557147/watcher-3721532-1338557147 -o /tmp/evaluation-result-3721532-1338557147/solver-3721532-1338557147 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721532-1338557147.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 3085
/proc/meminfo: memFree=28362204/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=1132 CPUtime=0 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 155 0 0 0 0 0 0 0 20 0 1 0 321841627 1159168 113 33554432000 134512640 135395479 4289668768 4289667736 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 283 113 74 216 0 65 0

[startup+0.0753739 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 3085
/proc/meminfo: memFree=28362204/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=2804 CPUtime=0.07 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 541 0 0 0 7 0 0 0 20 0 1 0 321841627 2871296 499 33554432000 134512640 135395479 4289668768 4289667600 134618678 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 701 499 74 216 0 483 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2804

[startup+0.100273 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 3085
/proc/meminfo: memFree=28362204/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=3288 CPUtime=0.09 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 683 0 0 0 9 0 0 0 20 0 1 0 321841627 3366912 641 33554432000 134512640 135395479 4289668768 4289667600 134618819 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 822 642 74 216 0 604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3288

[startup+0.300223 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 3085
/proc/meminfo: memFree=28362204/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=7876 CPUtime=0.29 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 1810 0 0 0 29 0 0 0 20 0 1 0 321841627 8065024 1768 33554432000 134512640 135395479 4289668768 4289667516 135005840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 1969 1768 74 216 0 1751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7876

[startup+0.70022 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 3085
/proc/meminfo: memFree=28362204/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=16824 CPUtime=0.69 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 3975 0 0 0 69 0 0 0 20 0 1 0 321841627 17227776 3933 33554432000 134512640 135395479 4289668768 4289667600 134619004 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 4206 3933 74 216 0 3988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16824

[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 3086
/proc/meminfo: memFree=28340100/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=34228 CPUtime=1.49 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 8347 0 0 0 148 1 0 0 20 0 1 0 321841627 35049472 8255 33554432000 134512640 135395479 4289668768 4289667068 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 8557 8256 74 216 0 8339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34228

[startup+3.10019 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 3086
/proc/meminfo: memFree=28321252/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=63324 CPUtime=3.09 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 16074 0 0 0 307 2 0 0 20 0 1 0 321841627 64843776 15387 33554432000 134512640 135395479 4289668768 4289667324 134838067 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 15831 15387 75 216 0 15613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63324

[startup+6.30023 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 3086
/proc/meminfo: memFree=28301804/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=60772 CPUtime=6.29 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 16082 0 0 0 627 2 0 0 20 0 1 0 321841627 62230528 14871 33554432000 134512640 135395479 4289668768 4289667444 135005282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 15193 14871 83 216 0 14975 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60772

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 3086
/proc/meminfo: memFree=28303308/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=60772 CPUtime=12.69 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 16082 0 0 0 1267 2 0 0 20 0 1 0 321841627 62230528 14871 33554432000 134512640 135395479 4289668768 4289667424 134805966 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 15193 14871 83 216 0 14975 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60772

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 3086
/proc/meminfo: memFree=28304352/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=60772 CPUtime=25.48 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 16082 0 0 0 2546 2 0 0 20 0 1 0 321841627 62230528 14871 33554432000 134512640 135395479 4289668768 4289667292 135005840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 15193 14871 83 216 0 14975 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60772

[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 1.95 3/178 3086
/proc/meminfo: memFree=28304564/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=60772 CPUtime=51.07 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 16090 0 0 0 5105 2 0 0 20 0 1 0 321841627 62230528 14872 33554432000 134512640 135395479 4289668768 4289667412 134812754 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 15193 14872 83 216 0 14975 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60772

[startup+102.306 s]
/proc/loadavg: 2.10 2.04 1.96 3/177 3086
/proc/meminfo: memFree=28049508/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=316404 CPUtime=102.27 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 83124 0 0 0 10212 15 0 0 20 0 1 0 321841627 323997696 78230 33554432000 134512640 135395479 4289668768 4289658488 134809153 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 79101 78230 92 216 0 78883 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 316404

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/177 3087
/proc/meminfo: memFree=28035900/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=329620 CPUtime=162.25 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 86143 0 0 0 16209 16 0 0 20 0 1 0 321841627 337530880 81770 33554432000 134512640 135395479 4289668768 4289667120 134580789 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 82405 81770 123 216 0 82187 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 329620

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 3087
/proc/meminfo: memFree=28035308/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=329620 CPUtime=222.22 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 86189 0 0 0 22206 16 0 0 20 0 1 0 321841627 337530880 81787 33554432000 134512640 135395479 4289668768 4289666640 134573904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 82405 81787 123 216 0 82187 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 329620

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/178 3090
/proc/meminfo: memFree=28034144/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=329620 CPUtime=282.2 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 86209 0 0 0 28204 16 0 0 20 0 1 0 321841627 337530880 82010 33554432000 134512640 135395479 4289668768 4289666640 134574144 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 82405 82010 123 216 0 82187 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 329620

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 3090
/proc/meminfo: memFree=28013108/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=350252 CPUtime=342.19 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 91356 0 0 0 34200 19 0 0 20 0 1 0 321841627 358658048 87157 33554432000 134512640 135395479 4289668768 4289666736 134575631 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 87563 87157 123 216 0 87345 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 350252

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 3090
/proc/meminfo: memFree=27946024/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=418664 CPUtime=402.18 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 108256 0 0 0 40191 27 0 0 20 0 1 0 321841627 428711936 104057 33554432000 134512640 135395479 4289668768 4289666640 134573890 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 104666 104057 123 216 0 104448 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 418664

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 3091
/proc/meminfo: memFree=27893572/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=469636 CPUtime=462.18 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 121061 0 0 0 46183 35 0 0 20 0 1 0 321841627 480907264 116862 33554432000 134512640 135395479 4289668768 4289667120 134580816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 117409 116862 123 216 0 117191 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 469636

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 3091
/proc/meminfo: memFree=27851520/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=511680 CPUtime=522.14 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 131632 0 0 0 52173 41 0 0 20 0 1 0 321841627 523960320 127411 33554432000 134512640 135395479 4289668768 4289667120 134581053 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 127920 127411 123 216 0 127702 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 511680

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/177 3091
/proc/meminfo: memFree=27823648/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=538652 CPUtime=582.1 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 138472 0 0 0 58164 46 0 0 20 0 1 0 321841627 551579648 134218 33554432000 134512640 135395479 4289668768 4289667120 134580941 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 134663 134218 123 216 0 134445 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 538652

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/178 3095
/proc/meminfo: memFree=27732288/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=629448 CPUtime=882.05 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 160940 0 0 0 88142 63 0 0 20 0 1 0 321841627 644554752 156690 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 157362 156690 123 216 0 157144 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 629448

[startup+942.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 3144
/proc/meminfo: memFree=27695744/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=650808 CPUtime=942.04 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 166293 0 0 0 94137 67 0 0 20 0 1 0 321841627 666427392 162043 33554432000 134512640 135395479 4289668768 4289667120 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 162702 162043 123 216 0 162484 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 650808

[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 3144
/proc/meminfo: memFree=27675348/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=666676 CPUtime=1002.01 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 170292 0 0 0 100130 71 0 0 20 0 1 0 321841627 682676224 166049 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 166669 166049 123 216 0 166451 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 666676

[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 3144
/proc/meminfo: memFree=27647996/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=680944 CPUtime=1061.98 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 173858 0 0 0 106125 73 0 0 20 0 1 0 321841627 697286656 169656 33554432000 134512640 135395479 4289668768 4289666640 134574431 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 170236 169656 123 216 0 170018 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 680944

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 3145
/proc/meminfo: memFree=27628604/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=693724 CPUtime=1121.97 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 177079 0 0 0 112122 75 0 0 20 0 1 0 321841627 710373376 172877 33554432000 134512640 135395479 4289668768 4289667120 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 173431 172877 123 216 0 173213 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 693724

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 3145
/proc/meminfo: memFree=27614224/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=708224 CPUtime=1181.96 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 180230 0 0 0 118119 77 0 0 20 0 1 0 321841627 725221376 176028 33554432000 134512640 135395479 4289668768 4289667120 134580915 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 177056 176028 123 216 0 176838 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 708224

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 3145
/proc/meminfo: memFree=27599840/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=718804 CPUtime=1241.95 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 182873 0 0 0 124116 79 0 0 20 0 1 0 321841627 736055296 178671 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 179701 178671 123 216 0 179483 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 718804

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3145
/proc/meminfo: memFree=27584092/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=731996 CPUtime=1301.95 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 186209 0 0 0 130113 82 0 0 20 0 1 0 321841627 749563904 182007 33554432000 134512640 135395479 4289668768 4289666640 134574254 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 182999 182007 123 216 0 182781 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 731996

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3145
/proc/meminfo: memFree=27572808/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=742160 CPUtime=1361.94 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 188769 0 0 0 136110 84 0 0 20 0 1 0 321841627 759971840 184567 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 185540 184567 123 216 0 185322 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 742160

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3146
/proc/meminfo: memFree=27563384/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=751264 CPUtime=1421.93 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 191058 0 0 0 142108 85 0 0 20 0 1 0 321841627 769294336 186856 33554432000 134512640 135395479 4289668768 4289666640 134574460 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 187816 186856 123 216 0 187598 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 751264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3149
/proc/meminfo: memFree=27553332/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=760256 CPUtime=1481.91 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 193298 0 0 0 148105 86 0 0 20 0 1 0 321841627 778502144 189096 33554432000 134512640 135395479 4289668768 4289666640 134574282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 190064 189096 123 216 0 189846 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 760256

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3149
/proc/meminfo: memFree=27537376/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=769300 CPUtime=1541.87 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 195602 0 0 0 154100 87 0 0 20 0 1 0 321841627 787763200 191670 33554432000 134512640 135395479 4289668768 4289666640 134574144 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 192325 191670 123 216 0 192107 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 769300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3149
/proc/meminfo: memFree=27524656/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=779228 CPUtime=1601.87 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 198090 0 0 0 160097 90 0 0 20 0 1 0 321841627 797929472 194158 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 194807 194158 123 216 0 194589 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 779228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3149
/proc/meminfo: memFree=27516008/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=788260 CPUtime=1661.86 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 200324 0 0 0 166094 92 0 0 20 0 1 0 321841627 807178240 196392 33554432000 134512640 135395479 4289668768 4289667120 134580938 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 197065 196392 123 216 0 196847 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 788260

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3150
/proc/meminfo: memFree=27508940/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=795592 CPUtime=1721.85 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 202129 0 0 0 172092 93 0 0 20 0 1 0 321841627 814686208 198197 33554432000 134512640 135395479 4289668768 4289666640 134574185 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 198898 198197 123 216 0 198680 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 795592

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3150
/proc/meminfo: memFree=27500880/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=802908 CPUtime=1781.84 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 203974 0 0 0 178090 94 0 0 20 0 1 0 321841627 822177792 200042 33554432000 134512640 135395479 4289668768 4289666640 134574147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 200727 200042 123 216 0 200509 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 802908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3150
/proc/meminfo: memFree=27498772/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=805232 CPUtime=1800.05 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 204558 0 0 0 179910 95 0 0 20 0 1 0 321841627 824557568 200626 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 201308 200626 123 216 0 201090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 805232

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3150
/proc/meminfo: memFree=27498772/32873648 swapFree=6864/6864
[pid=3085] ppid=3083 vsize=805232 CPUtime=1800.05 cores=1,3,5,7
/proc/3085/stat : 3085 (minisat+) R 3083 3085 2429 0 -1 4202496 204558 0 0 0 179910 95 0 0 20 0 1 0 321841627 824557568 200626 33554432000 134512640 135395479 4289668768 4289666640 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/3085/statm: 201308 200626 123 216 0 201090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 805232

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.1
CPU system time (s): 0.957854
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 805232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.957854
maximum resident set size= 802508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204559
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= 258
involuntary context switches= 1847

runsolver used 3.52246 second user time and 9.08462 second system time

The end

Launcher Data 

Begin job on node113 at 2012-06-01 15:25:48
IDJOB=3721532
IDBENCH=3012
IDSOLVER=2306
FILE ID=node113/3721532-1338557147
RUNJOBID= node113-1338552574-2446
PBS_JOBID= 14635871
Free space on /tmp= 71036 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721532-1338557147/watcher-3721532-1338557147 -o /tmp/evaluation-result-3721532-1338557147/solver-3721532-1338557147 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721532-1338557147.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7e6b5d1bb2d5498810142d4e4cc2c6f4
RANDOM SEED=1701818948

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28362624 kB
Buffers:          468272 kB
Cached:          3134856 kB
SwapCached:         2024 kB
Active:          1570436 kB
Inactive:        2062472 kB
Active(anon):      28716 kB
Inactive(anon):     1800 kB
Active(file):    1541720 kB
Inactive(file):  2060672 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099592 kB
Dirty:              9536 kB
Writeback:             0 kB
AnonPages:         33260 kB
Mapped:            11580 kB
Shmem:                 0 kB
Slab:             741456 kB
SReclaimable:     185348 kB
SUnreclaim:       556108 kB
KernelStack:        1480 kB
PageTables:         3748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     148996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721532-1338557147.opb

Free space on /tmp at the end= 71036 MiB
End job on node113 at 2012-06-01 15:55:50