Trace number 367181

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.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb
MD5SUM4309132132f3075979f27880d2e9bd87
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 benchmark7.65983
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 variables29401
Total number of constraints87121
Number of constraints which are clauses87120
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 constraint29040
Number of terms in the objective function 121
Biggest coefficient in the objective function 1329227995784915872903807060280344576
Number of bits for the biggest coefficient in the objective function 121
Sum of the numbers in the objective function 2658455991569831745807614120560689151
Number of bits of the sum of numbers in the objective function 121
Biggest number in a constraint 1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488
Number of bits of the biggest number in a constraint 360
Biggest sum of numbers in a constraint 4697085165547666455778961193578674053925803487664042654232438232254482458885767017065112738772656890028524910
Number of bits of the biggest sum of numbers361
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...
3.98/4.09	c Converting 87122 PB-constraints to clauses...
4.08/4.11	c   -- Unit propagations: (none)
38.48/38.55	c   -- Detecting intervals from adjacent constraints: #
38.48/38.57	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
38.68/38.74	c ---[   0]---> Adder-cost: 43312   maxlim: 212847209383558716637177843799960157485324605511796896740974396430028339860   bits: 247/247
109.86/109.98	c ==================================[MINISAT+]==================================
109.86/109.98	c | Conflicts | Original         | Learnt                           | Progress |
109.86/109.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
109.86/109.98	c ==============================================================================
109.86/109.98	c |         0 |  373824  1242543 |  124608       0        0     nan |  0.000 % |
109.96/110.07	c |       100 |  373791  1242424 |  137068      95      303     3.2 | 10.636 % |
110.15/110.23	c |       250 |  373422  1241119 |  150775     194      608     3.1 | 10.722 % |
111.55/111.63	c |       475 |  373422  1241119 |  165853     419     3571     8.5 | 10.722 % |
113.15/113.22	c |       814 |  373422  1241119 |  182438     758    35582    46.9 | 10.722 % |
114.65/114.71	c |      1320 |  373422  1241119 |  200682    1264   272581   215.6 | 10.722 % |
116.75/116.84	c |      2079 |  373422  1241119 |  220750    2023   283681   140.2 | 10.722 % |
117.95/118.02	c |      3220 |  373422  1241119 |  242825    3164   335942   106.2 | 10.722 % |
122.35/122.47	c |      4930 |  373422  1241119 |  267108    4874   426437    87.5 | 10.722 % |
123.85/123.99	c |      7492 |  373422  1241119 |  293819    7436   549783    73.9 | 10.722 % |
125.94/126.04	c |     11338 |  373422  1241119 |  323201   11282   903666    80.1 | 10.722 % |
141.94/142.02	c |     17105 |  373301  1240692 |  355521   17029  1710411   100.4 | 10.751 % |
151.34/151.48	c |     25755 |  373162  1240211 |  391073   25605  2510812    98.1 | 10.780 % |
172.03/172.10	c |     38729 |  373151  1240168 |  430180   38578  3453921    89.5 | 10.783 % |
228.32/228.43	c |     58190 |  373047  1239814 |  473198   57999  5792769    99.9 | 10.805 % |
244.22/244.39	c |     87382 |  373036  1239771 |  520518   87190  8913427   102.2 | 10.807 % |
342.39/342.58	c |    131172 |  372909  1239342 |  572570  130939 14415368   110.1 | 10.838 % |
455.85/456.02	c |    196856 |  372877  1239234 |  629827  196616 20651865   105.0 | 10.844 % |
802.85/803.20	c |    295383 |  372695  1238626 |  692810  294780 37043523   125.7 | 10.883 % |
1491.61/1492.16	c |    443172 |  372409  1237656 |  762091  419373 66073976   157.6 | 10.946 % |
1800.07/1800.71	c 
1800.07/1800.71	c *** TERMINATED ***
1800.07/1800.71	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/367181-1177068981/instance-367181-1177068981.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/node62/watcher-367181-1177068981 -o ROOT/results/node62/solver-367181-1177068981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367181-1177068981/minisat+ /tmp/evaluation/367181-1177068981/instance-367181-1177068981.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.02 1.01 0.98 3/64 2387
/proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=1048 CPUtime=0
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 25474147 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 262 101 74 215 0 44 0

[startup+0.0527959 s]
/proc/loadavg: 1.02 1.01 0.98 3/64 2387
/proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=1640 CPUtime=0.05
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 245 0 0 0 5 0 0 0 18 0 1 0 25474147 1679360 230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 410 230 74 215 0 192 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1640

[startup+0.101801 s]
/proc/loadavg: 1.02 1.01 0.98 3/64 2387
/proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=2080 CPUtime=0.09
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 368 0 0 0 9 0 0 0 18 0 1 0 25474147 2129920 353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 520 353 74 215 0 302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2080

[startup+0.301824 s]
/proc/loadavg: 1.02 1.01 0.98 3/64 2387
/proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=4124 CPUtime=0.29
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 876 0 0 0 29 0 0 0 19 0 1 0 25474147 4222976 861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 1031 862 74 215 0 813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4124

[startup+0.701871 s]
/proc/loadavg: 1.02 1.01 0.98 3/64 2387
/proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=8092 CPUtime=0.69
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 1866 0 0 0 69 0 0 0 22 0 1 0 25474147 8286208 1851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 2023 1851 74 215 0 1805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8092

[startup+1.50197 s]
/proc/loadavg: 1.02 1.01 0.98 2/65 2388
/proc/meminfo: memFree=1704600/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=15956 CPUtime=1.48
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 3791 0 0 0 147 1 0 0 25 0 1 0 25474147 16338944 3776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 3989 3776 74 215 0 3771 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15956

[startup+3.10115 s]
/proc/loadavg: 1.02 1.01 0.98 2/65 2388
/proc/meminfo: memFree=1693720/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=29492 CPUtime=3.08
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 7127 0 0 0 305 3 0 0 25 0 1 0 25474147 30199808 7062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 7373 7063 74 215 0 7155 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29492

[startup+6.30153 s]
/proc/loadavg: 1.02 1.01 0.98 2/65 2388
/proc/meminfo: memFree=1676952/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=38352 CPUtime=6.28
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 623 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38352

[startup+12.7023 s]
/proc/loadavg: 1.02 1.01 0.98 2/65 2388
/proc/meminfo: memFree=1677152/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=38352 CPUtime=12.68
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 1263 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38352

[startup+25.5018 s]
/proc/loadavg: 1.01 1.01 0.98 2/65 2388
/proc/meminfo: memFree=1677280/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=38352 CPUtime=25.48
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 2543 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38352

[startup+51.1018 s]
/proc/loadavg: 1.08 1.02 0.99 2/65 2388
/proc/meminfo: memFree=1546976/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=171172 CPUtime=51.07
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 43159 0 0 0 5079 28 0 0 25 0 1 0 25474147 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 171172

[startup+102.306 s]
/proc/loadavg: 1.03 1.02 0.99 2/65 2388
/proc/meminfo: memFree=1546976/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=171172 CPUtime=102.26
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 43159 0 0 0 10198 28 0 0 25 0 1 0 25474147 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171172

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 0.99 2/65 2388
/proc/meminfo: memFree=1541472/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=162.23
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45362 0 0 0 16194 29 0 0 25 0 1 0 25474147 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 175364

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 2388
/proc/meminfo: memFree=1541472/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=222.23
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45364 0 0 0 22193 30 0 0 25 0 1 0 25474147 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43315 123 215 0 43623 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 175364

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=282.21
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 28191 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43331 123 215 0 43623 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 175364

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=342.19
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 34189 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43331 123 215 0 43623 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 175364

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1541280/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=402.16
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 40186 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43331 123 215 0 43623 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 175364

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=462.15
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 46185 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43331 123 215 0 43623 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 175364

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1541280/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=175364 CPUtime=522.13
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45382 0 0 0 52183 30 0 0 25 0 1 0 25474147 179572736 43333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 43841 43333 123 215 0 43623 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 175364

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1538336/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=178516 CPUtime=582.11
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 46146 0 0 0 58180 31 0 0 25 0 1 0 25474147 182800384 44097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 44629 44097 123 215 0 44411 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 178516

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1531744/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=184948 CPUtime=642.1
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 47777 0 0 0 64176 34 0 0 25 0 1 0 25474147 189386752 45728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 46237 45728 123 215 0 46019 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 184948


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1473952/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=243172 CPUtime=882.02
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 62177 0 0 0 88153 49 0 0 25 0 1 0 25474147 249008128 60128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 60793 60128 123 215 0 60575 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 243172

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2388
/proc/meminfo: memFree=1449504/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=267800 CPUtime=942.01
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 68338 0 0 0 94147 54 0 0 25 0 1 0 25474147 274227200 66289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 66950 66289 123 215 0 66732 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 267800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1443040/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=274064 CPUtime=1001.99
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 69933 0 0 0 100143 56 0 0 25 0 1 0 25474147 280641536 67884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 68516 67884 123 215 0 68298 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 274064

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1441056/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=276060 CPUtime=1061.98
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70407 0 0 0 106141 57 0 0 25 0 1 0 25474147 282685440 68358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 69015 68358 123 215 0 68797 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 276060

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1441120/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=276060 CPUtime=1121.96
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70407 0 0 0 112139 57 0 0 25 0 1 0 25474147 282685440 68358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 69015 68358 123 215 0 68797 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 276060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1441056/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=276060 CPUtime=1181.94
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70412 0 0 0 118137 57 0 0 25 0 1 0 25474147 282685440 68363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 69015 68363 123 215 0 68797 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 276060

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1433120/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=283836 CPUtime=1241.92
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 72379 0 0 0 124133 59 0 0 25 0 1 0 25474147 290648064 70330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 70959 70330 123 215 0 70741 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 283836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1425952/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=290976 CPUtime=1301.9
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 74162 0 0 0 130130 60 0 0 25 0 1 0 25474147 297959424 72113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 72744 72113 123 215 0 72526 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 290976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1419872/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=297020 CPUtime=1361.88
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 75689 0 0 0 136126 62 0 0 25 0 1 0 25474147 304148480 73640 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 74255 73640 123 215 0 74037 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 297020

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2390
/proc/meminfo: memFree=1410464/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=306620 CPUtime=1421.88
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 78101 0 0 0 142123 65 0 0 25 0 1 0 25474147 313978880 76052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 76655 76052 123 215 0 76437 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 306620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/71 2416
/proc/meminfo: memFree=1372520/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=343036 CPUtime=1481.84
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 87230 0 0 0 148114 70 0 0 25 0 1 0 25474147 351268864 85181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/2387/statm: 85759 85181 123 215 0 85541 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 343036

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1365920/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=350452 CPUtime=1541.74
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 89093 0 0 0 154099 75 0 0 25 0 1 0 25474147 358862848 87044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 87613 87044 123 215 0 87395 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 350452

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1361056/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=355428 CPUtime=1601.72
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 90345 0 0 0 160095 77 0 0 25 0 1 0 25474147 363958272 88296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 88857 88296 123 215 0 88639 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 355428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1355424/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=360852 CPUtime=1661.7
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 91707 0 0 0 166092 78 0 0 25 0 1 0 25474147 369512448 89658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 90213 89658 123 215 0 89995 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 360852

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1346592/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=369916 CPUtime=1721.68
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 93965 0 0 0 172087 81 0 0 25 0 1 0 25474147 378793984 91916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 92479 91916 123 215 0 92261 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 369916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1299232/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=417736 CPUtime=1781.67
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 105724 0 0 0 178079 88 0 0 25 0 1 0 25474147 427761664 103675 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 104434 103675 123 215 0 104216 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 417736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1297248/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=419708 CPUtime=1800.07
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 106212 0 0 0 179918 89 0 0 25 0 1 0 25474147 429780992 104163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 104927 104163 123 215 0 104709 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 419708

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.00 1.00 0.99 2/65 2588
/proc/meminfo: memFree=1297248/2055920 swapFree=4184556/4192956
[pid=2387] ppid=2385 vsize=419708 CPUtime=1800.07
/proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 106212 0 0 0 179918 89 0 0 25 0 1 0 25474147 429780992 104163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2387/statm: 104927 104163 123 215 0 104709 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 419708

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.14
CPU user time (s): 1799.18
CPU system time (s): 0.959854
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 419708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.959854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106213
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= 358
involuntary context switches= 2835

runsolver used 1.24681 second user time and 3.89341 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Fri Apr 20 11:36:21 UTC 2007

IDJOB= 367181
IDBENCH= 3042
IDSOLVER= 156
FILE ID= node62/367181-1177068981

PBS_JOBID= 4640252

Free space on /tmp= 66492 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb
COMMAND LINE= /tmp/evaluation/367181-1177068981/minisat+ /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-367181-1177068981 -o ROOT/results/node62/conversion-367181-1177068981 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  4309132132f3075979f27880d2e9bd87

RANDOM SEED= 637635421

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1715128 kB
Buffers:         29888 kB
Cached:         232892 kB
SwapCached:       2148 kB
Active:         157332 kB
Inactive:       122032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715128 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            6504 kB
Writeback:           0 kB
Mapped:          22980 kB
Slab:            47444 kB
Committed_AS:  1061352 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66492 MiB

End job on node62 on Fri Apr 20 12:06:24 UTC 2007