Trace number 349494

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.11 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg.opb
MD5SUM4f19aa044e880280faec0077a2509ba8
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 variables4890
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints363
Minimum length of a constraint30
Maximum length of a constraint540
Number of terms in the objective function 3930
Biggest coefficient in the objective function 5373004087296
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 556141355997381
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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.14	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.14	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.14	c type "bsolo -h" for help
0.00/0.14	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.14	c Time Limit set to 1800
0.00/0.14	c Memory Limit set to 1800 MB
0.00/0.14	c Instance file /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb
0.00/0.14	c File size is 783503 bytes.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.16	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.17	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.18	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.19	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.00/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.20	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.21	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.22	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.23	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.24	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.25	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Coefficients are big enough for not using lower bounding.
0.05/0.26	c Highest Coefficient sum: 4.6272e+16
0.05/0.26	c Parsing was ok!!
0.05/0.26	c Total parsing time: 0.111 s
0.05/0.26	c Var: 4890 Constr: 399 6/0/393 Lit: 56430 Watch. Lit: 31202
0.05/0.26	c Obj. Vars: 3930 (80.3681 % of total variables)
0.15/0.38	c Pre-processing Time: 0.234 s
1799.95/1800.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.76	c        0   2992      175    30930  176    23540   61860      0      0 0.23
1799.95/1800.76	c      101   2992      276    37051  134    24858   68047    101    399 0.25
1799.95/1800.76	c      251   2992      426    50771  119    25900   74852    251    874 0.29
1799.95/1800.76	c      476   2992      651    74393  114    26532   82338    476    950 0.50
1799.95/1800.76	c      815   2992      990   101019  102    27178   90572    815    815 1.00
1799.95/1800.76	c     1325   2992     1500   132970   88    28260   99630   1325    923 1.43
1799.95/1800.76	c     2088   2992     2263   269147  118    29633  109594   2088   1290 1.62
1799.95/1800.76	c     3234   2992     3409   357143  104    31629  120554   3234   1684 1.92
1799.95/1800.76	c     4955   2992     5130   618011  120    35129  132610   4955   2067 2.40
1799.95/1800.76	c     7540   2992     7715   858460  111    40372  145872   7540   2271 3.32
1799.95/1800.76	c    11420   2992    11595  1785632  154    47918  160460  11420   2304 4.96
1799.95/1800.76	c    17243   2992    17418  3136293  180    59531  176507  17243   2377 7.25
1799.95/1800.76	c    25981   2992    26156  5134942  196    76981  194158  25981   2296 11.31
1799.95/1800.76	c    39092   2992    39267  9280399  236   102896  213574  39092   1068 36.58
1799.95/1800.76	c    58763   2992    58938 11667346  197   142219  234932  58763    961 61.10
1799.95/1800.76	c    88275   2991    88450 14412005  162   201043  258426  88275   1060 83.26
1799.95/1800.76	c   132546   2991   132721 17347047  130   289574  284269 132546    746 177.54
1799.95/1800.76	c   198957   2991   199132 23807388  119   422331  312696 198957    756 263.09
1799.95/1800.76	c   298577   2991   298752 42928793  143   621579  343966 298577    174 1707.17
1799.95/1800.76	c Resources Exceeded
1799.95/1800.76	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.76	c   18   310707   2874   337153   310882 45297812 310707    172 1800.00
1799.95/1800.76	s UNKNOWN
1799.95/1800.76	c Total time: 1800 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/node70/watcher-349494-1176703041 -o ROOT/results/node70/solver-349494-1176703041 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.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.30 1.10 1.03 3/64 1720
/proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=18568 CPUtime=0
/proc/1720/stat : 1720 (runsolver) D 1718 1720 577 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 109841441 19013632 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 233402068263 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/1720/statm: 4642 292 257 24 0 2626 0

[startup+0.0448459 s]
/proc/loadavg: 1.30 1.10 1.03 3/64 1720
/proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=2380 CPUtime=0
/proc/1720/stat : 1720 (bsolo3.0.16) D 1718 1720 577 0 -1 4194304 52 0 2 0 0 0 0 0 18 0 1 0 109841441 2437120 37 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8413988 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/1720/statm: 595 37 29 324 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2380

[startup+0.102851 s]
/proc/loadavg: 1.30 1.10 1.03 3/64 1720
/proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=2560 CPUtime=0
/proc/1720/stat : 1720 (bsolo3.0.16) D 1718 1720 577 0 -1 4194304 59 0 3 0 0 0 0 0 18 0 1 0 109841441 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8414116 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/1720/statm: 640 45 35 324 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2560

[startup+0.302869 s]
/proc/loadavg: 1.30 1.10 1.03 3/64 1720
/proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=6372 CPUtime=0.15
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1147 0 17 0 14 1 0 0 19 0 1 0 109841441 6524928 940 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 1593 940 306 324 0 662 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 6372

[startup+0.702909 s]
/proc/loadavg: 1.30 1.10 1.03 3/64 1720
/proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=6400 CPUtime=0.54
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1198 0 17 0 53 1 0 0 21 0 1 0 109841441 6553600 985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 1600 985 312 324 0 669 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 6400

[startup+1.50199 s]
/proc/loadavg: 1.30 1.10 1.03 2/65 1721
/proc/meminfo: memFree=1980008/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=6924 CPUtime=1.34
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1323 0 17 0 133 1 0 0 25 0 1 0 109841441 7090176 1110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 1731 1110 312 324 0 800 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 6924

[startup+3.10115 s]
/proc/loadavg: 1.30 1.10 1.03 2/65 1721
/proc/meminfo: memFree=1975848/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=16108 CPUtime=2.94
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 3594 0 17 0 291 3 0 0 25 0 1 0 109841441 16494592 3381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 4027 3381 312 324 0 3096 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 16108

[startup+6.30147 s]
/proc/loadavg: 1.28 1.10 1.03 2/65 1721
/proc/meminfo: memFree=1953576/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=39772 CPUtime=6.14
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 9531 0 17 0 608 6 0 0 25 0 1 0 109841441 40726528 9318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 9943 9318 312 324 0 9012 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 39772

[startup+12.7011 s]
/proc/loadavg: 1.25 1.10 1.03 2/65 1721
/proc/meminfo: memFree=1912056/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=75544 CPUtime=12.55
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 18481 0 17 0 1244 11 0 0 25 0 1 0 109841441 77357056 18268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 18886 18268 312 324 0 17955 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 75544

[startup+25.5014 s]
/proc/loadavg: 1.20 1.09 1.02 2/65 1721
/proc/meminfo: memFree=1874040/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=113096 CPUtime=25.33
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 27864 0 17 0 2517 16 0 0 25 0 1 0 109841441 115810304 27651 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 28274 27651 312 324 0 27343 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 113096

[startup+51.102 s]
/proc/loadavg: 1.13 1.08 1.02 2/65 1721
/proc/meminfo: memFree=1836472/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=150928 CPUtime=50.92
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 37313 0 17 0 5068 24 0 0 25 0 1 0 109841441 154550272 37100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 37732 37100 312 324 0 36801 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 150928

[startup+102.305 s]
/proc/loadavg: 1.05 1.07 1.02 2/65 1721
/proc/meminfo: memFree=1770808/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=215800 CPUtime=102.1
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 53543 0 17 0 10170 40 0 0 25 0 1 0 109841441 220979200 53330 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 53950 53330 312 324 0 53019 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 215800

[startup+162.301 s]
/proc/loadavg: 1.02 1.05 1.01 2/65 1721
/proc/meminfo: memFree=1749816/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=236884 CPUtime=162.09
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 58795 0 17 0 16160 49 0 0 25 0 1 0 109841441 242569216 58582 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 59221 58582 312 324 0 58290 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 236884

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/71 1748
/proc/meminfo: memFree=1711864/2055920 swapFree=4176664/4192956
[pid=1720] ppid=1718 vsize=272744 CPUtime=222.06
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 67764 0 17 0 22145 61 0 0 25 0 1 0 109841441 279289856 67551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 68186 67551 312 324 0 67255 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 272744

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 1929
/proc/meminfo: memFree=1624992/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=360428 CPUtime=281.96
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 89698 0 17 0 28111 85 0 0 25 0 1 0 109841441 369078272 89485 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 90107 89485 312 324 0 89176 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 360428

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1929
/proc/meminfo: memFree=1590968/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=393884 CPUtime=341.94
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 98059 0 17 0 34097 97 0 0 25 0 1 0 109841441 403337216 97846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 98471 97846 312 324 0 97540 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 393884

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1929
/proc/meminfo: memFree=1570680/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=414172 CPUtime=401.93
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 103130 0 17 0 40089 104 0 0 25 0 1 0 109841441 424112128 102917 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8847058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 103543 102917 312 324 0 102612 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 414172

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1929
/proc/meminfo: memFree=1555384/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=429336 CPUtime=461.9
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 106915 0 17 0 46081 109 0 0 25 0 1 0 109841441 439640064 106702 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 107334 106702 312 324 0 106403 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 429336

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1929
/proc/meminfo: memFree=1543288/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=441664 CPUtime=521.9
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 109996 0 17 0 52076 114 0 0 25 0 1 0 109841441 452263936 109783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 110416 109783 312 324 0 109485 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 441664

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1532032/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=452724 CPUtime=581.88
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 112776 0 17 0 58070 118 0 0 25 0 1 0 109841441 463589376 112563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 113181 112563 312 324 0 112250 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 452724

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1521920/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=462752 CPUtime=641.86
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 115282 0 17 0 64065 121 0 0 25 0 1 0 109841441 473858048 115069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 115688 115069 312 324 0 114757 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 462752


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1494720/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=489860 CPUtime=821.81
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 122063 0 17 0 82050 131 0 0 25 0 1 0 109841441 501616640 121850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 122465 121850 312 324 0 121534 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 489860

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1486144/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=498340 CPUtime=881.8
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 124178 0 17 0 88046 134 0 0 25 0 1 0 109841441 510300160 123965 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 124585 123965 312 324 0 123654 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 498340

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1478208/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=506312 CPUtime=941.78
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 126166 0 17 0 94040 138 0 0 25 0 1 0 109841441 518463488 125953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 126578 125953 312 324 0 125647 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 506312

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1470016/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=514420 CPUtime=1001.76
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 128187 0 17 0 100035 141 0 0 25 0 1 0 109841441 526766080 127974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 128605 127974 312 324 0 127674 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 514420

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1462912/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=521620 CPUtime=1061.75
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 129984 0 17 0 106030 145 0 0 25 0 1 0 109841441 534138880 129771 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 130405 129771 312 324 0 129474 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 521620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1455808/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=528564 CPUtime=1121.73
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 131735 0 17 0 112025 148 0 0 25 0 1 0 109841441 541249536 131522 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 132141 131522 312 324 0 131210 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 528564

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1449024/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=535368 CPUtime=1181.71
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 133434 0 17 0 118020 151 0 0 25 0 1 0 109841441 548216832 133221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 133842 133221 312 324 0 132911 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 535368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1442816/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=541556 CPUtime=1241.69
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 134973 0 17 0 124016 153 0 0 25 0 1 0 109841441 554553344 134760 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 135389 134760 312 324 0 134458 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 541556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1436544/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=547740 CPUtime=1301.68
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 136524 0 17 0 130012 156 0 0 25 0 1 0 109841441 560885760 136311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 136935 136311 312 324 0 136004 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 547740

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1430656/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=553660 CPUtime=1361.66
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 138009 0 17 0 136008 158 0 0 25 0 1 0 109841441 566947840 137796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 138415 137796 312 324 0 137484 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 553660

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1424640/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=559576 CPUtime=1421.65
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 139485 0 17 0 142005 160 0 0 25 0 1 0 109841441 573005824 139272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 139894 139272 312 324 0 138963 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 559576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1419008/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=565228 CPUtime=1481.63
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 140892 0 17 0 148001 162 0 0 25 0 1 0 109841441 578793472 140679 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 141307 140679 312 324 0 140376 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 565228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1413440/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=570636 CPUtime=1541.61
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 142258 0 17 0 153997 164 0 0 25 0 1 0 109841441 584331264 142045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 142659 142045 312 324 0 141728 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 570636

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1408064/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=576164 CPUtime=1601.6
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 143612 0 17 0 159993 167 0 0 25 0 1 0 109841441 589991936 143399 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 144041 143399 312 324 0 143110 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 576164

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1402944/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=581188 CPUtime=1661.57
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 144867 0 17 0 165989 168 0 0 25 0 1 0 109841441 595136512 144654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 145297 144654 312 324 0 144366 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 581188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1394048/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=590332 CPUtime=1721.56
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 147155 0 17 0 171984 172 0 0 25 0 1 0 109841441 604499968 146942 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 147583 146942 312 324 0 146652 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 590332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1373504/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=610556 CPUtime=1781.54
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 152230 0 17 0 177976 178 0 0 25 0 1 0 109841441 625209344 152017 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 152639 152017 312 324 0 151708 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 610556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1929
/proc/meminfo: memFree=1622528/2055920 swapFree=4176688/4192956
[pid=1720] ppid=1718 vsize=0 CPUtime=1800.04
/proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194308 153665 0 17 0 179820 184 0 0 25 0 1 0 109841441 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1720/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

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.86
CPU time (s): 1800.11
CPU user time (s): 1798.21
CPU system time (s): 1.89871
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 616344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 1.89871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153665
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 4973

runsolver used 1.19982 second user time and 3.78642 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Mon Apr 16 05:57:21 UTC 2007

IDJOB= 349494
IDBENCH= 2457
IDSOLVER= 163
FILE ID= node70/349494-1176703041

PBS_JOBID= 4560016

Free space on /tmp= 66545 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-349494-1176703041 -o ROOT/results/node70/solver-349494-1176703041 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  4f19aa044e880280faec0077a2509ba8

RANDOM SEED= 790517776

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1985416 kB
Buffers:          2280 kB
Cached:          25000 kB
SwapCached:       5496 kB
Active:          17040 kB
Inactive:        16776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1985416 kB
SwapTotal:     4192956 kB
SwapFree:      4176664 kB
Dirty:            5912 kB
Writeback:           0 kB
Mapped:          10064 kB
Slab:            22748 kB
Committed_AS:  2396700 kB
PageTables:       1400 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= 66545 MiB

End job on node70 on Mon Apr 16 06:27:24 UTC 2007