Trace number 3317691

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-industrial? (MO) 1398.46 506.41

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.57/15.84	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.57/15.84	c INFO: solving HOME/instance-3317691-1304267284.cnf
0.57/15.84	c INFO: computing task features
4.83/20.17	c INFO: computed variable-clause graph statistics
5.04/20.32	c INFO: computed clause balance statistics
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.32	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.33	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.34	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.35	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.36	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.37	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.38	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.39	Warning: invalid value encountered in divide
5.04/20.40	Warning: invalid value encountered in divide
5.04/20.40	Warning: invalid value encountered in divide
5.04/20.40	Warning: invalid value encountered in divide
5.04/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.40	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.41	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.42	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.43	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.44	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.45	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.46	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.13/20.48	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.50	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
5.22/20.52	Warning: invalid value encountered in divide
24.02/39.32	c INFO: computed variable balance statistics
37.72/53.08	c INFO: computed small-clause counts
38.21/53.57	c INFO: computed Horn-clause counts
187.02/202.37	c INFO: computed variable graph statistics
187.02/202.37	c INFO: collected features for HOME/instance-3317691-1304267284.cnf in 186.38 s
187.02/202.40	c INFO: running precosat-570@0 for 97 with 4613 remaining (b = nan)
187.11/202.42	c INFO: running precosat-570@0 for 97 with 4613 remaining (b = nan)
187.11/202.44	c INFO: running precosat-570@0 for 97 with 4613 remaining (b = nan)
187.11/202.46	c INFO: running precosat-570@0 for 97 with 4613 remaining (b = nan)
582.80/301.57	c INFO: running precosat-570@0 for 97 with 4514 remaining (b = nan)
586.81/302.54	c INFO: running precosat-570@0 for 97 with 4513 remaining (b = nan)
586.81/302.59	c INFO: running precosat-570@0 for 97 with 4513 remaining (b = nan)
587.15/302.63	c INFO: running precosat-570@0 for 97 with 4513 remaining (b = nan)
982.02/401.73	c INFO: running precosat-570@0 for 97 with 4414 remaining (b = nan)
985.60/402.70	c INFO: running precosat-570@0 for 97 with 4413 remaining (b = nan)
985.96/402.80	c INFO: running precosat-570@0 for 97 with 4413 remaining (b = nan)
986.25/402.82	c INFO: running precosat-570@0 for 97 with 4413 remaining (b = nan)
1381.05/501.92	c INFO: running precosat-570@0 for 97 with 4313 remaining (b = nan)
1384.60/502.88	c INFO: running precosat-570@0 for 97 with 4312 remaining (b = nan)
1384.99/502.98	c INFO: running precosat-570@0 for 97 with 4312 remaining (b = nan)
1385.29/503.02	c INFO: running precosat-570@0 for 97 with 4312 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: 935)

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-3317691-1304267284/watcher-3317691-1304267284 -o /tmp/evaluation-result-3317691-1304267284/solver-3317691-1304267284 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317691-1304267284.cnf -seed 344144970 -budget 4800 -cores 4 

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

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


[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=11800 CPUtime=0 cores=1,3,5,7
/proc/20606/stat : 20606 (runsolver) S 20600 20606 20569 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538327670 12083200 54 33554432000 4194304 5434984 140734956937488 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699215550 0 0 17 3 0 0 0
/proc/20606/statm: 2950 54 34 303 0 2644 0

[startup+0.020693 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=11800 CPUtime=0 cores=1,3,5,7
/proc/20606/stat : 20606 (runsolver) S 20600 20606 20569 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538327670 12083200 54 33554432000 4194304 5434984 140734956937488 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699215550 0 0 17 3 0 0 0
/proc/20606/statm: 2950 54 34 303 0 2644 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11800

[startup+0.100669 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 538327670 15175680 420 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594862437 0 2147483391 4096 0 18446744071699215550 0 0 17 5 0 0 4
/proc/20606/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820

[startup+0.300632 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 719 0 6 0 0 0 0 0 16 0 1 0 538327670 15548416 615 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 5
/proc/20606/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.700561 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=15388 CPUtime=0 cores=1,3,5,7
/proc/20606/stat : 20606 (python) D 20600 20606 20569 0 -1 4202496 814 0 6 0 0 0 0 0 15 0 1 0 538327670 15757312 704 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594866432 0 0 16781312 2 18446744071562234166 0 0 17 5 0 0 8
/proc/20606/statm: 3847 704 334 364 0 334 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15388

[startup+1.50042 s]
/proc/loadavg: 0.16 0.03 0.01 2/178 20608
/proc/meminfo: memFree=30701908/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/20606/stat : 20606 (python) R 20600 20606 20569 0 -1 4202496 1112 0 6 0 1 0 0 0 15 0 1 0 538327670 16793600 985 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594864640 0 0 16781312 2 0 0 0 17 5 0 0 19
/proc/20606/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+3.10014 s]
/proc/loadavg: 0.16 0.03 0.01 1/178 20608
/proc/meminfo: memFree=30697900/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=85360 CPUtime=0.09 cores=1,3,5,7
/proc/20606/stat : 20606 (python) D 20600 20606 20569 0 -1 4202496 2561 0 21 0 5 4 0 0 16 0 1 0 538327670 87408640 2307 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 7 0 0 28
/proc/20606/statm: 21340 2307 707 364 0 1557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85360
heavy processes:

[startup+6.30058 s]
/proc/loadavg: 0.31 0.07 0.02 1/178 20608
/proc/meminfo: memFree=30676316/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=119076 CPUtime=0.17 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 3874 0 37 0 7 10 0 0 15 0 1 0 538327670 121933824 3541 33554432000 4194304 5683644 140734375708112 18446744073709551615 235589942919 0 2147483391 16781312 2 18446744071699962003 0 0 17 7 0 0 58
/proc/20606/statm: 29769 3541 940 364 0 2653 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 119076
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 0.36 0.08 0.03 1/178 20616
/proc/meminfo: memFree=30653336/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=204092 CPUtime=0.41 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 7202 927 80 9 20 21 0 0 16 0 1 0 538327670 208990208 5301 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 109
/proc/20606/statm: 51023 5301 1496 364 0 4011 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 204092
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 0.66 0.16 0.05 4/178 20616
/proc/meminfo: memFree=30073436/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=520192 CPUtime=10.21 cores=1,3,5,7
/proc/20606/stat : 20606 (python) R 20600 20606 20569 0 -1 4202496 111059 927 115 9 979 42 0 0 25 0 1 0 538327670 532676608 67434 33554432000 4194304 5683644 140734375708112 18446744073709551615 47533212594440 0 0 16781312 2 0 0 0 17 1 0 0 142
/proc/20606/statm: 130048 67434 1828 364 0 65972 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 520192
heavy processes:

[startup+51.1007 s]
/proc/loadavg: 1.11 0.30 0.10 4/178 20617
/proc/meminfo: memFree=30074084/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=520192 CPUtime=35.82 cores=1,3,5,7
/proc/20606/stat : 20606 (python) R 20600 20606 20569 0 -1 4202496 111060 927 115 9 3540 42 0 0 25 0 1 0 538327670 532676608 67435 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594526127 0 0 16781312 2 0 0 0 17 1 0 0 142
/proc/20606/statm: 130048 67435 1829 364 0 65972 0
Current children cumulated CPU time (s) 35.82
Current children cumulated vsize (KiB) 520192
heavy processes:

[startup+102.307 s]
/proc/loadavg: 1.61 0.56 0.20 4/178 20618
/proc/meminfo: memFree=30064352/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=529996 CPUtime=87.02 cores=1,3,5,7
/proc/20606/stat : 20606 (python) R 20600 20606 20569 0 -1 4202496 113517 927 115 9 8660 42 0 0 25 0 1 0 538327670 542715904 69892 33554432000 4194304 5683644 140734375708112 18446744073709551615 47533212514444 0 0 16781312 2 0 0 0 17 1 0 0 142
/proc/20606/statm: 132499 69892 1835 364 0 68423 0
Current children cumulated CPU time (s) 87.02
Current children cumulated vsize (KiB) 529996

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 4/178 20620
/proc/meminfo: memFree=30064576/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=529996 CPUtime=147.02 cores=1,3,5,7
/proc/20606/stat : 20606 (python) R 20600 20606 20569 0 -1 4202496 113517 927 115 9 14660 42 0 0 25 0 1 0 538327670 542715904 69892 33554432000 4194304 5683644 140734375708112 18446744073709551615 47533212514444 0 0 16781312 2 0 0 0 17 1 0 0 142
/proc/20606/statm: 132499 69892 1835 364 0 68423 0
Current children cumulated CPU time (s) 147.02
Current children cumulated vsize (KiB) 529996

[startup+222.301 s]
/proc/loadavg: 2.80 1.23 0.48 7/190 20634
/proc/meminfo: memFree=28567968/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=551252 CPUtime=187.17 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 116287 927 115 9 18672 45 0 0 22 0 5 0 538327670 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 142
/proc/20606/statm: 137813 65003 1875 364 0 73722 0
[pid=20622] ppid=20606 vsize=510240 CPUtime=0.02 cores=1,3,5,7
/proc/20622/stat : 20622 (python) S 20606 20606 20569 0 -1 4202560 954 0 0 0 1 1 0 0 18 0 1 0 538347910 522485760 63493 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886671 0 0 16781312 514 3257721011704922376 0 0 17 3 0 0 0
/proc/20622/statm: 127560 63493 381 364 0 63478 0
[pid=20624] ppid=20622 vsize=393760 CPUtime=19.88 cores=1,3,5,7
/proc/20624/stat : 20624 (precosat) R 20622 20624 20624 0 -1 4202496 99618 0 0 0 1972 16 0 0 25 0 1 0 538347911 403210240 93708 33554432000 4194304 4890832 140736389730384 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/20624/statm: 98440 93708 86 171 0 98267 0
[pid=20625] ppid=20606 vsize=520496 CPUtime=0.02 cores=1,3,5,7
/proc/20625/stat : 20625 (python) S 20606 20606 20569 0 -1 4202560 900 0 0 0 1 1 0 0 18 0 1 0 538347912 532987904 63486 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 3257721011704922372 0 0 17 7 0 0 0
/proc/20625/statm: 130124 63486 370 364 0 66039 0
[pid=20627] ppid=20625 vsize=394776 CPUtime=19.73 cores=1,3,5,7
/proc/20627/stat : 20627 (precosat) R 20625 20627 20627 0 -1 4202496 99860 0 0 0 1958 15 0 0 25 0 1 0 538347913 404250624 93950 33554432000 4194304 4890832 140736430922736 18446744073709551615 4273055 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/20627/statm: 98694 93950 86 171 0 98521 0
[pid=20628] ppid=20606 vsize=530752 CPUtime=0.02 cores=1,3,5,7
/proc/20628/stat : 20628 (python) S 20606 20606 20569 0 -1 4202560 900 0 0 0 1 1 0 0 18 0 1 0 538347914 543490048 63490 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 3257721011704922376 0 0 17 3 0 0 0
/proc/20628/statm: 132688 63490 370 364 0 68600 0
[pid=20630] ppid=20628 vsize=391688 CPUtime=19.79 cores=1,3,5,7
/proc/20630/stat : 20630 (precosat) R 20628 20630 20630 0 -1 4202496 99111 0 0 0 1963 16 0 0 25 0 1 0 538347915 401088512 93200 33554432000 4194304 4890832 140733590751328 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/20630/statm: 97922 93200 86 171 0 97749 0
[pid=20631] ppid=20606 vsize=541008 CPUtime=0.02 cores=1,3,5,7
/proc/20631/stat : 20631 (python) S 20606 20606 20569 0 -1 4202560 909 0 0 0 1 1 0 0 18 0 1 0 538347916 553992192 63494 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 3257721011704922376 0 0 17 1 0 0 0
/proc/20631/statm: 135252 63494 370 364 0 71161 0
[pid=20633] ppid=20631 vsize=393404 CPUtime=19.79 cores=1,3,5,7
/proc/20633/stat : 20633 (precosat) R 20631 20633 20633 0 -1 4202496 99512 0 0 0 1964 15 0 0 25 0 1 0 538347917 402845696 93601 33554432000 4194304 4890832 140733224611600 18446744073709551615 4299152 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/20633/statm: 98351 93601 86 171 0 98178 0
[pid=20606/tid=20623] ppid=20600 vsize=551252 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20623/stat : 20623 (python) S 20600 20606 20569 0 -1 4202560 22 927 0 9 0 0 0 0 19 0 5 0 538347910 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 3 0 0 0
[pid=20606/tid=20626] ppid=20600 vsize=551252 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20626/stat : 20626 (python) S 20600 20606 20569 0 -1 4202560 23 927 0 9 0 0 0 0 21 0 5 0 538347912 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20629] ppid=20600 vsize=551252 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20629/stat : 20629 (python) S 20600 20606 20569 0 -1 4202560 19 927 0 9 0 0 0 0 20 0 5 0 538347915 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 3 0 0 0
[pid=20606/tid=20632] ppid=20600 vsize=551252 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20632/stat : 20632 (python) S 20600 20606 20569 0 -1 4202560 23 927 0 9 0 0 0 0 22 0 5 0 538347917 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 266.44
Current children cumulated vsize (KiB) 4227376

[startup+282.301 s]
/proc/loadavg: 4.30 1.94 0.77 7/190 20635
/proc/meminfo: memFree=28563484/32950928 swapFree=67111404/67111528
[pid=20606] ppid=20600 vsize=551252 CPUtime=187.17 cores=1,3,5,7
/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 116287 927 115 9 18672 45 0 0 22 0 5 0 538327670 564482048 65003 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 142
/proc/20606/statm: 137813 65003 1875 364 0 73722 0
[pid=20622] ppid=20606 vsize=510240 CPUtime=0.09 cores=1,3,5,7
/proc/20622/stat : 20622 (python) S 20606 20606 20569 0 -1 4202560 983 0 0 0 5 4 0 0 18 0 1 0 538347910 522485760 63493 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886671 0 0 16781312 514 3257721011704922376 0 0 17 3 0 0 0
/proc/20622/statm: 127560 63493 381 364 0 63478 0
[pid=20624] ppid=20622 vsize=393760 CPUtime=79.88 cores=1,3,5,7
/proc/20624/stat : 20624 (precosat) R 20622 20624 20624 0 -1 4202496 99735 0 0 0 7972 16 0 0 25 0 1 0 538347911 403210240 93825 33554432000 4194304 4890832 140736389730384 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/20624/statm: 98440 93825 86 171 0 98267 0
[pid=20625] ppid=20606 vsize=520496 CPUtime=0.1 cores=1,3,5,7
/proc/20625/stat : 20625 (python) S 20606 20606 20569 0 -1 4202560 922 0 0 0 6 4 0 0 18 0 1 0 538347912 532987904 63486 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 3257721011704922372 0 0 17 7 0 0 0
/proc/20625/statm: 130124 63486 370 364 0 66039 0
[pid=20627] ppid=20625 vsize=394776 CPUtime=79.32 cores=1,3,5,7
/proc/20627/stat : 20627 (precosat) R 20625 20627 20627 0 -1 4202496 99932 0 0 0 7917 15 0 0 25 0 1 0 538347913 404250624 94022 33554432000 4194304 4890832 140736430922736 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/20627/statm: 98694 94022 86 171 0 98521 0

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

/proc/20606/stat : 20606 (python) S 20600 20606 20569 0 -1 4202496 126742 927 115 9 18695 55 0 0 22 0 17 0 538327670 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 142
/proc/20606/statm: 168581 65076 1900 364 0 104454 0
[pid=20622] ppid=20606 vsize=520484 CPUtime=0.12 cores=1,3,5,7
/proc/20622/stat : 20622 (python) S 20606 20606 20569 0 -1 4202560 1150 0 0 0 7 5 0 0 19 0 2 0 538347910 532975616 63531 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/20622/statm: 130121 63531 414 364 0 66039 0
[pid=20624] ppid=20622 vsize=393760 CPUtime=100.1 cores=1,3,5,7
/proc/20624/stat : 20624 (precosat) T 20622 20624 20624 0 -1 4202496 99742 0 0 0 9994 16 0 0 25 0 1 0 538347911 403210240 93832 33554432000 4194304 4890832 140736389730384 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20624/statm: 98440 93832 86 171 0 98267 0
[pid=20622/tid=20641] ppid=20606 vsize=520484 CPUtime=0 cores=1,3,5,7
/proc/20622/task/20641/stat : 20641 (python) S 20606 20606 20569 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538357922 532975616 63531 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471101202752 0 0 -1 3 0 0 0
[pid=20625] ppid=20606 vsize=520496 CPUtime=0.13 cores=1,3,5,7
/proc/20625/stat : 20625 (python) S 20606 20606 20569 0 -1 4202560 1078 0 0 0 7 6 0 0 19 0 2 0 538347912 532987904 63516 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/20625/statm: 130124 63516 399 364 0 66039 0
[pid=20627] ppid=20625 vsize=394776 CPUtime=98.45 cores=1,3,5,7
/proc/20627/stat : 20627 (precosat) T 20625 20627 20627 0 -1 4202496 99933 0 0 0 9830 15 0 0 25 0 1 0 538347913 404250624 94023 33554432000 4194304 4890832 140736430922736 18446744073709551615 4238562 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/20627/statm: 98694 94023 86 171 0 98521 0
[pid=20625/tid=20637] ppid=20606 vsize=520496 CPUtime=0 cores=1,3,5,7
/proc/20625/task/20637/stat : 20637 (python) S 20606 20606 20569 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 538357826 532987904 63516 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471101205440 0 0 -1 7 0 0 0
[pid=20628] ppid=20606 vsize=530752 CPUtime=0.12 cores=1,3,5,7
/proc/20628/stat : 20628 (python) S 20606 20606 20569 0 -1 4202560 1091 0 0 0 6 6 0 0 19 0 2 0 538347914 543490048 63520 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/20628/statm: 132688 63520 399 364 0 68600 0
[pid=20630] ppid=20628 vsize=394508 CPUtime=99.88 cores=1,3,5,7
/proc/20630/stat : 20630 (precosat) T 20628 20630 20630 0 -1 4202496 99913 0 0 0 9972 16 0 0 25 0 1 0 538347915 403976192 94002 33554432000 4194304 4890832 140733590751328 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/20630/statm: 98627 94002 86 171 0 98454 0
[pid=20628/tid=20645] ppid=20606 vsize=530752 CPUtime=0 cores=1,3,5,7
/proc/20628/task/20645/stat : 20645 (python) S 20606 20606 20569 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538357928 543490048 63520 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471143974976 0 0 -1 3 0 0 0
[pid=20631] ppid=20606 vsize=541008 CPUtime=0.13 cores=1,3,5,7
/proc/20631/stat : 20631 (python) S 20606 20606 20569 0 -1 4202560 1096 0 0 0 6 7 0 0 19 0 2 0 538347916 553992192 63524 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20631/statm: 135252 63524 399 364 0 71161 0
[pid=20633] ppid=20631 vsize=393404 CPUtime=99.99 cores=1,3,5,7
/proc/20633/stat : 20633 (precosat) T 20631 20633 20633 0 -1 4202496 99682 0 0 0 9984 15 0 0 25 0 1 0 538347917 402845696 93771 33554432000 4194304 4890832 140733224611600 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/20633/statm: 98351 93771 86 171 0 98178 0
[pid=20631/tid=20649] ppid=20606 vsize=541008 CPUtime=0 cores=1,3,5,7
/proc/20631/task/20649/stat : 20649 (python) S 20606 20606 20569 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538357932 553992192 63524 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471101203648 0 0 -1 1 0 0 0
[pid=20638] ppid=20606 vsize=551264 CPUtime=0.14 cores=1,3,5,7
/proc/20638/stat : 20638 (python) S 20606 20606 20569 0 -1 4202560 1100 0 0 0 7 7 0 0 19 0 2 0 538357828 564494336 63528 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20638/statm: 137816 63528 399 364 0 73722 0
[pid=20640] ppid=20638 vsize=396204 CPUtime=100.11 cores=1,3,5,7
/proc/20640/stat : 20640 (precosat) T 20638 20640 20640 0 -1 4202496 100381 0 0 0 9996 15 0 0 25 0 1 0 538357829 405712896 94473 33554432000 4194304 4890832 140734553298128 18446744073709551615 4212935 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20640/statm: 99051 94473 86 171 0 98878 0
[pid=20638/tid=20667] ppid=20606 vsize=551264 CPUtime=0 cores=1,3,5,7
/proc/20638/task/20667/stat : 20667 (python) S 20606 20606 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538367842 564494336 63528 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471137882240 0 0 -1 1 0 0 0
[pid=20642] ppid=20606 vsize=561520 CPUtime=0.13 cores=1,3,5,7
/proc/20642/stat : 20642 (python) S 20606 20606 20569 0 -1 4202560 1130 0 0 0 6 7 0 0 19 0 2 0 538357924 574996480 63532 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20642/statm: 140380 63532 399 364 0 76283 0
[pid=20644] ppid=20642 vsize=394308 CPUtime=98.44 cores=1,3,5,7
/proc/20644/stat : 20644 (precosat) T 20642 20644 20644 0 -1 4202496 99945 0 0 0 9831 13 0 0 25 0 1 0 538357925 403771392 94036 33554432000 4194304 4890832 140737146856048 18446744073709551615 4238946 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/20644/statm: 98577 94036 86 171 0 98404 0
[pid=20642/tid=20671] ppid=20606 vsize=561520 CPUtime=0 cores=1,3,5,7
/proc/20642/task/20671/stat : 20671 (python) S 20606 20606 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538367938 574996480 63532 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604467612053760 0 0 -1 7 0 0 0
[pid=20646] ppid=20606 vsize=571776 CPUtime=0.14 cores=1,3,5,7
/proc/20646/stat : 20646 (python) S 20606 20606 20569 0 -1 4202560 1163 0 0 0 8 6 0 0 19 0 2 0 538357929 585498624 63542 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/20646/statm: 142944 63542 405 364 0 78844 0
[pid=20648] ppid=20646 vsize=394664 CPUtime=99.77 cores=1,3,5,7
/proc/20648/stat : 20648 (precosat) T 20646 20648 20648 0 -1 4202496 99911 0 0 0 9959 18 0 0 25 0 1 0 538357930 404135936 94002 33554432000 4194304 4890832 140735458682608 18446744073709551615 4238327 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20648/statm: 98666 94002 86 171 0 98493 0
[pid=20646/tid=20676] ppid=20606 vsize=571776 CPUtime=0 cores=1,3,5,7
/proc/20646/task/20676/stat : 20676 (python) S 20606 20606 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538367949 585498624 63542 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471101859648 0 0 -1 7 0 0 0
[pid=20650] ppid=20606 vsize=582032 CPUtime=0.13 cores=1,3,5,7
/proc/20650/stat : 20650 (python) S 20606 20606 20569 0 -1 4202560 1170 0 0 0 6 7 0 0 19 0 2 0 538357934 596000768 63546 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20650/statm: 145508 63546 405 364 0 81405 0
[pid=20652] ppid=20650 vsize=394924 CPUtime=100.1 cores=1,3,5,7
/proc/20652/stat : 20652 (precosat) T 20650 20652 20652 0 -1 4202496 100054 0 0 0 9997 13 0 0 25 0 1 0 538357935 404402176 94140 33554432000 4194304 4890832 140733547996704 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/20652/statm: 98731 94140 86 171 0 98558 0
[pid=20650/tid=20675] ppid=20606 vsize=582032 CPUtime=0 cores=1,3,5,7
/proc/20650/task/20675/stat : 20675 (python) S 20606 20606 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538367948 596000768 63546 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471101857856 0 0 -1 1 0 0 0
[pid=20668] ppid=20606 vsize=592288 CPUtime=0.15 cores=1,3,5,7
/proc/20668/stat : 20668 (python) S 20606 20606 20569 0 -1 4202560 1125 0 0 0 8 7 0 0 19 0 2 0 538367844 606502912 63544 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20668/statm: 148072 63544 399 364 0 83966 0
[pid=20670] ppid=20668 vsize=392024 CPUtime=100.11 cores=1,3,5,7
/proc/20670/stat : 20670 (precosat) T 20668 20670 20670 0 -1 4202496 99379 0 0 0 9996 15 0 0 25 0 1 0 538367845 401432576 93466 33554432000 4194304 4890832 140734038134112 18446744073709551615 4238946 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20670/statm: 98006 93466 86 171 0 97833 0
[pid=20668/tid=20702] ppid=20606 vsize=592288 CPUtime=0 cores=1,3,5,7
/proc/20668/task/20702/stat : 20702 (python) S 20606 20606 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538377859 606502912 63544 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471105288256 0 0 -1 1 0 0 0
[pid=20672] ppid=20606 vsize=602544 CPUtime=0.15 cores=1,3,5,7
/proc/20672/stat : 20672 (python) S 20606 20606 20569 0 -1 4202560 1154 0 0 0 8 7 0 0 19 0 2 0 538367940 617005056 63548 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20672/statm: 150636 63548 399 364 0 86527 0
[pid=20674] ppid=20672 vsize=394304 CPUtime=99.69 cores=1,3,5,7
/proc/20674/stat : 20674 (precosat) T 20672 20674 20674 0 -1 4202496 99876 0 0 0 9952 17 0 0 25 0 1 0 538367941 403767296 93962 33554432000 4194304 4890832 140736959146944 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20674/statm: 98576 93962 86 171 0 98403 0
[pid=20672/tid=20706] ppid=20606 vsize=602544 CPUtime=0 cores=1,3,5,7
/proc/20672/task/20706/stat : 20706 (python) S 20606 20606 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538377956 617005056 63548 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471105286464 0 0 -1 1 0 0 0
[pid=20677] ppid=20606 vsize=612800 CPUtime=0.15 cores=1,3,5,7
/proc/20677/stat : 20677 (python) S 20606 20606 20569 0 -1 4202560 1123 0 0 0 8 7 0 0 19 0 2 0 538367950 627507200 63552 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20677/statm: 153200 63552 399 364 0 89088 0
[pid=20679] ppid=20677 vsize=394640 CPUtime=100.13 cores=1,3,5,7
/proc/20679/stat : 20679 (precosat) T 20677 20679 20679 0 -1 4202496 99907 0 0 0 9998 15 0 0 25 0 1 0 538367951 404111360 93994 33554432000 4194304 4890832 140736589057488 18446744073709551615 4291474 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/20679/statm: 98660 93994 86 171 0 98487 0
[pid=20677/tid=20710] ppid=20606 vsize=612800 CPUtime=0 cores=1,3,5,7
/proc/20677/task/20710/stat : 20710 (python) S 20606 20606 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538377965 627507200 63552 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604471116721152 0 0 -1 1 0 0 0
[pid=20680] ppid=20606 vsize=623056 CPUtime=0.15 cores=1,3,5,7
/proc/20680/stat : 20680 (python) S 20606 20606 20569 0 -1 4202560 1144 0 0 0 7 8 0 0 18 0 2 0 538367953 638009344 63556 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/20680/statm: 155764 63556 399 364 0 91649 0
[pid=20682] ppid=20680 vsize=394716 CPUtime=98.37 cores=1,3,5,7
/proc/20682/stat : 20682 (precosat) T 20680 20682 20682 0 -1 4202496 99921 0 0 0 9822 15 0 0 25 0 1 0 538367953 404189184 94001 33554432000 4194304 4890832 140734763574992 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/20682/statm: 98679 94001 86 171 0 98506 0
[pid=20680/tid=20714] ppid=20606 vsize=623056 CPUtime=0 cores=1,3,5,7
/proc/20680/task/20714/stat : 20714 (python) S 20606 20606 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538377970 638009344 63556 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 514 18446604470943198272 0 0 -1 7 0 0 0
[pid=20703] ppid=20606 vsize=633312 CPUtime=0 cores=1,3,5,7
/proc/20703/stat : 20703 (python) S 20606 20606 20569 0 -1 4202560 964 0 0 0 0 0 0 0 18 0 1 0 538377862 648511488 63530 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 4437588526946550021 0 0 17 7 0 0 0
/proc/20703/statm: 158328 63530 370 364 0 94210 0
[pid=20705] ppid=20703 vsize=291468 CPUtime=4.34 cores=1,3,5,7
/proc/20705/stat : 20705 (precosat) R 20703 20705 20705 0 -1 4202496 75513 0 0 0 422 12 0 0 25 0 1 0 538377863 298463232 69601 33554432000 4194304 4890832 140735952662016 18446744073709551615 4450120 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/20705/statm: 72867 69601 80 171 0 72694 0
[pid=20707] ppid=20606 vsize=643568 CPUtime=0 cores=1,3,5,7
/proc/20707/stat : 20707 (python) S 20606 20606 20569 0 -1 4202560 835 0 0 0 0 0 0 0 18 0 1 0 538377958 659013632 63511 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 4437576982074458374 0 0 17 7 0 0 0
/proc/20707/statm: 160892 63511 347 364 0 96771 0
[pid=20709] ppid=20707 vsize=274052 CPUtime=3.39 cores=1,3,5,7
/proc/20709/stat : 20709 (precosat) R 20707 20709 20709 0 -1 4202496 72490 0 0 0 328 11 0 0 25 0 1 0 538377959 280629248 66567 33554432000 4194304 4890832 140735177050000 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/20709/statm: 68513 66567 79 171 0 68340 0
[pid=20711] ppid=20606 vsize=653824 CPUtime=0 cores=1,3,5,7
/proc/20711/stat : 20711 (python) S 20606 20606 20569 0 -1 4202560 854 0 0 0 0 0 0 0 18 0 1 0 538377968 669515776 63522 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 4408350038862823687 0 0 17 5 0 0 0
/proc/20711/statm: 163456 63522 354 364 0 99332 0
[pid=20713] ppid=20711 vsize=255128 CPUtime=3.29 cores=1,3,5,7
/proc/20713/stat : 20713 (precosat) R 20711 20713 20713 0 -1 4202496 67781 0 0 0 320 9 0 0 25 0 1 0 538377969 261251072 61864 33554432000 4194304 4890832 140734428734064 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/20713/statm: 63782 61864 79 171 0 63609 0
[pid=20715] ppid=20606 vsize=664080 CPUtime=0 cores=1,3,5,7
/proc/20715/stat : 20715 (python) S 20606 20606 20569 0 -1 4202560 870 0 0 0 0 0 0 0 18 0 1 0 538377973 680017920 63526 33554432000 4194304 5683644 140734375708112 18446744073709551615 235594886726 0 0 16781312 514 3653441573028331783 0 0 17 7 0 0 0
/proc/20715/statm: 166020 63526 354 364 0 101893 0
[pid=20717] ppid=20715 vsize=246748 CPUtime=3.16 cores=1,3,5,7
/proc/20717/stat : 20717 (precosat) R 20715 20717 20717 0 -1 4202496 65659 0 0 0 306 10 0 0 25 0 1 0 538377974 252669952 59730 33554432000 4194304 4890832 140733277668048 18446744073709551615 4467438 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/20717/statm: 61687 59730 79 171 0 61514 0
[pid=20606/tid=20623] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20623/stat : 20623 (python) S 20600 20606 20569 0 -1 4202560 22 927 0 9 0 0 0 0 19 0 17 0 538347910 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 3 0 0 0
[pid=20606/tid=20626] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20626/stat : 20626 (python) S 20600 20606 20569 0 -1 4202560 23 927 0 9 0 0 0 0 21 0 17 0 538347912 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20629] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20629/stat : 20629 (python) S 20600 20606 20569 0 -1 4202560 19 927 0 9 0 0 0 0 20 0 17 0 538347915 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 3 0 0 0
[pid=20606/tid=20632] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20632/stat : 20632 (python) S 20600 20606 20569 0 -1 4202560 23 927 0 9 0 0 0 0 22 0 17 0 538347917 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20639] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20639/stat : 20639 (python) S 20600 20606 20569 0 -1 4202560 28 927 0 9 0 0 0 0 20 0 17 0 538357828 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20643] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20643/stat : 20643 (python) S 20600 20606 20569 0 -1 4202560 28 927 0 9 0 0 0 0 20 0 17 0 538357925 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20647] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20647/stat : 20647 (python) S 20600 20606 20569 0 -1 4202560 30 927 0 9 0 0 0 0 21 0 17 0 538357930 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20651] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20651/stat : 20651 (python) S 20600 20606 20569 0 -1 4202560 34 927 0 9 0 0 0 0 22 0 17 0 538357934 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20669] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20669/stat : 20669 (python) S 20600 20606 20569 0 -1 4202560 27 927 0 9 0 0 0 0 20 0 17 0 538367844 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20673] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20673/stat : 20673 (python) S 20600 20606 20569 0 -1 4202560 27 927 0 9 0 0 0 0 20 0 17 0 538367941 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20678] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20678/stat : 20678 (python) S 20600 20606 20569 0 -1 4202560 22 927 0 9 0 0 0 0 21 0 17 0 538367950 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 1 0 0 0
[pid=20606/tid=20681] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20681/stat : 20681 (python) S 20600 20606 20569 0 -1 4202560 25 927 0 9 0 0 0 0 23 0 17 0 538367953 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20704] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20704/stat : 20704 (python) S 20600 20606 20569 0 -1 4202560 24 927 0 9 0 0 0 0 20 0 17 0 538377863 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20708] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20708/stat : 20708 (python) S 20600 20606 20569 0 -1 4202560 28 927 0 9 0 0 0 0 20 0 17 0 538377959 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
[pid=20606/tid=20712] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20712/stat : 20712 (python) S 20600 20606 20569 0 -1 4202560 25 927 0 9 0 0 0 0 21 0 17 0 538377969 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 5 0 0 0
[pid=20606/tid=20716] ppid=20600 vsize=674324 CPUtime=0 cores=1,3,5,7
/proc/20606/task/20716/stat : 20716 (python) S 20600 20606 20569 0 -1 4202560 26 927 0 9 0 0 0 0 22 0 17 0 538377973 690507776 65076 33554432000 4194304 5683644 140734375708112 18446744073709551615 235606690225 0 0 16781312 2 18446604471137884928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1398.46
Current children cumulated vsize (KiB) 15878756

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20606 and gives
#  childrusage.ru_utime.tv_sec=186
#  childrusage.ru_utime.tv_usec=956578
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=572912
# CPU time returned by wait4() is 187.529
# while last known CPU time is 1398.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 506.41
CPU time (s): 1398.46
CPU user time (s): 1394.86
CPU system time (s): 3.6
CPU usage (%): 276.152
Max. virtual memory (cumulated for all children) (KiB): 15878756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.957
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127683
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22513
involuntary context switches= 2381

runsolver used 1.44878 second user time and 3.36749 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-01 18:28:06
IDJOB=3317691
IDBENCH=20410
IDSOLVER=1706
FILE ID=node120/3317691-1304267284
RUNJOBID= node120-1304267283-20588
PBS_JOBID= 13173959
Free space on /tmp= 73240 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
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 -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317691-1304267284/watcher-3317691-1304267284 -o /tmp/evaluation-result-3317691-1304267284/solver-3317691-1304267284 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317691-1304267284.cnf -seed 344144970 -budget 4800 -cores 4

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

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=344144970

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30708556 kB
Buffers:        564500 kB
Cached:        1249880 kB
SwapCached:          8 kB
Active:         840492 kB
Inactive:      1037308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30708556 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:          113848 kB
Writeback:           0 kB
AnonPages:       63552 kB
Mapped:          14748 kB
Slab:           300560 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73176 MiB
End job on node120 at 2011-05-01 18:36:38