Trace number 367091

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.14 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb
MD5SUMdf413fd91ea32ba4084c4b3fbb11e44d
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.3308
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 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784
Number of bits of the biggest sum of numbers451
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (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.74	c   -- Unit propagations: (none)
95.86/95.92	c   -- Detecting intervals from adjacent constraints: #
95.86/95.95	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
96.16/96.20	c ---[   0]---> Adder-cost: 67342   maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482   bits: 307/307
238.11/238.26	c ==================================[MINISAT+]==================================
238.11/238.26	c | Conflicts | Original         | Learnt                           | Progress |
238.11/238.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
238.11/238.26	c ==============================================================================
238.11/238.26	c |         0 |  581730  1933891 |  193910       0        0     nan |  0.000 % |
238.21/238.33	c |       100 |  581714  1933839 |  213301      98      301     3.1 | 10.669 % |
238.81/238.98	c |       250 |  580951  1931134 |  234631     142      449     3.2 | 10.781 % |
239.01/239.10	c |       475 |  580881  1930884 |  258094     357     1115     3.1 | 10.792 % |
241.01/241.17	c |       812 |  580881  1930884 |  283903     694     4980     7.2 | 10.792 % |
245.01/245.16	c |      1320 |  580841  1930742 |  312293    1196    29420    24.6 | 10.797 % |
250.00/250.16	c |      2080 |  580841  1930742 |  343523    1956    59108    30.2 | 10.797 % |
256.40/256.56	c |      3219 |  580841  1930742 |  377875    3095   332845   107.5 | 10.797 % |
268.70/268.81	c |      4927 |  580841  1930742 |  415663    4803   404077    84.1 | 10.797 % |
295.19/295.33	c |      7490 |  580841  1930742 |  457229    7366  2207804   299.7 | 10.797 % |
308.99/309.18	c |     11334 |  580841  1930742 |  502952   11210  2737682   244.2 | 10.797 % |
350.17/350.30	c |     17101 |  580841  1930742 |  553247   16977  4068889   239.7 | 10.797 % |
383.36/383.51	c |     25750 |  580841  1930742 |  608572   25626  4769808   186.1 | 10.797 % |
464.93/465.20	c |     38725 |  580792  1930579 |  669429   38594  6264041   162.3 | 10.805 % |
499.43/499.61	c |     58187 |  580792  1930579 |  736372   58056 10819628   186.4 | 10.805 % |
546.92/547.16	c |     87379 |  580792  1930579 |  810010   87248 16774294   192.3 | 10.805 % |
628.29/628.56	c |    131169 |  580792  1930579 |  891011  131038 25914935   197.8 | 10.805 % |
780.54/780.88	c |    196855 |  580734  1930379 |  980112  196714 37910343   192.7 | 10.814 % |
1128.44/1128.80	c |    295382 |  580645  1930078 | 1078123  292609 62196124   212.6 | 10.826 % |
1446.05/1446.54	c |    443171 |  580435  1929398 | 1185935  440373 88245163   200.4 | 10.853 % |
1800.05/1800.70	c 
1800.05/1800.71	c *** TERMINATED ***
1800.05/1800.71	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/367091-1177068721/instance-367091-1177068721.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/node74/watcher-367091-1177068721 -o ROOT/results/node74/solver-367091-1177068721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367091-1177068721/minisat+ /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 0.98 3/66 8321
/proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=1048 CPUtime=0
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 154786898 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006241 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 262 101 74 215 0 44 0

[startup+0.0283979 s]
/proc/loadavg: 1.00 1.02 0.98 3/66 8321
/proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=1344 CPUtime=0.02
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 185 0 0 0 2 0 0 0 18 0 1 0 154786898 1376256 170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 336 171 74 215 0 118 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1344

[startup+0.101406 s]
/proc/loadavg: 1.00 1.02 0.98 3/66 8321
/proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=2056 CPUtime=0.09
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 378 0 0 0 9 0 0 0 18 0 1 0 154786898 2105344 363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 514 363 74 215 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2056

[startup+0.301429 s]
/proc/loadavg: 1.00 1.02 0.98 3/66 8321
/proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=4200 CPUtime=0.29
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 879 0 0 0 29 0 0 0 19 0 1 0 154786898 4300800 864 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 1050 864 74 215 0 832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4200

[startup+0.701476 s]
/proc/loadavg: 1.00 1.02 0.98 3/66 8321
/proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=8096 CPUtime=0.69
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 1867 0 0 0 68 1 0 0 23 0 1 0 154786898 8290304 1852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 2024 1852 74 215 0 1806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8096

[startup+1.50157 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 8322
/proc/meminfo: memFree=1669856/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=15960 CPUtime=1.49
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 3801 0 0 0 147 2 0 0 25 0 1 0 154786898 16343040 3786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 3990 3786 74 215 0 3772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15960

[startup+3.10175 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 8322
/proc/meminfo: memFree=1659232/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=31988 CPUtime=3.09
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 7729 0 0 0 305 4 0 0 25 0 1 0 154786898 32755712 7664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 7997 7664 74 215 0 7779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31988

[startup+6.30112 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 8322
/proc/meminfo: memFree=1623008/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=62588 CPUtime=6.29
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 15882 0 0 0 621 8 0 0 25 0 1 0 154786898 64090112 15222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 15647 15222 74 215 0 15429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62588

[startup+12.7019 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 8322
/proc/meminfo: memFree=1620512/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=60700 CPUtime=12.68
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 1260 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60700

[startup+25.5013 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 8322
/proc/meminfo: memFree=1620768/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=60700 CPUtime=25.48
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 2540 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60700

[startup+51.1013 s]
/proc/loadavg: 1.00 1.01 0.98 2/67 8322
/proc/meminfo: memFree=1620832/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=60700 CPUtime=51.07
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 5099 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60700

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 0.98 2/67 8322
/proc/meminfo: memFree=1597088/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=84984 CPUtime=102.25
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 22914 0 0 0 10201 24 0 0 25 0 1 0 154786898 87023616 20821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680234 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 21246 20821 92 215 0 21028 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84984

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8322
/proc/meminfo: memFree=1357728/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=328364 CPUtime=162.23
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 83084 0 0 0 16173 50 0 0 25 0 1 0 154786898 336244736 80488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530472 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82091 80488 92 215 0 81873 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 328364

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8322
/proc/meminfo: memFree=1369888/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=312620 CPUtime=222.21
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 83084 0 0 0 22170 51 0 0 25 0 1 0 154786898 320122880 77467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013402 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 78155 77467 92 215 0 77937 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 312620

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8322
/proc/meminfo: memFree=1352864/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=282.19
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88669 0 0 0 28165 54 0 0 25 0 1 0 154786898 337534976 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81785 123 215 0 82188 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 329624

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8322
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=342.17
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 34163 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81788 123 215 0 82188 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 329624

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8322
/proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=402.15
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 40161 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81788 123 215 0 82188 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 329624

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=462.13
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 46159 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581116 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81788 123 215 0 82188 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 329624

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=522.13
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88673 0 0 0 52158 55 0 0 25 0 1 0 154786898 337534976 81789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81789 123 215 0 82188 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 329624

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=582.11
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88673 0 0 0 58156 55 0 0 25 0 1 0 154786898 337534976 81789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576863 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81789 123 215 0 82188 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 329624

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=642.09
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 64154 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81793 123 215 0 82188 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 329624


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=882.01
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 88146 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81793 123 215 0 82188 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 329624

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=941.99
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 94144 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81793 123 215 0 82188 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 329624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=329624 CPUtime=1001.98
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88680 0 0 0 100143 55 0 0 25 0 1 0 154786898 337534976 81796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 82406 81796 123 215 0 82188 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 329624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1338656/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=343740 CPUtime=1061.97
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 92193 0 0 0 106138 59 0 0 25 0 1 0 154786898 351989760 85309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 85935 85309 123 215 0 85717 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 343740

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1325792/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=356864 CPUtime=1121.94
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 95456 0 0 0 112133 61 0 0 25 0 1 0 154786898 365428736 88572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 89216 88572 123 215 0 88998 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 356864

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1312800/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=369516 CPUtime=1181.92
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 98641 0 0 0 118128 64 0 0 25 0 1 0 154786898 378384384 91757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 92379 91757 123 215 0 92161 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 369516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1302944/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=379972 CPUtime=1241.91
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 101103 0 0 0 124125 66 0 0 25 0 1 0 154786898 389091328 94219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 94993 94219 123 215 0 94775 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 379972

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1271392/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=411156 CPUtime=1301.9
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 108967 0 0 0 130117 73 0 0 25 0 1 0 154786898 421023744 102083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 102789 102083 123 215 0 102571 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 411156

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1257056/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=425468 CPUtime=1361.87
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 112556 0 0 0 136111 76 0 0 25 0 1 0 154786898 435679232 105672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 106367 105672 123 215 0 106149 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 425468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1224480/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=457940 CPUtime=1421.86
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 120701 0 0 0 142101 85 0 0 25 0 1 0 154786898 468930560 113817 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 114485 113817 123 215 0 114267 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 457940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1206368/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=476080 CPUtime=1481.84
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 125255 0 0 0 148095 89 0 0 25 0 1 0 154786898 487505920 118371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 119020 118371 123 215 0 118802 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 476080

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1193184/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=488948 CPUtime=1541.82
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 128487 0 0 0 154089 93 0 0 25 0 1 0 154786898 500682752 121603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 122237 121603 123 215 0 122019 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 488948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1177952/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=505032 CPUtime=1601.8
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 132296 0 0 0 160084 96 0 0 25 0 1 0 154786898 517152768 125412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 126258 125412 123 215 0 126040 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 505032

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1165664/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=517236 CPUtime=1661.78
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 135361 0 0 0 166079 99 0 0 25 0 1 0 154786898 529649664 128477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 129309 128477 123 215 0 129091 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 517236

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 8324
/proc/meminfo: memFree=1153312/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=529544 CPUtime=1721.77
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 138447 0 0 0 172074 103 0 0 25 0 1 0 154786898 542253056 131563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 132386 131563 123 215 0 132168 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 529544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/73 8494
/proc/meminfo: memFree=1142488/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=538996 CPUtime=1781.66
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 140810 0 0 0 178060 106 0 0 25 0 1 0 154786898 551931904 133926 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 134749 133926 123 215 0 134531 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 538996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.07 1.02 0.99 2/67 8522
/proc/meminfo: memFree=1140944/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=541724 CPUtime=1800.05
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 141479 0 0 0 179898 107 0 0 25 0 1 0 154786898 554725376 134595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 135431 134595 123 215 0 135213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 541724

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

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

[startup+1800.71 s]
/proc/loadavg: 1.07 1.02 0.99 2/67 8522
/proc/meminfo: memFree=1140944/2055920 swapFree=4183056/4192956
[pid=8321] ppid=8319 vsize=541724 CPUtime=1800.05
/proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 141479 0 0 0 179898 107 0 0 25 0 1 0 154786898 554725376 134595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8321/statm: 135431 134595 123 215 0 135213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 541724

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.14
CPU user time (s): 1798.98
CPU system time (s): 1.15782
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 541724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.15782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141480
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= 257
involuntary context switches= 3386

runsolver used 2.08768 second user time and 4.16537 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Fri Apr 20 11:32:01 UTC 2007

IDJOB= 367091
IDBENCH= 3015
IDSOLVER= 156
FILE ID= node74/367091-1177068721

PBS_JOBID= 4640229

Free space on /tmp= 103196 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-692949159.opb
COMMAND LINE= /tmp/evaluation/367091-1177068721/minisat+ /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-367091-1177068721 -o ROOT/results/node74/conversion-367091-1177068721 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  df413fd91ea32ba4084c4b3fbb11e44d

RANDOM SEED= 977891665

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1680576 kB
Buffers:         53916 kB
Cached:         241476 kB
SwapCached:       2992 kB
Active:         144496 kB
Inactive:       167340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1680576 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            9476 kB
Writeback:           0 kB
Mapped:          21288 kB
Slab:            49224 kB
Committed_AS:  3889412 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103196 MiB

End job on node74 on Fri Apr 20 12:02:04 UTC 2007