Trace number 49843

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.68 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb
MD5SUM91a5420b80ffdfe2edd36883df6730be
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables34451
Total number of constraints102181
Number of constraints which are clauses102180
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 constraint34060
Number of terms in the objective function 131
Biggest coefficient in the objective function 1361129467683753853853498429727072845824
Number of bits for the biggest coefficient in the objective function 131
Sum of the numbers in the objective function 2722258935367507707706996859454145691647
Number of bits of the sum of numbers in the objective function 131
Biggest number in a constraint 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818112
Number of bits of the biggest number in a constraint 390
Biggest sum of numbers in a constraint 5043456793138493339171717132818382567048530064817703149238847471651876572267107280016735989126993020184591974005456899
Number of bits of the biggest sum of numbers391
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...
4.73	c Converting 102182 PB-constraints to clauses...
4.76	c   -- Unit propagations: (none)
54.14	c   -- Detecting intervals from adjacent constraints: #
54.16	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
54.37	c ---[   0]---> Adder-cost: 50046   maxlim: 30161415754253808332732546403713039816434649954166935236567333510884130353856511   bits: 265/265
143.52	c ==================================[MINISAT+]==================================
143.52	c | Conflicts | Original         | Learnt                           | Progress |
143.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
143.52	c ==============================================================================
143.52	c |         0 |  432922  1437866 |  144307       0        0     nan |  0.000 % |
143.53	c |       100 |  432922  1437866 |  158737     100      311     3.1 | 11.141 % |
143.91	c |       250 |  432110  1434988 |  174611     144     1303     9.0 | 11.302 % |
144.01	c |       475 |  432110  1434988 |  192072     369     5044    13.7 | 11.303 % |
144.18	c |       813 |  432110  1434988 |  211279     707    13425    19.0 | 11.303 % |
144.42	c |      1320 |  432110  1434988 |  232407    1214    25386    20.9 | 11.303 % |
144.85	c |      2079 |  432110  1434988 |  255648    1973    42965    21.8 | 11.303 % |
145.19	c |      3218 |  432110  1434988 |  281213    3112    98482    31.6 | 11.303 % |
146.17	c |      4926 |  432110  1434988 |  309334    4820   147004    30.5 | 11.303 % |
156.78	c |      7493 |  432092  1434930 |  340268    7385   200754    27.2 | 11.307 % |
165.88	c |     11339 |  432092  1434930 |  374295   11231   564732    50.3 | 11.307 % |
177.12	c |     17107 |  432092  1434930 |  411724   16999  1247922    73.4 | 11.307 % |
197.51	c |     25757 |  432092  1434930 |  452897   25649  1742428    67.9 | 11.307 % |
205.59	c |     38731 |  432092  1434930 |  498186   38623  3120746    80.8 | 11.307 % |
230.28	c |     58192 |  432092  1434930 |  548005   58084  4744319    81.7 | 11.307 % |
286.96	c |     87384 |  432092  1434930 |  602806   87276  8224279    94.2 | 11.307 % |
332.58	c |    131173 |  432040  1434750 |  663086  131056 14770821   112.7 | 11.318 % |
465.23	c |    196860 |  432040  1434750 |  729395  196743 27706978   140.8 | 11.318 % |
647.99	c |    295387 |  432032  1434724 |  802334  295269 49685775   168.3 | 11.319 % |
999.05	c |    443177 |  432016  1434672 |  882568  443057 61967484   139.9 | 11.321 % |
1801.16	c 
1801.16	c *** TERMINATED ***
1801.16	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/node14/watcher-49843-1154122304 -o ROOT/results/node14/solver-49843-1154122304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 4/64 2744
/proc/meminfo: memFree=1288808/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=1048 CPUtime=0
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 159091334 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134571941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 262 95 74 215 0 44 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1245048/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=45296 CPUtime=9.99
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 992 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 45296

[startup+20.0093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1245312/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=45296 CPUtime=19.99
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 1992 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621528 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 45296

[startup+30.0152 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1245376/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=45296 CPUtime=30
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 2993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809928 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 45296

[startup+40.0212 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1245440/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=45296 CPUtime=40
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 3993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 45296

[startup+50.0271 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1245440/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=45296 CPUtime=50
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 4993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 45296

[startup+60.0331 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1206528/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=84572 CPUtime=60
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 21822 0 0 0 5978 22 0 0 25 0 1 0 159091334 86601728 20733 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808937 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 21143 20733 92 215 0 20925 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 84572

[startup+70.039 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=70.01
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53017 0 0 0 6966 35 0 0 25 0 1 0 159091334 215339008 51687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51687 92 215 0 52355 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 210292

[startup+80.046 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=80.01
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53020 0 0 0 7966 35 0 0 25 0 1 0 159091334 215339008 51690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51690 92 215 0 52355 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 210292

[startup+90.0509 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=90.02
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53022 0 0 0 8967 35 0 0 25 0 1 0 159091334 215339008 51692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51692 92 215 0 52355 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 210292

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=100.02
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53022 0 0 0 9967 35 0 0 25 0 1 0 159091334 215339008 51692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833880 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51692 92 215 0 52355 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 210292

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=110.02
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 10967 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839073 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51693 92 215 0 52355 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 210292

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=120.02
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 11967 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51693 92 215 0 52355 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 210292

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=210292 CPUtime=130.03
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 12968 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 52573 51693 92 215 0 52355 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 210292

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1075904/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=216752 CPUtime=140.03
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 54810 0 0 0 13967 36 0 0 25 0 1 0 159091334 221954048 53315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 54188 53315 105 215 0 53970 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 216752

[startup+150.088 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=150.03
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55396 0 0 0 14967 36 0 0 25 0 1 0 159091334 217378816 52149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52149 123 215 0 52853 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 212284

[startup+160.094 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080640/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=160.04
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55407 0 0 0 15968 36 0 0 25 0 1 0 159091334 217378816 52160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52160 123 215 0 52853 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 212284

[startup+170.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080640/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=170.04
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55407 0 0 0 16968 36 0 0 25 0 1 0 159091334 217378816 52160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52160 123 215 0 52853 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 212284

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=180.04
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55409 0 0 0 17968 36 0 0 25 0 1 0 159091334 217378816 52162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52162 123 215 0 52853 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 212284

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=190.04
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55409 0 0 0 18968 36 0 0 25 0 1 0 159091334 217378816 52162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52162 123 215 0 52853 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 212284

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744
/proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=212284 CPUtime=200.05
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55411 0 0 0 19969 36 0 0 25 0 1 0 159091334 217378816 52164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 53071 52164 123 215 0 52853 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 212284

[startup+210.124 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2744

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

/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105079 0 0 0 178056 96 0 0 25 0 1 0 159091334 421396480 101832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102880 101832 123 215 0 102662 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 411520

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 2928
/proc/meminfo: memFree=880064/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=411652 CPUtime=1782.53
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105095 0 0 0 178156 97 0 0 25 0 1 0 159091334 421531648 101848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102913 101848 123 215 0 102695 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 411652

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=411652 CPUtime=1783.52
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105115 0 0 0 178255 97 0 0 25 0 1 0 159091334 421531648 101868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102913 101868 123 215 0 102695 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 411652

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=411780 CPUtime=1784.52
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105130 0 0 0 178355 97 0 0 25 0 1 0 159091334 421662720 101883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574256 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102945 101883 123 215 0 102727 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 411780

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=411780 CPUtime=1785.53
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105148 0 0 0 178456 97 0 0 25 0 1 0 159091334 421662720 101901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102945 101901 123 215 0 102727 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 411780

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880872/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=411908 CPUtime=1786.53
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105169 0 0 0 178556 97 0 0 25 0 1 0 159091334 421793792 101922 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 102977 101922 123 215 0 102759 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 411908

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880808/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412040 CPUtime=1787.54
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105194 0 0 0 178657 97 0 0 25 0 1 0 159091334 421928960 101947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574403 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103010 101947 123 215 0 102792 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 412040

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880744/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412040 CPUtime=1788.54
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105209 0 0 0 178757 97 0 0 25 0 1 0 159091334 421928960 101962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103010 101962 123 215 0 102792 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 412040

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880624/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412168 CPUtime=1789.55
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105229 0 0 0 178858 97 0 0 25 0 1 0 159091334 422060032 101982 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103042 101982 123 215 0 102824 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 412168

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880560/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412168 CPUtime=1790.55
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105249 0 0 0 178958 97 0 0 25 0 1 0 159091334 422060032 102002 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103042 102002 123 215 0 102824 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 412168

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880560/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412300 CPUtime=1791.56
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105258 0 0 0 179059 97 0 0 25 0 1 0 159091334 422195200 102011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103075 102011 123 215 0 102857 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 412300

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880496/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412300 CPUtime=1792.56
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105271 0 0 0 179159 97 0 0 25 0 1 0 159091334 422195200 102024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103075 102024 123 215 0 102857 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 412300

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880448/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412428 CPUtime=1793.57
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105283 0 0 0 179260 97 0 0 25 0 1 0 159091334 422326272 102036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103107 102036 123 215 0 102889 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 412428

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880384/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412428 CPUtime=1794.57
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105296 0 0 0 179360 97 0 0 25 0 1 0 159091334 422326272 102049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103107 102049 123 215 0 102889 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 412428

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880320/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412428 CPUtime=1795.58
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105312 0 0 0 179461 97 0 0 25 0 1 0 159091334 422326272 102065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103107 102065 123 215 0 102889 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 412428

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880256/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412556 CPUtime=1796.58
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105330 0 0 0 179561 97 0 0 25 0 1 0 159091334 422457344 102083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103139 102083 123 215 0 102921 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 412556

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880192/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412688 CPUtime=1797.58
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105352 0 0 0 179661 97 0 0 25 0 1 0 159091334 422592512 102105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103172 102105 123 215 0 102954 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 412688

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880128/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412688 CPUtime=1798.59
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105369 0 0 0 179762 97 0 0 25 0 1 0 159091334 422592512 102122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103172 102122 123 215 0 102954 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 412688

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=880000/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412820 CPUtime=1799.59
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105394 0 0 0 179862 97 0 0 25 0 1 0 159091334 422727680 102147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103205 102147 123 215 0 102987 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 412820

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=879936/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412948 CPUtime=1800.6
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105409 0 0 0 179963 97 0 0 25 0 1 0 159091334 422858752 102162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103237 102162 123 215 0 103019 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 412948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2944
/proc/meminfo: memFree=879936/2055920 swapFree=4183052/4192956
[pid=2744] ppid=2742 vsize=412948 CPUtime=1800.6
/proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105409 0 0 0 179963 97 0 0 25 0 1 0 159091334 422858752 102162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2744/statm: 103237 102162 123 215 0 103019 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 412948

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

Child status: 0
Real time (s): 1801.24
CPU time (s): 1800.68
CPU user time (s): 1799.64
CPU system time (s): 1.04284
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (Kb): 412948
The end

Launcher Data (download as text)

Begin job on node14 on Fri Jul 28 21:31:44 UTC 2006


FILE ID= 49843-1154122304

PBS_JOBID= 887037

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-49843-1154122304 -o ROOT/results/node14/solver-49843-1154122304 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  91a5420b80ffdfe2edd36883df6730be

RANDOM SEED= 196519174

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.235
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.235
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:       1289080 kB
Buffers:         42440 kB
Cached:         643124 kB
SwapCached:       3956 kB
Active:         111356 kB
Inactive:       583036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1289080 kB
SwapTotal:     4192956 kB
SwapFree:      4183052 kB
Dirty:             204 kB
Writeback:           0 kB
Mapped:          14784 kB
Slab:            58456 kB
Committed_AS:   661108 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Fri Jul 28 22:01:46 UTC 2006