Trace number 350078

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.17 1800.08

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb
MD5SUMc918ba57e672047ee392792cccc2b48f
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 5043456793138493339171717132818382567049488946071148219999644591778013249122585915275136925506681211892051858120822619
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/0.00	c Parsing PB file...
4.80/4.84	c Converting 102182 PB-constraints to clauses...
4.80/4.86	c   -- Unit propagations: (none)
52.99/53.06	c   -- Detecting intervals from adjacent constraints: #
52.99/53.09	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
53.19/53.28	c ---[   0]---> Adder-cost: 50826   maxlim: 241565226162046639978764612783509985963853166572550793305244350873936925998133415   bits: 268/268
143.60/143.60	c ==================================[MINISAT+]==================================
143.60/143.60	c | Conflicts | Original         | Learnt                           | Progress |
143.60/143.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
143.60/143.60	c ==============================================================================
143.60/143.60	c |         0 |  439156  1459283 |  146385       0        0     nan |  0.000 % |
143.60/143.61	c |       100 |  439156  1459283 |  161023     100      310     3.1 | 10.586 % |
144.00/144.06	c |       250 |  438215  1455974 |  177125     123      395     3.2 | 10.773 % |
145.10/145.17	c |       475 |  438206  1455945 |  194838     347     1598     4.6 | 10.776 % |
145.99/146.03	c |       812 |  438206  1455945 |  214322     684    17763    26.0 | 10.776 % |
148.59/148.60	c |      1318 |  438206  1455945 |  235754    1190    54076    45.4 | 10.776 % |
150.19/150.28	c |      2078 |  438206  1455945 |  259329    1950   130208    66.8 | 10.776 % |
151.29/151.32	c |      3218 |  438190  1455893 |  285262    3081   197991    64.3 | 10.779 % |
158.79/158.81	c |      4928 |  438190  1455893 |  313789    4791   256929    53.6 | 10.779 % |
167.70/167.77	c |      7490 |  438190  1455893 |  345168    7353   433764    59.0 | 10.779 % |
170.90/170.91	c |     11334 |  438190  1455893 |  379684   11197   813195    72.6 | 10.779 % |
202.31/202.33	c |     17100 |  438190  1455893 |  417653   16963  1107123    65.3 | 10.779 % |
214.60/214.61	c |     25750 |  438181  1455864 |  459418   25612  2094535    81.8 | 10.782 % |
259.10/259.11	c |     38725 |  438161  1455790 |  505360   38563  2923554    75.8 | 10.785 % |
271.71/271.77	c |     58186 |  438161  1455790 |  555896   58024  4588977    79.1 | 10.785 % |
298.51/298.50	c |     87380 |  438161  1455790 |  611486   87218 12919535   148.1 | 10.785 % |
332.51/332.54	c |    131171 |  438161  1455790 |  672635  131009 16952688   129.4 | 10.785 % |
445.21/445.23	c |    196857 |  438161  1455790 |  739898  196695 28771252   146.3 | 10.785 % |
567.21/567.20	c |    295384 |  438153  1455764 |  813888  295221 40124650   135.9 | 10.786 % |
1051.65/1051.66	c |    443173 |  438153  1455764 |  895277  443010 67983462   153.5 | 10.786 % |
1800.09/1800.00	c 
1800.09/1800.00	c *** TERMINATED ***
1800.09/1800.00	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24974
/proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=1048 CPUtime=0
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 127059874 1073152 102 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 262 102 74 215 0 44 0

[startup+0.093535 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24974
/proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=1944 CPUtime=0.09
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 352 0 0 0 9 0 0 0 18 0 1 0 127059874 1990656 337 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 486 337 74 215 0 268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1944

[startup+0.101534 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24974
/proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=2076 CPUtime=0.09
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 127059874 2125824 360 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 519 360 74 215 0 301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2076

[startup+0.301492 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24974
/proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=4124 CPUtime=0.29
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 884 0 0 0 29 0 0 0 19 0 1 0 127059874 4222976 869 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 1031 869 74 215 0 813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4124

[startup+0.70141 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24974
/proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=8236 CPUtime=0.69
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 1886 0 0 0 68 1 0 0 23 0 1 0 127059874 8433664 1871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 2059 1871 74 215 0 1841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8236

[startup+1.50124 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1919552/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=16100 CPUtime=1.49
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 3837 0 0 0 147 2 0 0 25 0 1 0 127059874 16486400 3822 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 4025 3822 74 215 0 3807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16100

[startup+3.10191 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1908800/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=31004 CPUtime=3.09
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 7476 0 0 0 305 4 0 0 25 0 1 0 127059874 31748096 7411 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 7751 7411 74 215 0 7533 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31004

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1885760/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=45296 CPUtime=6.29
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 622 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45296

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1885760/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=45296 CPUtime=12.7
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 1263 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45296

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1885824/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=45296 CPUtime=25.49
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 2542 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45296

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1885824/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=45296 CPUtime=51.1
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 5103 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621756 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 11324 11004 83 215 0 11106 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 45296

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1718080/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=214940 CPUtime=102.3
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 54201 0 0 0 10193 37 0 0 25 0 1 0 127059874 220098560 52871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 53735 52871 92 215 0 53517 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 214940

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1717184/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=162.29
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56610 0 0 0 16191 38 0 0 25 0 1 0 127059874 221261824 53154 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572690 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53154 123 215 0 53801 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 216076

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24975
/proc/meminfo: memFree=1717120/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=222.3
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56611 0 0 0 22191 39 0 0 25 0 1 0 127059874 221261824 53155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53155 123 215 0 53801 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 216076

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1716928/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=282.31
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56612 0 0 0 28191 40 0 0 25 0 1 0 127059874 221261824 53156 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53156 123 215 0 53801 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 216076

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=342.31
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 34191 40 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53157 123 215 0 53801 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 216076

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=402.31
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 40190 41 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53157 123 215 0 53801 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 216076

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=216076 CPUtime=462.31
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 46190 41 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573014 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 54019 53157 123 215 0 53801 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 216076

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1693568/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=239512 CPUtime=522.31
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 62480 0 0 0 52184 47 0 0 25 0 1 0 127059874 245260288 59024 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574351 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 59878 59024 123 215 0 59660 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 239512

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1682560/2055920 swapFree=4125068/4192956
[pid=24974] ppid=24972 vsize=250480 CPUtime=582.32
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 65205 0 0 0 58181 51 0 0 25 0 1 0 127059874 256491520 61749 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 62620 61749 123 215 0 62402 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 250480

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1670272/2055920 swapFree=4125076/4192956
[pid=24974] ppid=24972 vsize=263160 CPUtime=642.32
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 68233 0 0 0 64178 54 0 0 25 0 1 0 127059874 269475840 64777 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 65790 64777 123 215 0 65572 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 263160


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1622208/2055920 swapFree=4125080/4192956
[pid=24974] ppid=24972 vsize=310740 CPUtime=822.33
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 80206 0 0 0 82165 68 0 0 25 0 1 0 127059874 318197760 76750 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 77685 76750 123 215 0 77467 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 310740

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1607168/2055920 swapFree=4125080/4192956
[pid=24974] ppid=24972 vsize=325540 CPUtime=882.34
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 83902 0 0 0 88161 73 0 0 25 0 1 0 127059874 333352960 80446 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 81385 80446 123 215 0 81167 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 325540

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1592960/2055920 swapFree=4125080/4192956
[pid=24974] ppid=24972 vsize=339664 CPUtime=942.34
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 87446 0 0 0 94158 76 0 0 25 0 1 0 127059874 347815936 83990 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 84916 83990 123 215 0 84698 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 339664

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1579776/2055920 swapFree=4125080/4192956
[pid=24974] ppid=24972 vsize=352688 CPUtime=1002.34
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 90688 0 0 0 100155 79 0 0 25 0 1 0 127059874 361152512 87232 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 88172 87232 123 215 0 87954 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 352688

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1568256/2055920 swapFree=4125092/4192956
[pid=24974] ppid=24972 vsize=364188 CPUtime=1062.34
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 93560 0 0 0 106151 83 0 0 25 0 1 0 127059874 372928512 90104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 91047 90104 123 215 0 90829 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 364188

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1558784/2055920 swapFree=4125092/4192956
[pid=24974] ppid=24972 vsize=373436 CPUtime=1122.35
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 95880 0 0 0 112148 87 0 0 25 0 1 0 127059874 382398464 92424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 93359 92424 123 215 0 93141 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 373436

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1550272/2055920 swapFree=4125092/4192956
[pid=24974] ppid=24972 vsize=382796 CPUtime=1182.35
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 98018 0 0 0 118145 90 0 0 25 0 1 0 127059874 391983104 94562 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 95699 94562 123 215 0 95481 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 382796

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1541504/2055920 swapFree=4125156/4192956
[pid=24974] ppid=24972 vsize=391316 CPUtime=1242.36
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 100139 0 0 0 124142 94 0 0 25 0 1 0 127059874 400707584 96683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 97829 96683 123 215 0 97611 0
Current children cumulated CPU time (s) 1242.36
Current children cumulated vsize (KiB) 391316

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1532672/2055920 swapFree=4125156/4192956
[pid=24974] ppid=24972 vsize=399984 CPUtime=1302.36
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 102310 0 0 0 130139 97 0 0 25 0 1 0 127059874 409583616 98854 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 99996 98854 123 215 0 99778 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 399984

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1524672/2055920 swapFree=4125156/4192956
[pid=24974] ppid=24972 vsize=407780 CPUtime=1362.37
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 104277 0 0 0 136137 100 0 0 25 0 1 0 127059874 417566720 100821 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 101945 100821 123 215 0 101727 0
Current children cumulated CPU time (s) 1362.37
Current children cumulated vsize (KiB) 407780

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1516544/2055920 swapFree=4125156/4192956
[pid=24974] ppid=24972 vsize=415912 CPUtime=1422.37
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 106291 0 0 0 142135 102 0 0 25 0 1 0 127059874 425893888 102835 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 103978 102835 123 215 0 103760 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 415912

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1509568/2055920 swapFree=4125220/4192956
[pid=24974] ppid=24972 vsize=422800 CPUtime=1482.37
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 108036 0 0 0 148132 105 0 0 25 0 1 0 127059874 432947200 104580 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 105700 104580 123 215 0 105482 0
Current children cumulated CPU time (s) 1482.37
Current children cumulated vsize (KiB) 422800

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1502272/2055920 swapFree=4125220/4192956
[pid=24974] ppid=24972 vsize=429952 CPUtime=1542.37
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 109825 0 0 0 154130 107 0 0 25 0 1 0 127059874 440270848 106369 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 107488 106369 123 215 0 107270 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 429952

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1496000/2055920 swapFree=4125220/4192956
[pid=24974] ppid=24972 vsize=436208 CPUtime=1602.38
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 111410 0 0 0 160129 109 0 0 25 0 1 0 127059874 446676992 107954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 109052 107954 123 215 0 108834 0
Current children cumulated CPU time (s) 1602.38
Current children cumulated vsize (KiB) 436208

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1490048/2055920 swapFree=4125220/4192956
[pid=24974] ppid=24972 vsize=442100 CPUtime=1662.38
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 112870 0 0 0 166127 111 0 0 25 0 1 0 127059874 452710400 109414 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 110525 109414 123 215 0 110307 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 442100

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1484224/2055920 swapFree=4125284/4192956
[pid=24974] ppid=24972 vsize=447816 CPUtime=1722.38
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 114323 0 0 0 172125 113 0 0 25 0 1 0 127059874 458563584 110867 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 111954 110867 123 215 0 111736 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 447816

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1477376/2055920 swapFree=4125284/4192956
[pid=24974] ppid=24972 vsize=454440 CPUtime=1782.39
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 115938 0 0 0 178124 115 0 0 25 0 1 0 127059874 465346560 112482 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134575437 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 113610 112482 123 215 0 113392 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 454440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24977
/proc/meminfo: memFree=1475584/2055920 swapFree=4125284/4192956
[pid=24974] ppid=24972 vsize=456116 CPUtime=1800.09
/proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 116387 0 0 0 179894 115 0 0 25 0 1 0 127059874 467062784 112931 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24974/statm: 114029 112931 123 215 0 113811 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 456116

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.17
CPU user time (s): 1798.94
CPU system time (s): 1.22681
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 456116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.22681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 441
involuntary context switches= 36973

runsolver used 2.27865 second user time and 4.24935 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue Apr 17 06:30:22 UTC 2007

IDJOB= 350078
IDBENCH= 2968
IDSOLVER= 156
FILE ID= node16/350078-1176791422

PBS_JOBID= 4580838

Free space on /tmp= 66399 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb
COMMAND LINE= /tmp/evaluation/350078-1176791422/minisat+ /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-350078-1176791422 -o ROOT/results/node16/conversion-350078-1176791422 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  c918ba57e672047ee392792cccc2b48f

RANDOM SEED= 710686768

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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.232
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:       1930400 kB
Buffers:         14092 kB
Cached:          38628 kB
SwapCached:      28200 kB
Active:          59080 kB
Inactive:        34992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1930400 kB
SwapTotal:     4192956 kB
SwapFree:      4125068 kB
Dirty:            7296 kB
Writeback:           0 kB
Mapped:          34284 kB
Slab:            16932 kB
Committed_AS:  6414532 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66399 MiB

End job on node16 on Tue Apr 17 07:00:25 UTC 2007