Trace number 349269

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.23 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-swath3.opb
MD5SUM24a38adb0cf3d573eb3de1ce9ead1201
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 variables49335
Total number of constraints4902
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)209
Number of constraints which are nor clauses,nor cardinality constraints4693
Minimum length of a constraint1
Maximum length of a constraint46934
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824000000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4776342294353942
Number of bits of the biggest sum of numbers53
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/349269-1176692461/instance-349269-1176692461.opb
0.00/0.00	c File size is 4555091 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.19/0.27	c Coefficients are big enough for not using lower bounding.
0.29/0.38	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.40	c Coefficients are big enough for not using lower bounding.
0.29/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.50	c Coefficients are big enough for not using lower bounding.
0.39/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.50	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.51	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.53	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.54	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.55	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.56	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.57	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.58	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Coefficients are big enough for not using lower bounding.
0.49/0.60	c Coefficients are big enough for not using lower bounding.
0.49/0.60	c Coefficients are big enough for not using lower bounding.
0.49/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.79/0.90	c Highest Coefficient sum: 4.77634e+15
0.79/0.90	c Parsing was ok!!
0.79/0.90	c Total parsing time: 0.895 s
0.88/0.94	c Var: 49335 Constr: 5406 610/0/4796 Lit: 539508 Watch. Lit: 162484
0.88/0.94	c Obj. Vars: 31 (0.0628357 % of total variables)
180.95/181.10	c Pre-processing Time: 180.953 s
1799.99/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.63	c        0  47013     4412   532754  120   265001  500000      0      0 180.95
1799.99/1800.63	c      101  47013     4513   802046  177   395552  550001    101      0 200.96
1799.99/1800.63	c      253  47013     4665  1224164  262   395505  605002    253      1 205.81
1799.99/1800.63	c      478  47013     4890  1813866  370   395575  665503    478      2 230.12
1799.99/1800.63	c      817  47013     5229  2753920  526   395545  732054    817      3 239.42
1799.99/1800.63	c     1326  47013     5738  4163495  725   396489  805260   1326      5 251.37
1799.99/1800.63	c     2089  47013     6501  6272608  964   398063  885787   2089      7 261.39
1799.99/1800.63	c     3235  47013     7647  9434966 1233   400365  974366   3235     10 305.47
1799.99/1800.63	c     4956  47013     9368 14176233 1513   403859  500000   4956     14 348.67
1799.99/1800.63	c     7543  47013    11955 21294845 1781   409023  550001   7543     17 440.99
1799.99/1800.63	c    11422  47013    15834 31959353 2018   416838  605002  11422     19 584.09
1799.99/1800.63	c    17244  47013    21656 51440965 2375   429264  665503  17244     23 739.77
1799.99/1800.63	c    25985  47013    30397 85152962 2801   444622  732054  25985     25 1016.48
1799.99/1800.63	c    39095  47013    43507 95056467 2184   470375  805260  39095     22 1741.21
1799.99/1800.63	c Resources Exceeded
1799.99/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.63	c   13    39331   1321   333675    43743 95717528  39331     21 1800.03
1799.99/1800.63	s UNKNOWN
1799.99/1800.63	c Total time: 1800.03 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/node2/watcher-349269-1176692461 -o ROOT/results/node2/solver-349269-1176692461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.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.00 1.00 1.00 3/77 31703
/proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=16188 CPUtime=0
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 145283881 16576512 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 4047 338 282 324 0 2003 0

[startup+0.0225471 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31703
/proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=8960 CPUtime=0.01
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 543 0 0 0 1 0 0 0 18 0 1 0 145283881 9175040 511 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 2240 511 304 324 0 196 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8960

[startup+0.101554 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31703
/proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=12024 CPUtime=0.09
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 1451 0 0 0 9 0 0 0 18 0 1 0 145283881 12312576 1300 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 3006 1300 402 324 0 962 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12024

[startup+0.301576 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31703
/proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=14368 CPUtime=0.29
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 2677 0 0 0 28 1 0 0 19 0 1 0 145283881 14712832 2158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 3592 2158 658 324 0 1548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14368

[startup+0.701618 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31703
/proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=17632 CPUtime=0.69
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 4053 0 0 0 68 1 0 0 22 0 1 0 145283881 18055168 3485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 4408 3485 1188 324 0 2364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17632

[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31730
/proc/meminfo: memFree=1821632/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=24924 CPUtime=1.49
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7140 0 0 0 146 3 0 0 25 0 1 0 145283881 25522176 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6231 5459 306 324 0 5300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24924

[startup+3.10187 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31730
/proc/meminfo: memFree=1820736/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25056 CPUtime=3.09
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7145 0 0 0 306 3 0 0 25 0 1 0 145283881 25657344 5464 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6264 5464 306 324 0 5333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25056

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31770
/proc/meminfo: memFree=1820408/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25188 CPUtime=6.26
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7183 0 0 0 623 3 0 0 25 0 1 0 145283881 25792512 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6297 5502 306 324 0 5366 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 25188

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31778
/proc/meminfo: memFree=1820472/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25188 CPUtime=12.65
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7183 0 0 0 1262 3 0 0 25 0 1 0 145283881 25792512 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6297 5502 306 324 0 5366 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 25188

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31826
/proc/meminfo: memFree=1820664/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25188 CPUtime=25.42
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7193 0 0 0 2539 3 0 0 25 0 1 0 145283881 25792512 5512 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6297 5512 306 324 0 5366 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 25188

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 31878
/proc/meminfo: memFree=1820600/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25188 CPUtime=51
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7202 0 0 0 5096 4 0 0 25 0 1 0 145283881 25792512 5521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6297 5521 306 324 0 5366 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 25188

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1821680/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25452 CPUtime=102.17
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7249 0 0 0 10213 4 0 0 25 0 1 0 145283881 26062848 5568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6363 5568 306 324 0 5432 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 25452

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1821424/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=25584 CPUtime=162.15
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7282 0 0 0 16210 5 0 0 25 0 1 0 145283881 26198016 5601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 6396 5601 306 324 0 5465 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 25584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1807088/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=39784 CPUtime=222.13
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 10961 0 0 0 22203 10 0 0 25 0 1 0 145283881 40738816 9183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 9946 9183 311 324 0 9015 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 39784

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1723760/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=123204 CPUtime=282.11
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 31831 0 0 0 28189 22 0 0 25 0 1 0 145283881 126160896 30053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 30801 30053 311 324 0 29870 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 123204

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1649456/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=196956 CPUtime=342.1
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 50262 0 0 0 34179 31 0 0 25 0 1 0 145283881 201682944 48484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 49239 48484 311 324 0 48308 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 196956

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1585328/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=261228 CPUtime=402.08
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 66319 0 0 0 40169 39 0 0 25 0 1 0 145283881 267497472 64541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 65307 64541 311 324 0 64376 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 261228

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1537584/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=308660 CPUtime=462.06
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 78188 0 0 0 46161 45 0 0 25 0 1 0 145283881 316067840 76410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 77165 76410 311 324 0 76234 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 308660

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1476208/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=371052 CPUtime=522.04
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 93777 0 0 0 52152 52 0 0 25 0 1 0 145283881 379957248 91999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 92763 91999 311 324 0 91832 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 371052

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1419312/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=426880 CPUtime=582.03
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 107734 0 0 0 58143 60 0 0 25 0 1 0 145283881 437125120 105956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 106720 105956 311 324 0 105789 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 426880

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1386928/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=458688 CPUtime=642.01
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 115703 0 0 0 64137 64 0 0 25 0 1 0 145283881 469696512 113925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 114672 113925 311 324 0 113741 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 458688


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1135472/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=709276 CPUtime=881.94
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 178374 0 0 0 88097 97 0 0 25 0 1 0 145283881 726298624 176596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 177319 176596 311 324 0 176388 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 709276

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1103600/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=745680 CPUtime=941.93
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 187466 0 0 0 94087 106 0 0 25 0 1 0 145283881 763576320 185688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 186420 185688 311 324 0 185489 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 745680

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=812592/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1033092 CPUtime=1001.92
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 259330 0 0 0 100055 137 0 0 25 0 1 0 145283881 1057886208 257552 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 258273 257552 311 324 0 257342 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1033092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=733424/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1110416 CPUtime=1061.9
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 278659 0 0 0 106044 146 0 0 25 0 1 0 145283881 1137065984 276881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 277604 276881 311 324 0 276673 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1110416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=722416/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1121208 CPUtime=1121.87
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 281368 0 0 0 112039 148 0 0 25 0 1 0 145283881 1148116992 279590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 280302 279590 311 324 0 279371 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1121208

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=712240/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1131468 CPUtime=1181.86
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 283931 0 0 0 118036 150 0 0 25 0 1 0 145283881 1158623232 282153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 282867 282153 311 324 0 281936 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1131468

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=698416/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1145008 CPUtime=1241.85
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 287294 0 0 0 124032 153 0 0 25 0 1 0 145283881 1172488192 285516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 286252 285516 311 324 0 285321 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1145008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=687728/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1155548 CPUtime=1301.83
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 289932 0 0 0 130029 154 0 0 25 0 1 0 145283881 1183281152 288154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 288887 288154 311 324 0 287956 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1155548

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=676272/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1166836 CPUtime=1361.81
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 292777 0 0 0 136025 156 0 0 25 0 1 0 145283881 1194840064 290999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 291709 290999 311 324 0 290778 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1166836

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=663280/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1179688 CPUtime=1421.79
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 295991 0 0 0 142022 157 0 0 25 0 1 0 145283881 1208000512 294213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 294922 294213 311 324 0 293991 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1179688

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=654192/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1188920 CPUtime=1481.78
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 298295 0 0 0 148019 159 0 0 25 0 1 0 145283881 1217454080 296517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 297230 296517 311 324 0 296299 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1188920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=643312/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1199700 CPUtime=1541.76
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 300970 0 0 0 154014 162 0 0 25 0 1 0 145283881 1228492800 299192 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 299925 299192 311 324 0 298994 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1199700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=629488/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1213588 CPUtime=1601.75
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 304442 0 0 0 160010 165 0 0 25 0 1 0 145283881 1242714112 302664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 303397 302664 311 324 0 302466 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1213588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=620464/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1222284 CPUtime=1661.72
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 306634 0 0 0 166006 166 0 0 25 0 1 0 145283881 1251618816 304856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 305571 304856 311 324 0 304640 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1222284

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=612208/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1230588 CPUtime=1721.71
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 308700 0 0 0 172003 168 0 0 25 0 1 0 145283881 1260122112 306922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 307647 306922 311 324 0 306716 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1230588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=606128/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=1236476 CPUtime=1781.7
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 310184 0 0 0 177998 172 0 0 25 0 1 0 145283881 1266151424 308406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 309119 308406 311 324 0 308188 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1236476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1040048/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=0 CPUtime=1800.1
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194308 311431 0 0 0 179830 180 0 0 25 0 1 0 145283881 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31902
/proc/meminfo: memFree=1040048/2055920 swapFree=4147232/4192956
[pid=31703] ppid=31701 vsize=0 CPUtime=1800.2
/proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194308 311431 0 0 0 179830 190 0 0 25 0 1 0 145283881 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31703/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.23
CPU user time (s): 1798.3
CPU system time (s): 1.92671
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1241492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 1.92671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311431
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= 3864

runsolver used 2.16167 second user time and 4.15737 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Mon Apr 16 03:01:01 UTC 2007

IDJOB= 349269
IDBENCH= 2326
IDSOLVER= 163
FILE ID= node2/349269-1176692461

PBS_JOBID= 4559410

Free space on /tmp= 66527 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-swath3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-349269-1176692461 -o ROOT/results/node2/solver-349269-1176692461 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  24a38adb0cf3d573eb3de1ce9ead1201

RANDOM SEED= 133431411

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1843536 kB
Buffers:         12944 kB
Cached:         119652 kB
SwapCached:      14488 kB
Active:          64228 kB
Inactive:       104820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843536 kB
SwapTotal:     4192956 kB
SwapFree:      4147232 kB
Dirty:            8928 kB
Writeback:           0 kB
Mapped:          43032 kB
Slab:            28772 kB
Committed_AS:  7042048 kB
PageTables:       1892 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= 66527 MiB

End job on node2 on Mon Apr 16 03:31:04 UTC 2007