Trace number 367103

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.12 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb
MD5SUM55edb2dcebb1eef2ceca62dc17cce326
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark14.3608
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
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 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820
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 (download as text)

0.00/0.00	c Parsing PB file...
6.69/6.71	c Converting 135902 PB-constraints to clauses...
6.69/6.75	c   -- Unit propagations: (none)
96.06/96.16	c   -- Detecting intervals from adjacent constraints: #
96.06/96.19	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
96.36/96.44	c ---[   0]---> Adder-cost: 67342   maxlim: 152815123171761988496734947402513736484426477842784718762724655243331752118086385027734013446   bits: 307/307
237.23/237.33	c ==================================[MINISAT+]==================================
237.23/237.33	c | Conflicts | Original         | Learnt                           | Progress |
237.23/237.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
237.23/237.33	c ==============================================================================
237.23/237.33	c |         0 |  581730  1933891 |  193910       0        0     nan |  0.000 % |
237.32/237.41	c |       100 |  581714  1933839 |  213301      98      300     3.1 | 10.669 % |
237.72/237.80	c |       250 |  581085  1931592 |  234631     160      497     3.1 | 10.760 % |
237.82/237.92	c |       475 |  581005  1931332 |  258094     374     1172     3.1 | 10.773 % |
240.42/240.50	c |       812 |  580998  1931309 |  283903     709     5183     7.3 | 10.774 % |
243.82/243.99	c |      1319 |  580998  1931309 |  312293    1216   103388    85.0 | 10.774 % |
249.92/250.01	c |      2078 |  580998  1931309 |  343523    1975   133351    67.5 | 10.774 % |
257.92/258.06	c |      3217 |  580998  1931309 |  377875    3114   194308    62.4 | 10.774 % |
260.52/260.68	c |      4925 |  580998  1931309 |  415663    4822   486677   100.9 | 10.774 % |
277.82/277.95	c |      7489 |  580972  1931213 |  457229    7383  1035478   140.3 | 10.778 % |
289.42/289.56	c |     11334 |  580972  1931213 |  502952   11228  1492617   132.9 | 10.778 % |
323.40/323.56	c |     17100 |  580972  1931213 |  553247   16994  2584158   152.1 | 10.778 % |
333.70/333.83	c |     25749 |  580972  1931213 |  608572   25643  4039586   157.5 | 10.778 % |
384.59/384.72	c |     38724 |  580963  1931184 |  669429   38617  5684469   147.2 | 10.780 % |
473.17/473.39	c |     58186 |  580926  1931053 |  736372   58075  8500710   146.4 | 10.786 % |
581.24/581.42	c |     87379 |  580803  1930638 |  810010   87252 13322384   152.7 | 10.800 % |
689.61/689.83	c |    131168 |  580627  1930052 |  891011  130964 21809767   166.5 | 10.821 % |
821.78/822.06	c |    196853 |  580627  1930052 |  980112  196649 36484677   185.5 | 10.821 % |
1053.22/1053.57	c |    295379 |  580627  1930052 | 1078123  295175 51465061   174.4 | 10.821 % |
1365.83/1366.23	c |    443168 |  580616  1930009 | 1185935  442963 77957969   176.0 | 10.823 % |
1800.02/1800.61	c 
1800.02/1800.61	c *** TERMINATED ***
1800.02/1800.61	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.94 0.97 0.99 3/77 4345
/proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=1048 CPUtime=0
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 61721089 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 262 100 74 215 0 44 0

[startup+0.0895971 s]
/proc/loadavg: 0.94 0.97 0.99 3/77 4345
/proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=1916 CPUtime=0.08
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 339 0 0 0 8 0 0 0 18 0 1 0 61721089 1961984 324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 479 324 74 215 0 261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1916

[startup+0.101598 s]
/proc/loadavg: 0.94 0.97 0.99 3/77 4345
/proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=2056 CPUtime=0.09
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 61721089 2105344 362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 514 362 74 215 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2056

[startup+0.30162 s]
/proc/loadavg: 0.94 0.97 0.99 3/77 4345
/proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=4200 CPUtime=0.29
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 878 0 0 0 29 0 0 0 19 0 1 0 61721089 4300800 863 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 1050 863 74 215 0 832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4200

[startup+0.701663 s]
/proc/loadavg: 0.94 0.97 0.99 3/77 4345
/proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=8096 CPUtime=0.69
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 1867 0 0 0 69 0 0 0 22 0 1 0 61721089 8290304 1852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 2024 1852 74 215 0 1806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8096

[startup+1.50175 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1792616/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=15960 CPUtime=1.49
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 3801 0 0 0 147 2 0 0 25 0 1 0 61721089 16343040 3786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 3990 3786 74 215 0 3772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15960

[startup+3.10192 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1781992/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=31988 CPUtime=3.09
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 7729 0 0 0 304 5 0 0 25 0 1 0 61721089 32755712 7664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 7997 7664 74 215 0 7779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31988

[startup+6.30127 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1745776/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=62588 CPUtime=6.29
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 15882 0 0 0 621 8 0 0 25 0 1 0 61721089 64090112 15222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 15647 15222 74 215 0 15429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62588

[startup+12.702 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1743488/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=60700 CPUtime=12.69
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 1261 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621371 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60700

[startup+25.5014 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1743488/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=60700 CPUtime=25.48
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 2540 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60700

[startup+51.1011 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1743552/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=60700 CPUtime=51.07
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 5099 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809950 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60700

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1718784/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=84984 CPUtime=102.27
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 22911 0 0 0 10204 23 0 0 25 0 1 0 61721089 87023616 20818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 21246 20818 90 215 0 21028 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84984

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1480448/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=328200 CPUtime=162.25
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 83084 0 0 0 16178 47 0 0 25 0 1 0 61721089 336076800 80460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648425 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82050 80460 92 215 0 81832 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 328200

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1492544/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=312620 CPUtime=222.24
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 83084 0 0 0 22176 48 0 0 25 0 1 0 61721089 320122880 77467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 78155 77467 92 215 0 77937 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 312620

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=282.22
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88671 0 0 0 28171 51 0 0 25 0 1 0 61721089 337526784 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81785 123 215 0 82186 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 329616

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=342.2
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88671 0 0 0 34169 51 0 0 25 0 1 0 61721089 337526784 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81785 123 215 0 82186 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 329616

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=402.19
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 40167 52 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81786 123 215 0 82186 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 329616

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475456/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=462.17
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 46165 52 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81786 123 215 0 82186 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 329616

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=522.16
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 52163 53 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573331 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81786 123 215 0 82186 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 329616

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=582.14
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88684 0 0 0 58161 53 0 0 25 0 1 0 61721089 337526784 81798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580417 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81798 123 215 0 82186 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 329616

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=642.12
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88684 0 0 0 64159 53 0 0 25 0 1 0 61721089 337526784 81798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81798 123 215 0 82186 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 329616


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=822.08
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 82153 55 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81801 123 215 0 82186 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 329616

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=882.06
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 88151 55 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81801 123 215 0 82186 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 329616

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=942.05
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 94149 56 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81801 123 215 0 82186 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 329616

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=1002.03
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 100147 56 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81801 123 215 0 82186 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 329616

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=329616 CPUtime=1062.02
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 106145 57 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 82404 81801 123 215 0 82186 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 329616

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1462400/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=343256 CPUtime=1122
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 91938 0 0 0 112139 61 0 0 25 0 1 0 61721089 351494144 85052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 85814 85052 123 215 0 85596 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 343256

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1445376/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=360484 CPUtime=1181.98
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 96262 0 0 0 118133 65 0 0 25 0 1 0 61721089 369135616 89376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583964 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 90121 89376 123 215 0 89903 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 360484

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1418368/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=386800 CPUtime=1241.96
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 102884 0 0 0 124123 73 0 0 25 0 1 0 61721089 396083200 95998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 96700 95998 123 215 0 96482 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 386800

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1399936/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=404968 CPUtime=1301.95
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 107452 0 0 0 130117 78 0 0 25 0 1 0 61721089 414687232 100566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 101242 100566 123 215 0 101024 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 404968

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1376768/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=428224 CPUtime=1361.94
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 113289 0 0 0 136109 85 0 0 25 0 1 0 61721089 438501376 106403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 107056 106403 123 215 0 106838 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 428224

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1372096/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=432564 CPUtime=1421.93
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 114386 0 0 0 142106 87 0 0 25 0 1 0 61721089 442945536 107500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 108141 107500 123 215 0 107923 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 432564

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1355904/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=449992 CPUtime=1481.9
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 118529 0 0 0 148099 91 0 0 25 0 1 0 61721089 460791808 111643 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 112498 111643 123 215 0 112280 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 449992

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1321472/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=483860 CPUtime=1541.89
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 127032 0 0 0 154090 99 0 0 25 0 1 0 61721089 495472640 120146 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 120965 120146 123 215 0 120747 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 483860

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1292480/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=513244 CPUtime=1601.88
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 134372 0 0 0 160081 107 0 0 25 0 1 0 61721089 525561856 127486 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 128311 127486 123 215 0 128093 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 513244

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4346
/proc/meminfo: memFree=1267264/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=537904 CPUtime=1661.85
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 140553 0 0 0 166073 112 0 0 25 0 1 0 61721089 550813696 133667 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574460 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 134476 133667 123 215 0 134258 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 537904

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 4454
/proc/meminfo: memFree=1244928/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=558988 CPUtime=1721.78
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 145823 0 0 0 172060 118 0 0 25 0 1 0 61721089 572403712 138937 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 139747 138937 123 215 0 139529 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 558988

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4544
/proc/meminfo: memFree=1224640/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=580140 CPUtime=1781.72
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 151127 0 0 0 178049 123 0 0 25 0 1 0 61721089 594063360 144241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 145035 144241 123 215 0 144817 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 580140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4544
/proc/meminfo: memFree=1216832/2055920 swapFree=4157972/4192956
[pid=4345] ppid=4343 vsize=587816 CPUtime=1800.02
/proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 153056 0 0 0 179877 125 0 0 25 0 1 0 61721089 601923584 146170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4345/statm: 146954 146170 123 215 0 146736 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 587816

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

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

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.12
CPU user time (s): 1798.78
CPU system time (s): 1.3428
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 587816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.34279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153057
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= 531
involuntary context switches= 16015

runsolver used 2.00869 second user time and 4.80427 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Fri Apr 20 11:32:37 UTC 2007

IDJOB= 367103
IDBENCH= 3017
IDSOLVER= 156
FILE ID= node47/367103-1177068756

PBS_JOBID= 4640276

Free space on /tmp= 66419 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb
COMMAND LINE= /tmp/evaluation/367103-1177068756/minisat+ /tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-367103-1177068756 -o ROOT/results/node47/conversion-367103-1177068756 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  55edb2dcebb1eef2ceca62dc17cce326

RANDOM SEED= 12278422

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1803400 kB
Buffers:         58164 kB
Cached:         105544 kB
SwapCached:       3300 kB
Active:         122540 kB
Inactive:        82512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803400 kB
SwapTotal:     4192956 kB
SwapFree:      4157972 kB
Dirty:            9552 kB
Writeback:           0 kB
Mapped:          35424 kB
Slab:            33008 kB
Committed_AS:  3843088 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66419 MiB

End job on node47 on Fri Apr 20 12:02:40 UTC 2007