Trace number 349254

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
bsolo 3.0.16? (TO) 1800.3 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUMc5d594af626243e56994c23d5a3c48e8
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 variables13806
Total number of constraints604
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb
0.00/0.00	c File size is 704009 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Highest Coefficient sum: 1.39587e+10
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.123 s
0.09/0.13	c Var: 13806 Constr: 732 0/8/724 Lit: 89684 Watch. Lit: 18628
0.09/0.13	c Obj. Vars: 30 (0.217297 % of total variables)
2.29/2.32	c Pre-processing Time: 2.318 s
1800.01/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.60	c        0   7854      732    89684  122    73804  179321      0      0 2.32
1800.01/1800.60	c      100   7854      832   112583  135    73948  197254    100     40 2.45
1800.01/1800.60	c      251   7854      983   142434  144    74194  216980    251     96 2.61
1800.01/1800.60	c      477   7854     1209   185343  153    74646  238679    477    164 2.89
1800.01/1800.60	c      816   7854     1548   242446  156    75268  262547    816    234 3.49
1800.01/1800.60	c     1324   7854     2056   386971  188    76289  288802   1324    343 3.85
1800.01/1800.60	c     2089   7854     2821   555027  196    77738  317683   2089    436 4.78
1800.01/1800.60	c     3236   7854     3968   772989  194    80031  349452   3236    543 5.96
1800.01/1800.60	c     4960   7854     5692  1325663  232    83288  384398   4960    629 7.88
1800.01/1800.60	c     7548   7854     8280  2102101  253    88452  422838   7548    551 13.69
1800.01/1800.60	c    11430   7854    12162  3002895  246    95915  465122  11430    733 15.59
1800.01/1800.60	c    17252   7854    17984  4793991  266   107482  511635  17252    699 24.67
1800.01/1800.60	c    25989   7854    26721  6888421  257   124997  562799  25989    803 32.35
1800.01/1800.66	c    39101   7854    39833 11157199  280   150990  619079  39101    817 47.83
1800.01/1800.66	c    58771   7854    59503 17900593  300   190253  680987  58771    730 80.42
1800.01/1800.66	c    88282   7854    89014 26082522  293   249201  749086  88282    509 173.11
1800.01/1800.66	c   132553   7854   133285 45790228  343   340054  823995 132553    436 303.59
1800.01/1800.66	c   198963   7854   199695 68226318  341   472797  906395 198963    299 665.18
1800.01/1800.66	c   298583   7854   299315 100421255  335   671875  997035 298583    294 1012.82
1800.01/1800.66	c Caught signal: 15
1800.01/1800.66	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.66	c   18   401295  26534   551873   402027 137497121 401295    222 1800.02
1800.01/1800.66	s UNKNOWN
1800.01/1800.66	c Total time: 1800.02 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-349254-1176691673 -o ROOT/results/node74/solver-349254-1176691673 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb 

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


[startup+0 s]
/proc/loadavg: 1.07 1.02 1.00 3/66 1530
/proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=12424 CPUtime=0
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 117082060 12722176 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 3106 337 282 324 0 2003 0

[startup+0.051698 s]
/proc/loadavg: 1.07 1.02 1.00 3/66 1530
/proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=5860 CPUtime=0.04
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 737 0 0 0 4 0 0 0 18 0 1 0 117082060 6000640 705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 1465 705 345 324 0 362 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5860

[startup+0.102703 s]
/proc/loadavg: 1.07 1.02 1.00 3/66 1530
/proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=6520 CPUtime=0.09
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 979 0 0 0 9 0 0 0 18 0 1 0 117082060 6676480 947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10082436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 1630 947 419 324 0 527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6520

[startup+0.302736 s]
/proc/loadavg: 1.07 1.02 1.00 3/66 1530
/proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=9116 CPUtime=0.29
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 1793 0 0 0 28 1 0 0 19 0 1 0 117082060 9334784 1589 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 2279 1589 306 324 0 1348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9116

[startup+0.701773 s]
/proc/loadavg: 1.07 1.02 1.00 3/66 1530
/proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=9920 CPUtime=0.68
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2127 0 0 0 67 1 0 0 22 0 1 0 117082060 10158080 1815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 2480 1815 308 324 0 1549 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9920

[startup+1.50187 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 1531
/proc/meminfo: memFree=1839368/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=9920 CPUtime=1.49
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2127 0 0 0 147 2 0 0 25 0 1 0 117082060 10158080 1815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 2480 1815 308 324 0 1549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9920

[startup+3.10105 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 1531
/proc/meminfo: memFree=1839240/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=10708 CPUtime=3.08
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2500 0 0 0 306 2 0 0 25 0 1 0 117082060 10964992 1999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 2677 1999 312 324 0 1746 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10708

[startup+6.30142 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 1531
/proc/meminfo: memFree=1832328/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=18768 CPUtime=6.28
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 4521 0 0 0 624 4 0 0 25 0 1 0 117082060 19218432 4020 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 4692 4020 312 324 0 3761 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18768

[startup+12.7012 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 1531
/proc/meminfo: memFree=1817544/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=33224 CPUtime=12.69
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 8143 0 0 0 1260 9 0 0 25 0 1 0 117082060 34021376 7642 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 8306 7642 312 324 0 7375 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33224

[startup+25.5016 s]
/proc/loadavg: 1.05 1.01 1.00 2/67 1531
/proc/meminfo: memFree=1775368/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=76240 CPUtime=25.49
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 18890 0 0 0 2533 16 0 0 25 0 1 0 117082060 78069760 18389 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 19060 18389 312 324 0 18129 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76240

[startup+51.1026 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 1531
/proc/meminfo: memFree=1680264/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=172016 CPUtime=51.07
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 42828 0 0 0 5078 29 0 0 25 0 1 0 117082060 176144384 42327 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 43004 42327 312 324 0 42073 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172016

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 1531
/proc/meminfo: memFree=1574920/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=273816 CPUtime=102.26
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 68303 0 0 0 10178 48 0 0 25 0 1 0 117082060 280387584 67802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 68454 67802 312 324 0 67523 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 273816

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1512968/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=336348 CPUtime=162.24
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 83923 0 0 0 16163 61 0 0 25 0 1 0 117082060 344420352 83422 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 84087 83422 312 324 0 83156 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 336348

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1354760/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=493832 CPUtime=222.23
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 123286 0 0 0 22136 87 0 0 25 0 1 0 117082060 505683968 122785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 123458 122785 312 324 0 122527 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 493832

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1265416/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=583388 CPUtime=282.21
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 145668 0 0 0 28117 104 0 0 25 0 1 0 117082060 597389312 145167 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 145847 145167 312 324 0 144916 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 583388

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1178184/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=670028 CPUtime=342.2
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 167354 0 0 0 34099 121 0 0 25 0 1 0 117082060 686108672 166853 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 167507 166853 312 324 0 166576 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 670028

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1113032/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=735444 CPUtime=402.18
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 183711 0 0 0 40083 135 0 0 25 0 1 0 117082060 753094656 183210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 183861 183210 312 324 0 182930 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 735444

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1069064/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=778704 CPUtime=462.17
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 194525 0 0 0 46074 143 0 0 25 0 1 0 117082060 797392896 194024 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 194676 194024 312 324 0 193745 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 778704

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=1028104/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=819984 CPUtime=522.15
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 204841 0 0 0 52062 153 0 0 25 0 1 0 117082060 839663616 204340 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 204996 204340 312 324 0 204065 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 819984

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=992904/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=854816 CPUtime=582.13
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 213531 0 0 0 58052 161 0 0 25 0 1 0 117082060 875331584 213030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 213704 213030 312 324 0 212773 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 854816

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1531
/proc/meminfo: memFree=963528/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=883808 CPUtime=642.12
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 220781 0 0 0 64044 168 0 0 25 0 1 0 117082060 905019392 220280 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 220952 220280 312 324 0 220021 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 883808


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=633352/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1213212 CPUtime=881.95
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 303134 0 0 0 87962 233 0 0 25 0 1 0 117082060 1242329088 302633 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10190540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 303303 302633 312 324 0 302372 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1213212

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=579208/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1267704 CPUtime=941.93
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 316773 0 0 0 93949 244 0 0 25 0 1 0 117082060 1298128896 316272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 316926 316272 312 324 0 315995 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1267704

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=537608/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1308932 CPUtime=1001.92
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 327068 0 0 0 99938 254 0 0 25 0 1 0 117082060 1340346368 326567 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 327233 326567 312 324 0 326302 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1308932

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=451656/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1396032 CPUtime=1061.91
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 348843 0 0 0 105917 274 0 0 25 0 1 0 117082060 1429536768 348342 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 349008 348342 312 324 0 348077 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1396032

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=399752/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1446436 CPUtime=1121.89
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 361435 0 0 0 111903 286 0 0 25 0 1 0 117082060 1481150464 360934 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 361609 360934 312 324 0 360678 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1446436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=365640/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1480832 CPUtime=1181.87
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 370054 0 0 0 117892 295 0 0 25 0 1 0 117082060 1516371968 369553 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 370208 369553 312 324 0 369277 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1480832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=328136/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1518028 CPUtime=1241.86
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 379347 0 0 0 123881 305 0 0 25 0 1 0 117082060 1554460672 378846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 379507 378846 312 324 0 378576 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1518028

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=292168/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1553644 CPUtime=1301.84
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 388232 0 0 0 129873 311 0 0 25 0 1 0 117082060 1590931456 387731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 388411 387731 312 324 0 387480 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1553644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=253064/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1592972 CPUtime=1361.82
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 398073 0 0 0 135861 321 0 0 25 0 1 0 117082060 1631203328 397572 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 398243 397572 312 324 0 397312 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1592972

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=209288/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1636280 CPUtime=1421.82
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 408908 0 0 0 141849 333 0 0 25 0 1 0 117082060 1675550720 408407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 409070 408407 312 324 0 408139 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1636280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=170696/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1675232 CPUtime=1481.79
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 418640 0 0 0 147836 343 0 0 25 0 1 0 117082060 1715437568 418139 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 418808 418139 312 324 0 417877 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1675232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=143048/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1702408 CPUtime=1541.78
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 425444 0 0 0 153828 350 0 0 25 0 1 0 117082060 1743265792 424943 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 425602 424943 312 324 0 424671 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1702408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=115784/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1730116 CPUtime=1601.76
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 432355 0 0 0 159819 357 0 0 25 0 1 0 117082060 1771638784 431854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10191306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 432529 431854 312 324 0 431598 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1730116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=92232/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1753188 CPUtime=1661.75
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 438135 0 0 0 165813 362 0 0 25 0 1 0 117082060 1795264512 437634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 438297 437634 312 324 0 437366 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1753188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=66312/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1779140 CPUtime=1721.73
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 444622 0 0 0 171805 368 0 0 25 0 1 0 117082060 1821839360 444121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 444785 444121 312 324 0 443854 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1779140

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=50056/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1795296 CPUtime=1781.71
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 448649 0 0 0 177799 372 0 0 25 0 1 0 117082060 1838383104 448148 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 448824 448148 312 324 0 447893 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1795296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=44936/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=1800140 CPUtime=1800.01
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 449877 0 0 0 179628 373 0 0 25 0 1 0 117082060 1843343360 449376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 450035 449376 312 324 0 449104 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1800140

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1730
/proc/meminfo: memFree=44936/2055920 swapFree=4183704/4192956
[pid=1530] ppid=1528 vsize=0 CPUtime=1800.21
/proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194308 449878 0 0 0 179628 393 0 0 25 0 1 0 117082060 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1530/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.89
CPU time (s): 1800.3
CPU user time (s): 1796.29
CPU system time (s): 4.01439
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1800140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 4.01439
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449878
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= 12
involuntary context switches= 2517

runsolver used 1.90271 second user time and 3.9514 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Mon Apr 16 02:47:53 UTC 2007

IDJOB= 349254
IDBENCH= 2319
IDSOLVER= 163
FILE ID= node74/349254-1176691673

PBS_JOBID= 4559999

Free space on /tmp= 103223 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-349254-1176691673 -o ROOT/results/node74/solver-349254-1176691673 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c5d594af626243e56994c23d5a3c48e8

RANDOM SEED= 68122140

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1845936 kB
Buffers:         10300 kB
Cached:         113580 kB
SwapCached:       2668 kB
Active:          89224 kB
Inactive:        57868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845936 kB
SwapTotal:     4192956 kB
SwapFree:      4183704 kB
Dirty:            5176 kB
Writeback:           0 kB
Mapped:          29568 kB
Slab:            48652 kB
Committed_AS:  1930028 kB
PageTables:       1512 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103223 MiB

End job on node74 on Mon Apr 16 03:17:56 UTC 2007