Trace number 3378866

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-industrial (fixed)UNSAT 130.801 70.7289

General information on the benchmark

Nameindustrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
MD5SUM3b8c6114a974b09e9b1601ba0718cbf3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.5654
Satisfiable
(Un)Satisfiability was proved
Number of variables135534
Number of clauses905980
Sum of the clauses size2447966
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2771665
Number of clauses of size 3128198
Number of clauses of size 41424
Number of clauses of size 579
Number of clauses of size over 54489

Solver Data 

0.34/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.34/0.69	c INFO: solving HOME/instance-3378866-1305463297.cnf
0.34/0.69	c INFO: computing task features
3.41/3.75	c INFO: computed variable-clause graph statistics
4.32/4.66	c INFO: computed clause balance statistics
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.66	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
4.32/4.67	Warning: invalid value encountered in divide
17.12/17.43	c INFO: computed variable balance statistics
26.62/26.90	c INFO: computed small-clause counts
26.72/27.07	c INFO: computed Horn-clause counts
50.12/50.40	c INFO: computed variable graph statistics
50.12/50.40	c INFO: collected features for HOME/instance-3378866-1305463297.cnf in 49.61 s
50.12/50.41	c INFO: running precosat-570@0 for 97 with 1150 remaining (b = nan)
50.12/50.42	c INFO: running precosat-570@0 for 97 with 1150 remaining (b = nan)
50.12/50.44	c INFO: running precosat-570@0 for 97 with 1150 remaining (b = nan)
50.12/50.45	c INFO: running precosat-570@0 for 97 with 1150 remaining (b = nan)
130.42/70.67	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378866-1305463297/watcher-3378866-1305463297 -o /tmp/evaluation-result-3378866-1305463297/solver-3378866-1305463297 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378866-1305463297.cnf -seed 677299579 -budget 4800 -cores 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.03 1.73 3/406 23725
/proc/meminfo: memFree=22220780/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 895 0 0 0 0 0 0 0 17 0 1 0 736560244 16158720 777 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/23725/statm: 3945 777 343 364 0 432 0

[startup+0.0331329 s]
/proc/loadavg: 0.92 1.03 1.73 3/406 23725
/proc/meminfo: memFree=22220780/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=16540 CPUtime=0.02 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 1185 0 0 0 1 1 0 0 17 0 1 0 736560244 16936960 1046 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/23725/statm: 4135 1046 417 364 0 622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16540

[startup+0.101126 s]
/proc/loadavg: 0.92 1.03 1.73 3/406 23725
/proc/meminfo: memFree=22220780/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=85624 CPUtime=0.07 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 2630 0 0 0 4 3 0 0 17 0 1 0 736560244 87678976 2348 33554432000 4194304 5683644 140736142190544 18446744073709551615 252453142151 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 21406 2348 713 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85624

[startup+0.30105 s]
/proc/loadavg: 0.92 1.03 1.73 3/406 23725
/proc/meminfo: memFree=22220780/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=135752 CPUtime=0.2 cores=1,3,5,7
/proc/23725/stat : 23725 (python) D 23723 23725 23693 0 -1 4202496 5960 933 1 0 13 7 0 0 17 0 1 0 736560244 139010048 4150 33554432000 4194304 5683644 140736142190544 18446744073709551615 252457871131 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 135752

[startup+0.70096 s]
/proc/loadavg: 0.92 1.03 1.73 3/406 23725
/proc/meminfo: memFree=22220780/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=294692 CPUtime=0.41 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 9710 933 1 0 26 15 0 0 15 0 1 0 736560244 301764608 7393 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458065664 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 73673 7412 1758 364 0 9597 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 294692

[startup+1.5008 s]
/proc/loadavg: 1.01 1.05 1.73 3/410 23740
/proc/meminfo: memFree=22105292/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=347336 CPUtime=1.22 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 26097 933 1 0 104 18 0 0 16 0 1 0 736560244 355672064 23780 33554432000 4194304 5683644 140736142190544 18446744073709551615 252457726661 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 86834 23780 1761 364 0 22758 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 347336

[startup+3.10051 s]
/proc/loadavg: 1.01 1.05 1.73 3/410 23740
/proc/meminfo: memFree=21930328/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=447648 CPUtime=2.81 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 50553 933 1 0 260 21 0 0 18 0 1 0 736560244 458391552 48236 33554432000 4194304 5683644 140736142190544 18446744073709551615 47140479347397 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 111912 48237 1761 364 0 47836 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 447648

[startup+6.30091 s]
/proc/loadavg: 1.01 1.05 1.73 3/410 23740
/proc/meminfo: memFree=21628184/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=478352 CPUtime=6.02 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 81929 933 1 0 577 25 0 0 25 0 1 0 736560244 489832448 56974 33554432000 4194304 5683644 140736142190544 18446744073709551615 47140479246486 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 119588 56974 1828 364 0 55512 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 478352

[startup+12.7007 s]
/proc/loadavg: 1.16 1.08 1.73 3/410 23740
/proc/meminfo: memFree=21627412/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=478352 CPUtime=12.42 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 81929 933 1 0 1217 25 0 0 25 0 1 0 736560244 489832448 56974 33554432000 4194304 5683644 140736142190544 18446744073709551615 4862016 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 119588 56974 1828 364 0 55512 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 478352

[startup+25.5003 s]
/proc/loadavg: 1.29 1.11 1.73 3/410 23740
/proc/meminfo: memFree=21628388/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=478352 CPUtime=25.22 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 81930 933 1 0 2497 25 0 0 25 0 1 0 736560244 489832448 56975 33554432000 4194304 5683644 140736142190544 18446744073709551615 252457724725 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23725/statm: 119588 56975 1829 364 0 55512 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 478352

[startup+51.1015 s]
/proc/loadavg: 1.53 1.18 1.74 6/422 23753
/proc/meminfo: memFree=21413628/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 736565285 473989120 51618 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 2743896692351827967 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51618 346 364 0 51638 0
[pid=23746] ppid=23742 vsize=77668 CPUtime=0.65 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 18167 0 0 0 64 1 0 0 20 0 1 0 736565287 79532032 17902 33554432000 4194304 4890832 140735304393456 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 19417 17902 65 171 0 19244 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 728 0 0 0 0 0 0 0 20 0 1 0 736565286 484491264 51619 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 16734662911435210751 0 0 17 5 0 0 0
/proc/23744/statm: 118284 51619 343 364 0 54199 0
[pid=23748] ppid=23744 vsize=77272 CPUtime=0.64 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 18073 0 0 0 62 2 0 0 24 0 1 0 736565288 79126528 17805 33554432000 4194304 4890832 140735259419472 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 19318 17806 65 171 0 19145 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 688 0 0 0 0 0 0 0 18 0 1 0 736565288 562102272 51741 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 8595075088032727039 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51741 344 364 0 73144 0
[pid=23750] ppid=23747 vsize=76348 CPUtime=0.62 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 17845 0 0 0 60 2 0 0 21 0 1 0 736565289 78180352 17593 33554432000 4194304 4890832 140737255342160 18446744073709551615 4261716 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 19087 17593 65 171 0 18914 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 696 0 0 0 0 0 0 0 19 0 1 0 736565289 572604416 51716 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 10469814981158240255 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51716 344 364 0 75705 0
[pid=23753] ppid=23751 vsize=76744 CPUtime=0.62 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 17924 0 0 0 60 2 0 0 22 0 1 0 736565290 78585856 17672 33554432000 4194304 4890832 140733547399216 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 19186 17673 65 171 0 19013 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.7
Current children cumulated vsize (KiB) 2921588

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

[startup+51.2015 s]
/proc/loadavg: 1.53 1.18 1.74 6/422 23753
/proc/meminfo: memFree=21413628/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 736565285 473989120 51618 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 2743896692351827967 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51618 346 364 0 51638 0
[pid=23746] ppid=23742 vsize=79924 CPUtime=0.76 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 18741 0 0 0 74 2 0 0 21 0 1 0 736565287 81842176 18476 33554432000 4194304 4890832 140735304393456 18446744073709551615 4261324 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 19981 18476 65 171 0 19808 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 728 0 0 0 0 0 0 0 20 0 1 0 736565286 484491264 51619 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 16734662911435210751 0 0 17 5 0 0 0
/proc/23744/statm: 118284 51619 343 364 0 54199 0
[pid=23748] ppid=23744 vsize=79660 CPUtime=0.75 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 18676 0 0 0 72 3 0 0 25 0 1 0 736565288 81571840 18408 33554432000 4194304 4890832 140735259419472 18446744073709551615 4261312 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 19915 18408 65 171 0 19742 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 688 0 0 0 0 0 0 0 18 0 1 0 736565288 562102272 51741 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 8595075088032727039 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51741 344 364 0 73144 0
[pid=23750] ppid=23747 vsize=78868 CPUtime=0.72 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 18458 0 0 0 70 2 0 0 21 0 1 0 736565289 80760832 18206 33554432000 4194304 4890832 140737255342160 18446744073709551615 4261710 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 19717 18206 65 171 0 19544 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 696 0 0 0 0 0 0 0 19 0 1 0 736565289 572604416 51716 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 10469814981158240255 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51716 344 364 0 75705 0
[pid=23753] ppid=23751 vsize=79132 CPUtime=0.72 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 18529 0 0 0 70 2 0 0 22 0 1 0 736565290 81031168 18277 33554432000 4194304 4890832 140733547399216 18446744073709551615 4487008 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 19783 18278 65 171 0 19610 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 53.12
Current children cumulated vsize (KiB) 2931140

[startup+64.0011 s]
/proc/loadavg: 2.30 1.36 1.79 6/422 23753
/proc/meminfo: memFree=20800516/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0.04 cores=1,3,5,7

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

[pid=23742] ppid=23725 vsize=462880 CPUtime=0.06 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 736565285 473989120 51648 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 13581290771591430406 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51648 376 364 0 51638 0
[pid=23746] ppid=23742 vsize=218532 CPUtime=18.23 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 53735 0 0 0 1817 6 0 0 25 0 1 0 736565287 223776768 51331 33554432000 4194304 4890832 140735304393456 18446744073709551615 4236098 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 54633 51331 86 171 0 54460 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0.05 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 913 0 0 0 1 4 0 0 18 0 1 0 736565286 484491264 51646 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23744/statm: 118284 51646 370 364 0 54199 0
[pid=23748] ppid=23744 vsize=223100 CPUtime=18.24 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 54866 0 0 0 1816 8 0 0 25 0 1 0 736565288 228454400 52459 33554432000 4194304 4890832 140735259419472 18446744073709551615 4241455 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 55775 52459 86 171 0 55602 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0.05 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 783 0 0 0 2 3 0 0 18 0 1 0 736565288 562102272 51768 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430404 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51768 371 364 0 73144 0
[pid=23750] ppid=23747 vsize=218860 CPUtime=18.08 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 53832 0 0 0 1802 6 0 0 25 0 1 0 736565289 224112640 51441 33554432000 4194304 4890832 140737255342160 18446744073709551615 4297824 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 54715 51441 86 171 0 54542 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0.05 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 792 0 0 0 2 3 0 0 18 0 1 0 736565289 572604416 51743 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51743 371 364 0 75705 0
[pid=23753] ppid=23751 vsize=221628 CPUtime=18.33 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 54480 0 0 0 1823 10 0 0 25 0 1 0 736565290 226947072 52089 33554432000 4194304 4890832 140733547399216 18446744073709551615 4295802 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 55407 52089 86 171 0 55234 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 123.26
Current children cumulated vsize (KiB) 3495676

[startup+69.6011 s]
/proc/loadavg: 2.51 1.42 1.81 6/422 23753
/proc/meminfo: memFree=20799152/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0.06 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 736565285 473989120 51648 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 13581290771591430406 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51648 376 364 0 51638 0
[pid=23746] ppid=23742 vsize=218532 CPUtime=19.03 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 53735 0 0 0 1897 6 0 0 25 0 1 0 736565287 223776768 51331 33554432000 4194304 4890832 140735304393456 18446744073709551615 4238592 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 54633 51331 86 171 0 54460 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0.05 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 913 0 0 0 1 4 0 0 18 0 1 0 736565286 484491264 51646 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23744/statm: 118284 51646 370 364 0 54199 0
[pid=23748] ppid=23744 vsize=223100 CPUtime=19.04 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 54866 0 0 0 1896 8 0 0 25 0 1 0 736565288 228454400 52459 33554432000 4194304 4890832 140735259419472 18446744073709551615 4295221 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 55775 52459 86 171 0 55602 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0.05 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 783 0 0 0 2 3 0 0 18 0 1 0 736565288 562102272 51768 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430404 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51768 371 364 0 73144 0
[pid=23750] ppid=23747 vsize=218860 CPUtime=18.86 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 53832 0 0 0 1880 6 0 0 25 0 1 0 736565289 224112640 51441 33554432000 4194304 4890832 140737255342160 18446744073709551615 4213019 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 54715 51441 86 171 0 54542 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0.05 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 792 0 0 0 2 3 0 0 18 0 1 0 736565289 572604416 51743 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51743 371 364 0 75705 0
[pid=23753] ppid=23751 vsize=221628 CPUtime=19.13 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 54480 0 0 0 1903 10 0 0 25 0 1 0 736565290 226947072 52089 33554432000 4194304 4890832 140733547399216 18446744073709551615 4212851 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 55407 52089 86 171 0 55234 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 126.44
Current children cumulated vsize (KiB) 3495676

[startup+70.4009 s]
/proc/loadavg: 2.51 1.42 1.81 6/422 23753
/proc/meminfo: memFree=20799152/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0.06 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 736565285 473989120 51648 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 13581290771591430406 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51648 376 364 0 51638 0
[pid=23746] ppid=23742 vsize=218532 CPUtime=19.84 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 53735 0 0 0 1978 6 0 0 25 0 1 0 736565287 223776768 51331 33554432000 4194304 4890832 140735304393456 18446744073709551615 4229292 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 54633 51331 86 171 0 54460 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0.05 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 913 0 0 0 1 4 0 0 18 0 1 0 736565286 484491264 51646 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23744/statm: 118284 51646 370 364 0 54199 0
[pid=23748] ppid=23744 vsize=223100 CPUtime=19.85 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 54866 0 0 0 1977 8 0 0 25 0 1 0 736565288 228454400 52459 33554432000 4194304 4890832 140735259419472 18446744073709551615 4238904 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 55775 52459 86 171 0 55602 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0.05 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 783 0 0 0 2 3 0 0 18 0 1 0 736565288 562102272 51768 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430404 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51768 371 364 0 73144 0
[pid=23750] ppid=23747 vsize=218860 CPUtime=19.66 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 53832 0 0 0 1960 6 0 0 25 0 1 0 736565289 224112640 51441 33554432000 4194304 4890832 140737255342160 18446744073709551615 4229292 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 54715 51441 86 171 0 54542 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0.05 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 792 0 0 0 2 3 0 0 18 0 1 0 736565289 572604416 51743 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51743 371 364 0 75705 0
[pid=23753] ppid=23751 vsize=221628 CPUtime=19.94 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 54480 0 0 0 1984 10 0 0 25 0 1 0 736565290 226947072 52089 33554432000 4194304 4890832 140733547399216 18446744073709551615 4237260 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 55407 52089 86 171 0 55234 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 129.67
Current children cumulated vsize (KiB) 3495676

[startup+70.6009 s]
/proc/loadavg: 2.51 1.42 1.81 6/422 23753
/proc/meminfo: memFree=20799152/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569428 CPUtime=50.17 cores=1,3,5,7
/proc/23725/stat : 23725 (python) S 23723 23725 23693 0 -1 4202496 84364 933 1 0 4990 27 0 0 19 0 5 0 736560244 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23725/statm: 142357 53251 1875 364 0 78266 0
[pid=23742] ppid=23725 vsize=462880 CPUtime=0.06 cores=1,3,5,7
/proc/23742/stat : 23742 (python) S 23725 23725 23693 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 736565285 473989120 51648 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085903 0 0 16781312 514 13581290771591430406 0 0 17 5 0 0 0
/proc/23742/statm: 115720 51648 376 364 0 51638 0
[pid=23746] ppid=23742 vsize=218532 CPUtime=20.02 cores=1,3,5,7
/proc/23746/stat : 23746 (precosat) R 23742 23746 23746 0 -1 4202496 53735 0 0 0 1996 6 0 0 25 0 1 0 736565287 223776768 51331 33554432000 4194304 4890832 140735304393456 18446744073709551615 4238686 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/23746/statm: 54633 51331 86 171 0 54460 0
[pid=23744] ppid=23725 vsize=473136 CPUtime=0.05 cores=1,3,5,7
/proc/23744/stat : 23744 (python) S 23725 23725 23693 0 -1 4202560 913 0 0 0 1 4 0 0 18 0 1 0 736565286 484491264 51646 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23744/statm: 118284 51646 370 364 0 54199 0
[pid=23748] ppid=23744 vsize=223100 CPUtime=20.04 cores=1,3,5,7
/proc/23748/stat : 23748 (precosat) R 23744 23748 23748 0 -1 4202496 54866 0 0 0 1996 8 0 0 25 0 1 0 736565288 228454400 52459 33554432000 4194304 4890832 140735259419472 18446744073709551615 4212935 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23748/statm: 55775 52459 86 171 0 55602 0
[pid=23747] ppid=23725 vsize=548928 CPUtime=0.05 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23725 23725 23693 0 -1 4202560 783 0 0 0 2 3 0 0 18 0 1 0 736565288 562102272 51768 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430404 0 0 17 5 0 0 0
/proc/23747/statm: 137232 51768 371 364 0 73144 0
[pid=23750] ppid=23747 vsize=218860 CPUtime=19.85 cores=1,3,5,7
/proc/23750/stat : 23750 (precosat) R 23747 23750 23750 0 -1 4202496 53832 0 0 0 1979 6 0 0 25 0 1 0 736565289 224112640 51441 33554432000 4194304 4890832 140737255342160 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/23750/statm: 54715 51441 86 171 0 54542 0
[pid=23751] ppid=23725 vsize=559184 CPUtime=0.05 cores=1,3,5,7
/proc/23751/stat : 23751 (python) S 23725 23725 23693 0 -1 4202560 792 0 0 0 2 3 0 0 18 0 1 0 736565289 572604416 51743 33554432000 4194304 5683644 140736142190544 18446744073709551615 252458085958 0 0 16781312 514 13581290771591430407 0 0 17 1 0 0 0
/proc/23751/statm: 139796 51743 371 364 0 75705 0
[pid=23753] ppid=23751 vsize=221628 CPUtime=20.13 cores=1,3,5,7
/proc/23753/stat : 23753 (precosat) R 23751 23753 23753 0 -1 4202496 54480 0 0 0 2003 10 0 0 25 0 1 0 736565290 226947072 52089 33554432000 4194304 4890832 140733547399216 18446744073709551615 4238686 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/23753/statm: 55407 52089 86 171 0 55234 0
[pid=23725/tid=23743] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 5 0 736565286 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23745] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23745/stat : 23745 (python) S 23723 23725 23693 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 5 0 736565287 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 68 933 0 0 0 0 0 0 19 0 5 0 736565288 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23752] ppid=23723 vsize=569428 CPUtime=0 cores=1,3,5,7
/proc/23725/task/23752/stat : 23752 (python) S 23723 23725 23693 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 5 0 736565290 583094272 53251 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 2 18446604469062132160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 130.42
Current children cumulated vsize (KiB) 3495676

[startup+70.7009 s]
/proc/loadavg: 2.51 1.42 1.81 6/422 23753
/proc/meminfo: memFree=20799152/32951124 swapFree=59305804/67111528
[pid=23725] ppid=23723 vsize=569368 CPUtime=130.75 cores=1,3,5,7
/proc/23725/stat : 23725 (python) R 23723 23725 23693 0 -1 4202496 99366 221647 1 0 4991 28 8005 51 17 0 3 0 736560244 583032832 53230 33554432000 4194304 5683644 140736142190544 18446744073709551615 252457721271 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/23725/statm: 142342 53230 1867 364 0 78266 0
[pid=23725/tid=23743] ppid=23723 vsize=569368 CPUtime=80.56 cores=1,3,5,7
/proc/23725/task/23743/stat : 23743 (python) S 23723 23725 23693 0 -1 4202560 39 221647 0 0 0 0 8005 51 18 0 3 0 736565286 583032832 53230 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 0 18446604469062132160 0 0 -1 5 0 0 0
[pid=23725/tid=23749] ppid=23723 vsize=569368 CPUtime=80.56 cores=1,3,5,7
/proc/23725/task/23749/stat : 23749 (python) S 23723 23725 23693 0 -1 4202560 69 221647 0 0 0 0 8005 51 18 0 3 0 736565288 583032832 53230 33554432000 4194304 5683644 140736142190544 18446744073709551615 252469889457 0 0 16781312 0 18446604469062132160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 130.75
Current children cumulated vsize (KiB) 569368

Child status: 0
Real time (s): 70.7289
CPU time (s): 130.801
CPU user time (s): 129.99
CPU system time (s): 0.810876
CPU usage (%): 184.933
Max. virtual memory (cumulated for all children) (KiB): 3495676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.99
system time used= 0.810876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330506
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4204
involuntary context switches= 710

runsolver used 0.270958 second user time and 0.630904 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 14:41:38
IDJOB=3378866
IDBENCH=20431
IDSOLVER=1860
FILE ID=node111/3378866-1305463297
RUNJOBID= node111-1305463297-23712
PBS_JOBID= 13324990
Free space on /tmp= 73604 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378866-1305463297/watcher-3378866-1305463297 -o /tmp/evaluation-result-3378866-1305463297/solver-3378866-1305463297 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378866-1305463297.cnf -seed 677299579 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=677299579

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22221060 kB
Buffers:        294796 kB
Cached:        6874140 kB
SwapCached:      13712 kB
Active:        1680976 kB
Inactive:      8802628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22221060 kB
SwapTotal:    67111528 kB
SwapFree:     59305804 kB
Dirty:           69628 kB
Writeback:           0 kB
AnonPages:     3310588 kB
Mapped:          25608 kB
Slab:           131796 kB
PageTables:      46464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 118175300 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73528 MiB
End job on node111 at 2011-05-15 14:42:49