Trace number 3377847

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-seq-industrial (fixed)? (MO) 890.02 892.083

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1110.09
Satisfiable
(Un)Satisfiability was proved
Number of variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data 

0.77/1.37	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.77/1.37	c INFO: solving HOME/instance-3377847-1305452698.cnf
0.77/1.37	c INFO: computing task features
4.97/5.52	c INFO: computed variable-clause graph statistics
5.25/7.15	c INFO: computed clause balance statistics
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.15	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.16	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.25/7.19	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.20	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
5.29/7.22	Warning: invalid value encountered in divide
24.19/26.19	c INFO: computed variable balance statistics
38.18/40.12	c INFO: computed small-clause counts
38.69/40.61	c INFO: computed Horn-clause counts
187.58/189.55	c INFO: computed variable graph statistics
187.58/189.55	c INFO: collected features for HOME/instance-3377847-1305452698.cnf in 186.99 s
187.58/189.56	c INFO: running precosat-570@0 for 97 with 2213 remaining (b = nan)
287.78/289.77	c INFO: running precosat-570@0 for 97 with 2113 remaining (b = nan)
387.96/389.99	c INFO: running precosat-570@0 for 97 with 2013 remaining (b = nan)
488.22/490.20	c INFO: running precosat-570@0 for 97 with 1913 remaining (b = nan)
588.42/590.42	c INFO: running precosat-570@0 for 97 with 1813 remaining (b = nan)
688.66/690.65	c INFO: running precosat-570@0 for 97 with 1713 remaining (b = nan)
788.84/790.89	c INFO: running precosat-570@0 for 97 with 1613 remaining (b = nan)
889.13/891.13	c INFO: running precosat-570@0 for 97 with 1513 remaining (b = nan)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3377847-1305452698/watcher-3377847-1305452698 -o /tmp/evaluation-result-3377847-1305452698/solver-3377847-1305452698 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377847-1305452698.cnf -seed 743672776 -budget 2400 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 1.03 1.88 3.11 6/274 28433
/proc/meminfo: memFree=22755364/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=11796 CPUtime=0 cores=4,6
/proc/28433/stat : 28433 (runsolver) R 28431 28433 27642 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 656868112 12079104 52 33554432000 4194304 5432360 140737323740000 18446744073709551615 5055511 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/28433/statm: 2949 52 33 303 0 2643 0

[startup+0.0199811 s]
/proc/loadavg: 1.03 1.88 3.11 6/274 28433
/proc/meminfo: memFree=22755364/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=15756 CPUtime=0 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 839 0 0 0 0 0 0 0 17 0 1 0 656868112 16134144 723 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/28433/statm: 3939 723 334 364 0 426 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15756

[startup+0.101916 s]
/proc/loadavg: 1.03 1.88 3.11 6/274 28433
/proc/meminfo: memFree=22755364/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=29792 CPUtime=0.05 cores=4,6
/proc/28433/stat : 28433 (python) D 28431 28433 27642 0 -1 4202496 1460 0 0 0 3 2 0 0 17 0 1 0 656868112 30507008 1300 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516832256 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28433/statm: 7448 1300 443 364 0 818 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29792

[startup+0.300919 s]
/proc/loadavg: 1.03 1.88 3.11 6/274 28433
/proc/meminfo: memFree=22755364/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=116608 CPUtime=0.16 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 3854 0 0 0 8 8 0 0 17 0 1 0 656868112 119406592 3491 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/28433/statm: 29152 3491 895 364 0 2653 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 116608

[startup+0.700872 s]
/proc/loadavg: 1.03 1.88 3.11 6/274 28433
/proc/meminfo: memFree=22755364/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=229792 CPUtime=0.4 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 7782 935 4 0 22 18 0 0 17 0 1 0 656868112 235307008 5708 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516830053 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28433/statm: 57448 5708 1579 364 0 4306 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 229792

[startup+1.50069 s]
/proc/loadavg: 1.03 1.88 3.11 2/275 28438
/proc/meminfo: memFree=22687892/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=330796 CPUtime=0.98 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 22166 935 14 0 74 24 0 0 16 0 1 0 656868112 338735104 19853 33554432000 4194304 5683644 140733399659872 18446744073709551615 4602283 0 0 16781312 2 0 0 0 17 6 0 0 3
/proc/28433/statm: 82699 19853 1761 364 0 18623 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 330796

[startup+3.10045 s]
/proc/loadavg: 1.03 1.88 3.11 6/278 28441
/proc/meminfo: memFree=22500724/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=437220 CPUtime=2.57 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 47620 935 14 0 229 28 0 0 18 0 1 0 656868112 447713280 45307 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516495045 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 109305 45308 1761 364 0 45229 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 437220

[startup+6.30085 s]
/proc/loadavg: 1.35 1.93 3.12 5/281 28444
/proc/meminfo: memFree=22318952/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=520196 CPUtime=5.25 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 111165 935 14 0 490 35 0 0 25 0 1 0 656868112 532680704 67435 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516834176 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 3
/proc/28433/statm: 130049 67435 1828 364 0 65973 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 520196

[startup+12.7007 s]
/proc/loadavg: 1.56 1.96 3.12 5/281 28445
/proc/meminfo: memFree=22337352/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=520196 CPUtime=10.79 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 111165 935 14 0 1044 35 0 0 25 0 1 0 656868112 532680704 67435 33554432000 4194304 5683644 140733399659872 18446744073709551615 47941366232329 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 130049 67435 1828 364 0 65973 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 520196

[startup+25.5004 s]
/proc/loadavg: 2.10 2.06 3.14 5/281 28445
/proc/meminfo: memFree=22336412/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=520196 CPUtime=23.59 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 111165 935 14 0 2324 35 0 0 25 0 1 0 656868112 532680704 67435 33554432000 4194304 5683644 140733399659872 18446744073709551615 47941363540309 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 130049 67435 1828 364 0 65973 0
Current children cumulated CPU time (s) 23.59
Current children cumulated vsize (KiB) 520196

[startup+51.1007 s]
/proc/loadavg: 2.82 2.23 3.16 5/284 28449
/proc/meminfo: memFree=22213128/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=529996 CPUtime=49.18 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 113622 935 14 0 4883 35 0 0 25 0 1 0 656868112 542715904 69892 33554432000 4194304 5683644 140733399659872 18446744073709551615 47941363460224 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 132499 69892 1835 364 0 68423 0
Current children cumulated CPU time (s) 49.18
Current children cumulated vsize (KiB) 529996

[startup+102.31 s]
/proc/loadavg: 3.64 2.55 3.22 5/284 28450
/proc/meminfo: memFree=22210904/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=529996 CPUtime=100.39 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 113622 935 14 0 10004 35 0 0 25 0 1 0 656868112 542715904 69892 33554432000 4194304 5683644 140733399659872 18446744073709551615 47941363460236 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 132499 69892 1835 364 0 68423 0
Current children cumulated CPU time (s) 100.39
Current children cumulated vsize (KiB) 529996

[startup+162.3 s]
/proc/loadavg: 3.99 2.84 3.28 5/288 28456
/proc/meminfo: memFree=22084232/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=529996 CPUtime=160.38 cores=4,6
/proc/28433/stat : 28433 (python) R 28431 28433 27642 0 -1 4202496 113622 935 14 0 16003 35 0 0 25 0 1 0 656868112 542715904 69892 33554432000 4194304 5683644 140733399659872 18446744073709551615 47941363460224 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/28433/statm: 132499 69892 1835 364 0 68423 0
Current children cumulated CPU time (s) 160.38
Current children cumulated vsize (KiB) 529996

[startup+222.3 s]
/proc/loadavg: 3.99 3.05 3.32 5/291 28460
/proc/meminfo: memFree=21718148/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=520484 CPUtime=187.66 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 113901 935 14 0 18730 36 0 0 25 0 2 0 656868112 532975616 64985 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 3
/proc/28433/statm: 130121 64985 1869 364 0 66039 0
[pid=28457] ppid=28433 vsize=510240 CPUtime=0.05 cores=4,6
/proc/28457/stat : 28457 (python) S 28433 28433 27642 0 -1 4202560 976 0 0 0 3 2 0 0 18 0 1 0 656887068 522485760 63493 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516854287 0 0 16781312 514 3811998017406337284 0 0 17 4 0 0 0
/proc/28457/statm: 127560 63493 381 364 0 63478 0
[pid=28459] ppid=28457 vsize=395436 CPUtime=32.65 cores=4,6
/proc/28459/stat : 28459 (precosat) R 28457 28459 28459 0 -1 4202496 100155 0 0 0 3253 12 0 0 25 0 1 0 656887069 404926464 94244 33554432000 4194304 4890832 140736172288336 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28459/statm: 98859 94244 86 171 0 98686 0
[pid=28433/tid=28458] ppid=28431 vsize=520484 CPUtime=0 cores=4,6
/proc/28433/task/28458/stat : 28458 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 25 0 2 0 656887069 532975616 64985 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 1426160

[startup+282.301 s]
/proc/loadavg: 3.99 3.22 3.36 5/295 28466
/proc/meminfo: memFree=21602636/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=520484 CPUtime=187.66 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 113901 935 14 0 18730 36 0 0 25 0 2 0 656868112 532975616 64985 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 3
/proc/28433/statm: 130121 64985 1869 364 0 66039 0
[pid=28457] ppid=28433 vsize=510240 CPUtime=0.17 cores=4,6
/proc/28457/stat : 28457 (python) S 28433 28433 27642 0 -1 4202560 1005 0 0 0 9 8 0 0 18 0 1 0 656887068 522485760 63493 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516854287 0 0 16781312 514 3811998017406337284 0 0 17 4 0 0 0
/proc/28457/statm: 127560 63493 381 364 0 63478 0
[pid=28459] ppid=28457 vsize=395436 CPUtime=92.53 cores=4,6
/proc/28459/stat : 28459 (precosat) R 28457 28459 28459 0 -1 4202496 100175 0 0 0 9241 12 0 0 25 0 1 0 656887069 404926464 94264 33554432000 4194304 4890832 140736172288336 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28459/statm: 98859 94264 86 171 0 98686 0
[pid=28433/tid=28458] ppid=28431 vsize=520484 CPUtime=0 cores=4,6
/proc/28433/task/28458/stat : 28458 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 25 0 2 0 656887069 532975616 64985 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 1426160

[startup+342.301 s]
/proc/loadavg: 3.99 3.36 3.40 5/303 28475
/proc/meminfo: memFree=21104804/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=530740 CPUtime=187.67 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 114724 935 14 0 18730 37 0 0 19 0 3 0 656868112 543477760 64992 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 3
/proc/28433/statm: 132685 64992 1872 364 0 68600 0
[pid=28457] ppid=28433 vsize=520484 CPUtime=0.2 cores=4,6
/proc/28457/stat : 28457 (python) S 28433 28433 27642 0 -1 4202560 1146 0 0 0 10 10 0 0 19 0 2 0 656887068 532975616 63531 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28457/statm: 130121 63531 414 364 0 66039 0
[pid=28459] ppid=28457 vsize=395436 CPUtime=99.99 cores=4,6
/proc/28459/stat : 28459 (precosat) T 28457 28459 28459 0 -1 4202496 100175 0 0 0 9987 12 0 0 25 0 1 0 656887069 404926464 94264 33554432000 4194304 4890832 140736172288336 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28459/statm: 98859 94264 86 171 0 98686 0
[pid=28457/tid=28467] ppid=28433 vsize=520484 CPUtime=0 cores=4,6
/proc/28457/task/28467/stat : 28467 (python) S 28433 28433 27642 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 656897089 532975616 63531 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604450718089664 0 0 -1 4 0 0 0
[pid=28468] ppid=28433 vsize=520496 CPUtime=0.11 cores=4,6
/proc/28468/stat : 28468 (python) S 28433 28433 27642 0 -1 4202560 909 0 0 0 5 6 0 0 18 0 1 0 656897090 532987904 63486 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516854342 0 0 16781312 514 3811998017406337284 0 0 17 4 0 0 0
/proc/28468/statm: 130124 63486 370 364 0 66039 0
[pid=28470] ppid=28468 vsize=395836 CPUtime=52.39 cores=4,6
/proc/28470/stat : 28470 (precosat) R 28468 28470 28470 0 -1 4202496 100236 0 0 0 5226 13 0 0 25 0 1 0 656897090 405336064 94327 33554432000 4194304 4890832 140734311689456 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28470/statm: 98959 94327 86 171 0 98786 0
[pid=28433/tid=28458] ppid=28431 vsize=530740 CPUtime=0 cores=4,6
/proc/28433/task/28458/stat : 28458 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 25 0 3 0 656887069 543477760 64992 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28469] ppid=28431 vsize=530740 CPUtime=0 cores=4,6
/proc/28433/task/28469/stat : 28469 (python) S 28431 28433 27642 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 3 0 656897090 543477760 64992 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 340.36
Current children cumulated vsize (KiB) 2362992

[startup+402.301 s]
/proc/loadavg: 3.99 3.47 3.43 5/307 28481
/proc/meminfo: memFree=20718988/32951124 swapFree=61565116/67111528

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

/proc/28468/statm: 130124 63516 399 364 0 66039 0
[pid=28470] ppid=28468 vsize=395836 CPUtime=99.98 cores=4,6
/proc/28470/stat : 28470 (precosat) T 28468 28470 28470 0 -1 4202496 100242 0 0 0 9985 13 0 0 25 0 1 0 656897090 405336064 94333 33554432000 4194304 4890832 140734311689456 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28470/statm: 98959 94333 86 171 0 98786 0
[pid=28468/tid=28478] ppid=28433 vsize=520496 CPUtime=0 cores=4,6
/proc/28468/task/28478/stat : 28478 (python) S 28433 28433 27642 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656907110 532987904 63516 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604453848902656 0 0 -1 4 0 0 0
[pid=28479] ppid=28433 vsize=530752 CPUtime=0.2 cores=4,6
/proc/28479/stat : 28479 (python) S 28433 28433 27642 0 -1 4202560 1091 0 0 0 11 9 0 0 16 0 2 0 656907111 543490048 63520 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28479/statm: 132688 63520 399 364 0 68600 0
[pid=28481] ppid=28479 vsize=394984 CPUtime=99.97 cores=4,6
/proc/28481/stat : 28481 (precosat) T 28479 28481 28481 0 -1 4202496 100042 0 0 0 9986 11 0 0 25 0 1 0 656907112 404463616 94133 33554432000 4194304 4890832 140735759498384 18446744073709551615 4213873 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28481/statm: 98746 94133 86 171 0 98573 0
[pid=28479/tid=28488] ppid=28433 vsize=530752 CPUtime=0 cores=4,6
/proc/28479/task/28488/stat : 28488 (python) S 28433 28433 27642 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 656917132 543490048 63520 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604448764678464 0 0 -1 4 0 0 0
[pid=28489] ppid=28433 vsize=541008 CPUtime=0.2 cores=4,6
/proc/28489/stat : 28489 (python) S 28433 28433 27642 0 -1 4202560 1084 0 0 0 10 10 0 0 19 0 2 0 656917133 553992192 63524 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28489/statm: 135252 63524 399 364 0 71161 0
[pid=28491] ppid=28489 vsize=391960 CPUtime=100.01 cores=4,6
/proc/28491/stat : 28491 (precosat) T 28489 28491 28491 0 -1 4202496 99349 0 0 0 9988 13 0 0 25 0 1 0 656917133 401367040 93440 33554432000 4194304 4890832 140734025340512 18446744073709551615 4238592 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/28491/statm: 97990 93440 86 171 0 97817 0
[pid=28489/tid=28507] ppid=28433 vsize=541008 CPUtime=0 cores=4,6
/proc/28489/task/28507/stat : 28507 (python) S 28433 28433 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 656927154 553992192 63524 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604442401195072 0 0 -1 6 0 0 0
[pid=28508] ppid=28433 vsize=551264 CPUtime=0.22 cores=4,6
/proc/28508/stat : 28508 (python) S 28433 28433 27642 0 -1 4202560 1093 0 0 0 14 8 0 0 19 0 2 0 656927154 564494336 63528 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28508/statm: 137816 63528 399 364 0 73722 0
[pid=28510] ppid=28508 vsize=392144 CPUtime=100.01 cores=4,6
/proc/28510/stat : 28510 (precosat) T 28508 28510 28510 0 -1 4202496 99292 0 0 0 9989 12 0 0 25 0 1 0 656927155 401555456 93387 33554432000 4194304 4890832 140734695221872 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28510/statm: 98036 93387 86 171 0 97863 0
[pid=28508/tid=28526] ppid=28433 vsize=551264 CPUtime=0 cores=4,6
/proc/28508/task/28526/stat : 28526 (python) S 28433 28433 27642 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656937176 564494336 63528 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604444529040192 0 0 -1 4 0 0 0
[pid=28527] ppid=28433 vsize=561520 CPUtime=0.22 cores=4,6
/proc/28527/stat : 28527 (python) S 28433 28433 27642 0 -1 4202560 1094 0 0 0 12 10 0 0 19 0 2 0 656937177 574996480 63532 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28527/statm: 140380 63532 399 364 0 76283 0
[pid=28529] ppid=28527 vsize=394012 CPUtime=100 cores=4,6
/proc/28529/stat : 28529 (precosat) T 28527 28529 28529 0 -1 4202496 99847 0 0 0 9988 12 0 0 25 0 1 0 656937178 403468288 93939 33554432000 4194304 4890832 140735993087136 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28529/statm: 98503 93939 86 171 0 98330 0
[pid=28527/tid=28536] ppid=28433 vsize=561520 CPUtime=0 cores=4,6
/proc/28527/task/28536/stat : 28536 (python) S 28433 28433 27642 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 656947200 574996480 63532 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604445818297280 0 0 -1 4 0 0 0
[pid=28537] ppid=28433 vsize=571776 CPUtime=0.19 cores=4,6
/proc/28537/stat : 28537 (python) S 28433 28433 27642 0 -1 4202560 933 0 0 0 10 9 0 0 18 0 1 0 656947201 585498624 63506 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516854342 0 0 16781312 514 3811998017406337281 0 0 17 4 0 0 0
/proc/28537/statm: 142944 63506 370 364 0 78844 0
[pid=28539] ppid=28537 vsize=395544 CPUtime=91.18 cores=4,6
/proc/28539/stat : 28539 (precosat) R 28537 28539 28539 0 -1 4202496 100209 0 0 0 9106 12 0 0 25 0 1 0 656947202 405037056 94302 33554432000 4194304 4890832 140736431127312 18446744073709551615 4238686 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28539/statm: 98886 94302 86 171 0 98713 0
[pid=28433/tid=28458] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28458/stat : 28458 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 25 0 8 0 656887069 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28469] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28469/stat : 28469 (python) S 28431 28433 27642 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 8 0 656897090 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28480] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28480/stat : 28480 (python) S 28431 28433 27642 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 8 0 656907112 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28490] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28490/stat : 28490 (python) S 28431 28433 27642 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 8 0 656917133 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28509] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28509/stat : 28509 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 8 0 656927155 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 6 0 0 0
[pid=28433/tid=28528] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28528/stat : 28528 (python) S 28431 28433 27642 0 -1 4202560 32 935 0 0 0 0 0 0 20 0 8 0 656937178 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28538] ppid=28431 vsize=582020 CPUtime=0 cores=4,6
/proc/28433/task/28538/stat : 28538 (python) S 28431 28433 27642 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 8 0 656947202 595988480 65022 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 880.31
Current children cumulated vsize (KiB) 7139236



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+892.001 s]
/proc/loadavg: 4.02 3.95 3.68 6/363 28550
/proc/meminfo: memFree=18272940/32951124 swapFree=61565116/67111528
[pid=28433] ppid=28431 vsize=592276 CPUtime=187.76 cores=4,6
/proc/28433/stat : 28433 (python) S 28431 28433 27642 0 -1 4202496 119566 935 14 0 18735 41 0 0 19 0 9 0 656868112 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 3
/proc/28433/statm: 148069 65028 1884 364 0 83966 0
[pid=28457] ppid=28433 vsize=520484 CPUtime=0.2 cores=4,6
/proc/28457/stat : 28457 (python) S 28433 28433 27642 0 -1 4202560 1146 0 0 0 10 10 0 0 19 0 2 0 656887068 532975616 63531 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28457/statm: 130121 63531 414 364 0 66039 0
[pid=28459] ppid=28457 vsize=395436 CPUtime=99.99 cores=4,6
/proc/28459/stat : 28459 (precosat) T 28457 28459 28459 0 -1 4202496 100175 0 0 0 9987 12 0 0 25 0 1 0 656887069 404926464 94264 33554432000 4194304 4890832 140736172288336 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28459/statm: 98859 94264 86 171 0 98686 0
[pid=28457/tid=28467] ppid=28433 vsize=520484 CPUtime=0 cores=4,6
/proc/28457/task/28467/stat : 28467 (python) S 28433 28433 27642 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 656897089 532975616 63531 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604450718089664 0 0 -1 4 0 0 0
[pid=28468] ppid=28433 vsize=520496 CPUtime=0.2 cores=4,6
/proc/28468/stat : 28468 (python) S 28433 28433 27642 0 -1 4202560 1075 0 0 0 10 10 0 0 19 0 2 0 656897090 532987904 63516 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28468/statm: 130124 63516 399 364 0 66039 0
[pid=28470] ppid=28468 vsize=395836 CPUtime=99.98 cores=4,6
/proc/28470/stat : 28470 (precosat) T 28468 28470 28470 0 -1 4202496 100242 0 0 0 9985 13 0 0 25 0 1 0 656897090 405336064 94333 33554432000 4194304 4890832 140734311689456 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28470/statm: 98959 94333 86 171 0 98786 0
[pid=28468/tid=28478] ppid=28433 vsize=520496 CPUtime=0 cores=4,6
/proc/28468/task/28478/stat : 28478 (python) S 28433 28433 27642 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656907110 532987904 63516 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604453848902656 0 0 -1 4 0 0 0
[pid=28479] ppid=28433 vsize=530752 CPUtime=0.2 cores=4,6
/proc/28479/stat : 28479 (python) S 28433 28433 27642 0 -1 4202560 1091 0 0 0 11 9 0 0 16 0 2 0 656907111 543490048 63520 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28479/statm: 132688 63520 399 364 0 68600 0
[pid=28481] ppid=28479 vsize=394984 CPUtime=99.97 cores=4,6
/proc/28481/stat : 28481 (precosat) T 28479 28481 28481 0 -1 4202496 100042 0 0 0 9986 11 0 0 25 0 1 0 656907112 404463616 94133 33554432000 4194304 4890832 140735759498384 18446744073709551615 4213873 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28481/statm: 98746 94133 86 171 0 98573 0
[pid=28479/tid=28488] ppid=28433 vsize=530752 CPUtime=0 cores=4,6
/proc/28479/task/28488/stat : 28488 (python) S 28433 28433 27642 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 656917132 543490048 63520 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604448764678464 0 0 -1 4 0 0 0
[pid=28489] ppid=28433 vsize=541008 CPUtime=0.2 cores=4,6
/proc/28489/stat : 28489 (python) S 28433 28433 27642 0 -1 4202560 1084 0 0 0 10 10 0 0 19 0 2 0 656917133 553992192 63524 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28489/statm: 135252 63524 399 364 0 71161 0
[pid=28491] ppid=28489 vsize=391960 CPUtime=100.01 cores=4,6
/proc/28491/stat : 28491 (precosat) T 28489 28491 28491 0 -1 4202496 99349 0 0 0 9988 13 0 0 25 0 1 0 656917133 401367040 93440 33554432000 4194304 4890832 140734025340512 18446744073709551615 4238592 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/28491/statm: 97990 93440 86 171 0 97817 0
[pid=28489/tid=28507] ppid=28433 vsize=541008 CPUtime=0 cores=4,6
/proc/28489/task/28507/stat : 28507 (python) S 28433 28433 27642 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 656927154 553992192 63524 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604442401195072 0 0 -1 6 0 0 0
[pid=28508] ppid=28433 vsize=551264 CPUtime=0.22 cores=4,6
/proc/28508/stat : 28508 (python) S 28433 28433 27642 0 -1 4202560 1093 0 0 0 14 8 0 0 19 0 2 0 656927154 564494336 63528 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28508/statm: 137816 63528 399 364 0 73722 0
[pid=28510] ppid=28508 vsize=392144 CPUtime=100.01 cores=4,6
/proc/28510/stat : 28510 (precosat) T 28508 28510 28510 0 -1 4202496 99292 0 0 0 9989 12 0 0 25 0 1 0 656927155 401555456 93387 33554432000 4194304 4890832 140734695221872 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28510/statm: 98036 93387 86 171 0 97863 0
[pid=28508/tid=28526] ppid=28433 vsize=551264 CPUtime=0 cores=4,6
/proc/28508/task/28526/stat : 28526 (python) S 28433 28433 27642 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656937176 564494336 63528 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604444529040192 0 0 -1 4 0 0 0
[pid=28527] ppid=28433 vsize=561520 CPUtime=0.22 cores=4,6
/proc/28527/stat : 28527 (python) S 28433 28433 27642 0 -1 4202560 1094 0 0 0 12 10 0 0 19 0 2 0 656937177 574996480 63532 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28527/statm: 140380 63532 399 364 0 76283 0
[pid=28529] ppid=28527 vsize=394012 CPUtime=100 cores=4,6
/proc/28529/stat : 28529 (precosat) T 28527 28529 28529 0 -1 4202496 99847 0 0 0 9988 12 0 0 25 0 1 0 656937178 403468288 93939 33554432000 4194304 4890832 140735993087136 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28529/statm: 98503 93939 86 171 0 98330 0
[pid=28527/tid=28536] ppid=28433 vsize=561520 CPUtime=0 cores=4,6
/proc/28527/task/28536/stat : 28536 (python) S 28433 28433 27642 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 656947200 574996480 63532 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604445818297280 0 0 -1 4 0 0 0
[pid=28537] ppid=28433 vsize=571776 CPUtime=0.22 cores=4,6
/proc/28537/stat : 28537 (python) S 28433 28433 27642 0 -1 4202560 1097 0 0 0 11 11 0 0 19 0 2 0 656947201 585498624 63536 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28537/statm: 142944 63536 399 364 0 78844 0
[pid=28539] ppid=28537 vsize=395544 CPUtime=99.98 cores=4,6
/proc/28539/stat : 28539 (precosat) T 28537 28539 28539 0 -1 4202496 100209 0 0 0 9986 12 0 0 25 0 1 0 656947202 405037056 94302 33554432000 4194304 4890832 140736431127312 18446744073709551615 4229161 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/28539/statm: 98886 94302 86 171 0 98713 0
[pid=28537/tid=28547] ppid=28433 vsize=571776 CPUtime=0 cores=4,6
/proc/28537/task/28547/stat : 28547 (python) S 28433 28433 27642 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 656957224 585498624 63536 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 514 18446604444529039296 0 0 -1 4 0 0 0
[pid=28548] ppid=28433 vsize=582032 CPUtime=0 cores=4,6
/proc/28548/stat : 28548 (python) S 28433 28433 27642 0 -1 4202560 779 0 0 0 0 0 0 0 19 0 1 0 656957225 596000768 63489 33554432000 4194304 5683644 140733399659872 18446744073709551615 246516854342 0 0 16781312 514 11751268020662566911 0 0 17 4 0 0 0
/proc/28548/statm: 145508 63489 349 364 0 81405 0
[pid=28550] ppid=28548 vsize=180320 CPUtime=0.86 cores=4,6
/proc/28550/stat : 28550 (precosat) R 28548 28550 28550 0 -1 4202496 43420 0 0 0 81 5 0 0 23 0 1 0 656957226 184647680 43151 33554432000 4194304 4890832 140734579624304 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28550/statm: 45080 43152 65 171 0 44907 0
[pid=28433/tid=28458] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28458/stat : 28458 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 25 0 9 0 656887069 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28469] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28469/stat : 28469 (python) S 28431 28433 27642 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 9 0 656897090 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28480] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28480/stat : 28480 (python) S 28431 28433 27642 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 9 0 656907112 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28490] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28490/stat : 28490 (python) S 28431 28433 27642 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 9 0 656917133 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28509] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28509/stat : 28509 (python) S 28431 28433 27642 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 9 0 656927155 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 6 0 0 0
[pid=28433/tid=28528] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28528/stat : 28528 (python) S 28431 28433 27642 0 -1 4202560 32 935 0 0 0 0 0 0 20 0 9 0 656937178 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28538] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28538/stat : 28538 (python) S 28431 28433 27642 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 9 0 656947202 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
[pid=28433/tid=28549] ppid=28431 vsize=592276 CPUtime=0 cores=4,6
/proc/28433/task/28549/stat : 28549 (python) S 28431 28433 27642 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 9 0 656957226 606490624 65028 33554432000 4194304 5683644 140733399659872 18446744073709551615 246528657841 0 0 16781312 2 18446604453873656064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 890.02
Current children cumulated vsize (KiB) 7911844

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28433 and gives
#  childrusage.ru_utime.tv_sec=187
#  childrusage.ru_utime.tv_usec=356517
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=426935
# CPU time returned by wait4() is 187.783
# while last known CPU time is 890.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 892.083
CPU time (s): 890.02
CPU user time (s): 888.03
CPU system time (s): 1.99
CPU usage (%): 99.7687
Max. virtual memory (cumulated for all children) (KiB): 7911844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.357
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120507
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20165
involuntary context switches= 1029

runsolver used 3.09053 second user time and 5.9331 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 11:44:59
IDJOB=3377847
IDBENCH=20410
IDSOLVER=1858
FILE ID=node134/3377847-1305452698
RUNJOBID= node134-1305452698-28380
PBS_JOBID= 13324884
Free space on /tmp= 73388 MiB

SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3377847-1305452698/watcher-3377847-1305452698 -o /tmp/evaluation-result-3377847-1305452698/solver-3377847-1305452698 -C 2400 -W 1300 -M 7680  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377847-1305452698.cnf -seed 743672776 -budget 2400

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=743672776

node134.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.831
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.66
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.831
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	: 5332.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.831
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.75
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22755704 kB
Buffers:        274712 kB
Cached:        6320488 kB
SwapCached:      13768 kB
Active:        1202368 kB
Inactive:      8765828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22755704 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:          156444 kB
Writeback:           0 kB
AnonPages:     3365636 kB
Mapped:          14904 kB
Slab:           132660 kB
PageTables:      32996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38973180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73356 MiB
End job on node134 at 2011-05-15 11:59:53