Trace number 49859

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.69 1801.21

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 benchmark56.4524
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	c Parsing PB file...
3.98	c Converting 87122 PB-constraints to clauses...
4.00	c   -- Unit propagations: (none)
38.01	c   -- Detecting intervals from adjacent constraints: #
38.04	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
38.21	c ---[   0]---> Adder-cost: 43312   maxlim: 212847209383558716637177843799960157485324605511796896740974396430028339860   bits: 247/247
109.46	c ==================================[MINISAT+]==================================
109.46	c | Conflicts | Original         | Learnt                           | Progress |
109.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
109.46	c ==============================================================================
109.46	c |         0 |  373824  1242543 |  124608       0        0     nan |  0.000 % |
109.55	c |       100 |  373791  1242424 |  137068      95      303     3.2 | 10.636 % |
109.71	c |       250 |  373422  1241119 |  150775     194      608     3.1 | 10.722 % |
111.12	c |       475 |  373422  1241119 |  165853     419     3571     8.5 | 10.722 % |
112.72	c |       814 |  373422  1241119 |  182438     758    35582    46.9 | 10.722 % |
114.20	c |      1320 |  373422  1241119 |  200682    1264   272581   215.6 | 10.722 % |
116.30	c |      2079 |  373422  1241119 |  220750    2023   283681   140.2 | 10.722 % |
117.48	c |      3220 |  373422  1241119 |  242825    3164   335942   106.2 | 10.722 % |
121.86	c |      4930 |  373422  1241119 |  267108    4874   426437    87.5 | 10.722 % |
123.35	c |      7492 |  373422  1241119 |  293819    7436   549783    73.9 | 10.722 % |
125.40	c |     11338 |  373422  1241119 |  323201   11282   903666    80.1 | 10.722 % |
141.33	c |     17105 |  373301  1240692 |  355521   17029  1710411   100.4 | 10.751 % |
150.80	c |     25755 |  373162  1240211 |  391073   25605  2510812    98.1 | 10.780 % |
171.36	c |     38729 |  373151  1240168 |  430180   38578  3453921    89.5 | 10.783 % |
227.41	c |     58190 |  373047  1239814 |  473198   57999  5792769    99.9 | 10.805 % |
243.16	c |     87382 |  373036  1239771 |  520518   87190  8913427   102.2 | 10.807 % |
340.87	c |    131172 |  372909  1239342 |  572570  130939 14415368   110.1 | 10.838 % |
453.79	c |    196856 |  372877  1239234 |  629827  196616 20651865   105.0 | 10.844 % |
798.93	c |    295383 |  372695  1238626 |  692810  294780 37043523   125.7 | 10.883 % |
1484.28	c |    443172 |  372409  1237656 |  762091  419373 66073976   157.6 | 10.946 % |
1801.14	c 
1801.14	c *** TERMINATED ***
1801.14	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node43/watcher-49859-1154123607 -o ROOT/results/node43/solver-49859-1154123607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=1075768/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=1048 CPUtime=0
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 159231745 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 262 95 74 215 0 44 0

[startup+10.0019 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=1038592/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=38352 CPUtime=9.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805925 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 38352

[startup+20.0088 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=1038856/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=38352 CPUtime=19.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 1994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 38352

[startup+30.0146 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=1038920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=38352 CPUtime=29.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 2994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805829 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 9588 9347 83 215 0 9370 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 38352

[startup+40.0205 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=1038920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=38352 CPUtime=39.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9968 0 0 0 3986 13 0 0 25 0 1 0 159231745 39272448 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012143 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 9588 9352 88 215 0 9370 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 38352

[startup+50.0264 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=49.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 4970 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 171172

[startup+60.0322 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=59.99
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 5970 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 171172

[startup+70.0381 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=70
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 6971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 171172

[startup+80.0449 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=80
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 7971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680482 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 171172

[startup+90.0498 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=90
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 8971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012073 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 171172

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=171172 CPUtime=100.01
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 9972 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 42793 41884 92 215 0 42575 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 171172

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902984/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=110.01
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45344 0 0 0 10971 30 0 0 25 0 1 0 159231745 179572736 43294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43294 123 215 0 43623 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 175364

[startup+120.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=120.02
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45362 0 0 0 11972 30 0 0 25 0 1 0 159231745 179572736 43312 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43312 123 215 0 43623 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 175364

[startup+130.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=130.02
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 12972 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 175364

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=140.02
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 13972 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 175364

[startup+150.086 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=150.03
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 14973 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 175364

[startup+160.092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=160.03
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 15973 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 175364

[startup+170.098 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=170.04
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 16973 31 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 175364

[startup+180.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902984/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=180.05
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 17974 31 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43313 123 215 0 43623 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 175364

[startup+190.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=190.05
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45365 0 0 0 18974 31 0 0 25 0 1 0 159231745 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43315 123 215 0 43623 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 175364

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862
/proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=175364 CPUtime=200.05
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45365 0 0 0 19974 31 0 0 25 0 1 0 159231745 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 43841 43315 123 215 0 43623 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 175364

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4862

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

/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106010 0 0 0 178063 89 0 0 25 0 1 0 159231745 429002752 103960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104737 103960 123 215 0 104519 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 418948

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5060
/proc/meminfo: memFree=659464/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419076 CPUtime=1782.53
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106056 0 0 0 178164 89 0 0 25 0 1 0 159231745 429133824 104006 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104769 104006 123 215 0 104551 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 419076

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5060
/proc/meminfo: memFree=659336/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419208 CPUtime=1783.53
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106091 0 0 0 178264 89 0 0 25 0 1 0 159231745 429268992 104041 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104802 104041 123 215 0 104584 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 419208

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5060
/proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419208 CPUtime=1784.54
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106101 0 0 0 178365 89 0 0 25 0 1 0 159231745 429268992 104051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104802 104051 123 215 0 104584 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 419208

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5060
/proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419208 CPUtime=1785.54
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106108 0 0 0 178465 89 0 0 25 0 1 0 159231745 429268992 104058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104802 104058 123 215 0 104584 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 419208

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5060
/proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419340 CPUtime=1786.55
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106114 0 0 0 178566 89 0 0 25 0 1 0 159231745 429404160 104064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104835 104064 123 215 0 104617 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 419340

[startup+1788.07 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 5060
/proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419340 CPUtime=1787.55
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106126 0 0 0 178666 89 0 0 25 0 1 0 159231745 429404160 104076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104835 104076 123 215 0 104617 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 419340

[startup+1789.08 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 5060
/proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419340 CPUtime=1788.56
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106131 0 0 0 178767 89 0 0 25 0 1 0 159231745 429404160 104081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104835 104081 123 215 0 104617 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 419340

[startup+1790.08 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 5060
/proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419472 CPUtime=1789.56
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106144 0 0 0 178867 89 0 0 25 0 1 0 159231745 429539328 104094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104868 104094 123 215 0 104650 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 419472

[startup+1791.09 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 5060
/proc/meminfo: memFree=658952/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=419604 CPUtime=1790.56
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106207 0 0 0 178967 89 0 0 25 0 1 0 159231745 429674496 104157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 104901 104157 123 215 0 104683 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 419604

[startup+1792.09 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 5060
/proc/meminfo: memFree=658568/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=420000 CPUtime=1791.57
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106295 0 0 0 179068 89 0 0 25 0 1 0 159231745 430080000 104245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105000 104245 123 215 0 104782 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 420000

[startup+1793.09 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=658248/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=420264 CPUtime=1792.57
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106370 0 0 0 179168 89 0 0 25 0 1 0 159231745 430350336 104320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105066 104320 123 215 0 104848 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 420264

[startup+1794.1 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=658248/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=420396 CPUtime=1793.57
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106375 0 0 0 179268 89 0 0 25 0 1 0 159231745 430485504 104325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576145 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105099 104325 123 215 0 104881 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 420396

[startup+1795.1 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=657992/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=420528 CPUtime=1794.58
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106438 0 0 0 179369 89 0 0 25 0 1 0 159231745 430620672 104388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105132 104388 123 215 0 104914 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 420528

[startup+1796.11 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=657544/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=421056 CPUtime=1795.58
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106556 0 0 0 179469 89 0 0 25 0 1 0 159231745 431161344 104506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105264 104506 123 215 0 105046 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 421056

[startup+1797.11 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=656776/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=421848 CPUtime=1796.59
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106741 0 0 0 179570 89 0 0 25 0 1 0 159231745 431972352 104691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105462 104691 123 215 0 105244 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 421848

[startup+1798.12 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=656200/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=422372 CPUtime=1797.6
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106882 0 0 0 179670 90 0 0 25 0 1 0 159231745 432508928 104832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105593 104832 123 215 0 105375 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 422372

[startup+1799.12 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=655432/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=423168 CPUtime=1798.6
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107082 0 0 0 179770 90 0 0 25 0 1 0 159231745 433324032 105032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105792 105032 123 215 0 105574 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 423168

[startup+1800.13 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=655304/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=423296 CPUtime=1799.61
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107111 0 0 0 179871 90 0 0 25 0 1 0 159231745 433455104 105061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105824 105061 123 215 0 105606 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 423296

[startup+1801.13 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=655240/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=423296 CPUtime=1800.61
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107130 0 0 0 179971 90 0 0 25 0 1 0 159231745 433455104 105080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105824 105080 123 215 0 105606 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 423296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 5060
/proc/meminfo: memFree=655240/2055920 swapFree=4182980/4192956
[pid=4862] ppid=4860 vsize=423296 CPUtime=1800.62
/proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107131 0 0 0 179972 90 0 0 25 0 1 0 159231745 433455104 105081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581159 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4862/statm: 105824 105081 123 215 0 105606 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 423296

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

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.69
CPU user time (s): 1799.72
CPU system time (s): 0.970852
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (Kb): 423296
The end

Launcher Data (download as text)

Begin job on node43 on Fri Jul 28 21:53:27 UTC 2006


FILE ID= 49859-1154123607

PBS_JOBID= 887101

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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-49859-1154123607 -o ROOT/results/node43/solver-49859-1154123607 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  4309132132f3075979f27880d2e9bd87

RANDOM SEED= 44974565

TIMEOUT= 1800 seconds


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1075984 kB
Buffers:         36368 kB
Cached:         877784 kB
SwapCached:       4256 kB
Active:         132968 kB
Inactive:       790320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1075984 kB
SwapTotal:     4192956 kB
SwapFree:      4182980 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14476 kB
Slab:            42700 kB
Committed_AS:   661520 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Fri Jul 28 22:23:29 UTC 2006