| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-seq-industrial (fixed) | ? (MO) | 1689.25 | 1712.32 |
| Name | industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf |
| MD5SUM | 409f4401e9e8b60ee665ac5567a13e41 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1057.43 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 359341 |
| Number of clauses | 1254773 |
| Sum of the clauses size | 3046189 |
| Maximum clause length | 57 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 256 |
| Number of clauses of size 2 | 896240 |
| Number of clauses of size 3 | 346435 |
| Number of clauses of size 4 | 830 |
| Number of clauses of size 5 | 571 |
| Number of clauses of size over 5 | 10441 |
0.66/25.26 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.66/25.26 c INFO: solving HOME/instance-3498257-1307953114.cnf 0.66/25.26 c INFO: computing task features 5.00/29.61 c INFO: computed variable-clause graph statistics 5.11/29.76 c INFO: computed clause balance statistics 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.76 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.77 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.78 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.11/29.79 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.80 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.81 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.82 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.83 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.84 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.85 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.86 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.87 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.88 Warning: invalid value encountered in divide 5.20/29.90 Warning: invalid value encountered in divide 5.20/29.90 Warning: invalid value encountered in divide 5.20/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.90 Warning: invalid value encountered in divide 5.30/29.91 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.92 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 5.30/29.93 Warning: invalid value encountered in divide 24.30/48.91 c INFO: computed variable balance statistics 38.20/62.87 c INFO: computed small-clause counts 38.71/63.35 c INFO: computed Horn-clause counts 187.51/212.18 c INFO: computed variable graph statistics 187.51/212.18 c INFO: collected features for HOME/instance-3498257-1307953114.cnf in 186.78 s 187.60/212.20 c INFO: running precosat-570@0 for 97 with 4813 remaining (b = nan) 287.78/312.34 c INFO: running precosat-570@0 for 97 with 4713 remaining (b = nan) 387.99/412.47 c INFO: running precosat-570@0 for 97 with 4613 remaining (b = nan) 488.29/512.61 c INFO: running precosat-570@0 for 97 with 4513 remaining (b = nan) 588.49/612.76 c INFO: running precosat-570@0 for 97 with 4413 remaining (b = nan) 688.81/712.92 c INFO: running precosat-570@0 for 97 with 4313 remaining (b = nan) 789.02/813.07 c INFO: running precosat-570@0 for 97 with 4213 remaining (b = nan) 888.35/912.23 c INFO: running precosat-570@0 for 97 with 4114 remaining (b = nan) 988.58/1012.39 c INFO: running precosat-570@0 for 97 with 4014 remaining (b = nan) 1088.88/1112.56 c INFO: running precosat-570@0 for 97 with 3914 remaining (b = nan) 1189.19/1212.74 c INFO: running precosat-570@0 for 97 with 3814 remaining (b = nan) 1289.54/1312.91 c INFO: running precosat-570@0 for 97 with 3714 remaining (b = nan) 1389.71/1413.09 c INFO: running precosat-570@0 for 97 with 3614 remaining (b = nan) 1489.97/1513.26 c INFO: running precosat-570@0 for 97 with 3514 remaining (b = nan) 1588.32/1611.46 c INFO: running precosat-570@0 for 97 with 3416 remaining (b = nan) 1688.65/1711.63 c INFO: running precosat-570@0 for 97 with 3316 remaining (b = nan)
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3498257-1307953114/watcher-3498257-1307953114 -o /var/tmp/evaluation-result-3498257-1307953114/solver-3498257-1307953114 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498257-1307953114.cnf -seed 462826349 -budget 5000 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.23 0.05 0.02 1/177 30352 /proc/meminfo: memFree=2725832/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=11804 CPUtime=0 cores=1,3,5,7 /proc/30352/stat : 30352 (runsolver) S 30347 30352 30305 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 887728278 12087296 51 33554432000 4194304 5436572 140735389728944 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0 /proc/30352/statm: 2951 51 31 304 0 2643 0 [startup+0.0436731 s] /proc/loadavg: 0.23 0.05 0.02 1/177 30352 /proc/meminfo: memFree=2725832/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=1964 CPUtime=0 cores=1,3,5,7 /proc/30352/stat : 30352 (python) D 30347 30352 30305 0 -1 4194304 76 0 1 0 0 0 0 0 18 0 1 0 887728278 2011136 29 33554432000 4194304 5683644 140737002472448 18446744073709551615 255101846544 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0 /proc/30352/statm: 491 29 21 364 0 37 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1964 [startup+0.100603 s] /proc/loadavg: 0.23 0.05 0.02 1/177 30352 /proc/meminfo: memFree=2725832/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=15184 CPUtime=0 cores=1,3,5,7 /proc/30352/stat : 30352 (python) D 30347 30352 30305 0 -1 4202496 719 0 6 0 0 0 0 0 17 0 1 0 887728278 15548416 615 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 7 0 0 5 /proc/30352/statm: 3796 615 321 364 0 283 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15184 [startup+0.300601 s] /proc/loadavg: 0.23 0.05 0.02 1/177 30352 /proc/meminfo: memFree=2725832/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=15908 CPUtime=0.01 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 939 0 6 0 0 1 0 0 16 0 1 0 887728278 16289792 821 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 8 /proc/30352/statm: 3977 821 357 364 0 464 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 15908 [startup+0.700481 s] /proc/loadavg: 0.23 0.05 0.02 1/177 30352 /proc/meminfo: memFree=2725832/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=16400 CPUtime=0.02 cores=1,3,5,7 /proc/30352/stat : 30352 (python) D 30347 30352 30305 0 -1 4202496 1111 0 6 0 1 1 0 0 16 0 1 0 887728278 16793600 985 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106768640 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 15 /proc/30352/statm: 4100 985 408 364 0 587 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16400 [startup+1.50039 s] /proc/loadavg: 0.23 0.05 0.02 1/178 30353 /proc/meminfo: memFree=2718448/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=16396 CPUtime=0.02 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 1112 0 6 0 1 1 0 0 16 0 1 0 887728278 16789504 985 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 17 /proc/30352/statm: 4099 985 409 364 0 586 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16396 [startup+3.10115 s] /proc/loadavg: 0.23 0.05 0.02 1/178 30353 /proc/meminfo: memFree=2717296/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=16816 CPUtime=0.03 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 1223 0 6 0 1 2 0 0 15 0 1 0 887728278 17219584 1086 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 31 /proc/30352/statm: 4204 1086 417 364 0 691 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 16816 heavy processes: [startup+6.3005 s] /proc/loadavg: 0.29 0.06 0.02 1/178 30353 /proc/meminfo: memFree=2716052/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=29788 CPUtime=0.08 cores=1,3,5,7 /proc/30352/stat : 30352 (python) D 30347 30352 30305 0 -1 4202496 1436 0 11 0 3 5 0 0 16 0 1 0 887728278 30502912 1288 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 7 0 0 45 /proc/30352/statm: 7447 1288 443 364 0 817 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 29788 heavy processes: [startup+12.7004 s] /proc/loadavg: 0.43 0.10 0.03 1/178 30353 /proc/meminfo: memFree=2710780/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=54540 CPUtime=0.13 cores=1,3,5,7 /proc/30352/stat : 30352 (python) D 30347 30352 30305 0 -1 4202496 2054 0 19 0 4 9 0 0 16 0 1 0 887728278 55848960 1829 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106768640 0 0 16781312 2 18446744071562234166 0 0 17 5 0 0 116 /proc/30352/statm: 13635 1829 492 364 0 1285 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 54540 heavy processes: [startup+25.5001 s] /proc/loadavg: 0.48 0.12 0.04 1/178 30361 /proc/meminfo: memFree=2652556/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=315828 CPUtime=0.9 cores=1,3,5,7 /proc/30352/stat : 30352 (python) R 30347 30352 30305 0 -1 4202496 18453 923 115 9 54 36 0 0 16 0 1 0 887728278 323407872 16239 33554432000 4194304 5683644 140737002472448 18446744073709551615 5007104 0 0 16781312 2 0 0 0 17 7 0 0 353 /proc/30352/statm: 78957 16239 1761 364 0 14881 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 315828 heavy processes: [startup+51.1007 s] /proc/loadavg: 0.99 0.27 0.09 3/178 30362 /proc/meminfo: memFree=2094384/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=520192 CPUtime=26.5 cores=1,3,5,7 /proc/30352/stat : 30352 (python) R 30347 30352 30305 0 -1 4202496 111066 923 115 9 2602 48 0 0 25 0 1 0 887728278 532676608 67436 33554432000 4194304 5683644 140737002472448 18446744073709551615 47586728671681 0 0 16781312 2 0 0 0 17 3 0 0 353 /proc/30352/statm: 130048 67436 1829 364 0 65972 0 Current children cumulated CPU time (s) 26.5 Current children cumulated vsize (KiB) 520192 heavy processes: [startup+102.301 s] /proc/loadavg: 1.56 0.54 0.19 3/178 30363 /proc/meminfo: memFree=2084360/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=529996 CPUtime=77.71 cores=1,3,5,7 /proc/30352/stat : 30352 (python) R 30347 30352 30305 0 -1 4202496 113523 923 115 9 7722 49 0 0 25 0 1 0 887728278 542715904 69893 33554432000 4194304 5683644 140737002472448 18446744073709551615 47586728433804 0 0 16781312 2 0 0 0 17 3 0 0 353 /proc/30352/statm: 132499 69893 1835 364 0 68423 0 Current children cumulated CPU time (s) 77.71 Current children cumulated vsize (KiB) 529996 heavy processes: [startup+162.3 s] /proc/loadavg: 1.84 0.80 0.30 3/178 30365 /proc/meminfo: memFree=2084440/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=529996 CPUtime=137.72 cores=1,3,5,7 /proc/30352/stat : 30352 (python) R 30347 30352 30305 0 -1 4202496 113523 923 115 9 13723 49 0 0 25 0 1 0 887728278 542715904 69893 33554432000 4194304 5683644 140737002472448 18446744073709551615 47586728433804 0 0 16781312 2 0 0 0 17 3 0 0 353 /proc/30352/statm: 132499 69893 1835 364 0 68423 0 Current children cumulated CPU time (s) 137.72 Current children cumulated vsize (KiB) 529996 [startup+222.301 s] /proc/loadavg: 1.98 1.03 0.41 3/181 30370 /proc/meminfo: memFree=1727844/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=520484 CPUtime=187.6 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 113878 923 115 9 18711 49 0 0 19 0 2 0 887728278 532975616 64986 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 353 /proc/30352/statm: 130121 64986 1869 364 0 66039 0 [pid=30367] ppid=30352 vsize=510240 CPUtime=0.01 cores=1,3,5,7 /proc/30367/stat : 30367 (python) S 30352 30352 30305 0 -1 4202560 936 0 0 0 1 0 0 0 18 0 1 0 887749499 522485760 63494 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106788879 0 0 16781312 514 4350199892526727432 0 0 17 3 0 0 0 /proc/30367/statm: 127560 63494 381 364 0 63478 0 [pid=30369] ppid=30367 vsize=391928 CPUtime=10.07 cores=1,3,5,7 /proc/30369/stat : 30369 (precosat) R 30367 30369 30369 0 -1 4202496 99229 0 0 0 993 14 0 0 25 0 1 0 887749499 401334272 93326 33554432000 4194304 4890832 140735635366784 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/30369/statm: 97982 93326 86 171 0 97809 0 [pid=30352/tid=30368] ppid=30347 vsize=520484 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30368/stat : 30368 (python) S 30347 30352 30305 0 -1 4202560 23 923 0 9 0 0 0 0 19 0 2 0 887749499 532975616 64986 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 197.68 Current children cumulated vsize (KiB) 1422652 [startup+282.306 s] /proc/loadavg: 2.03 1.22 0.51 3/181 30371 /proc/meminfo: memFree=1727200/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=520484 CPUtime=187.6 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 113878 923 115 9 18711 49 0 0 19 0 2 0 887728278 532975616 64986 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 353 /proc/30352/statm: 130121 64986 1869 364 0 66039 0 [pid=30367] ppid=30352 vsize=510240 CPUtime=0.08 cores=1,3,5,7 /proc/30367/stat : 30367 (python) S 30352 30352 30305 0 -1 4202560 956 0 0 0 5 3 0 0 18 0 1 0 887749499 522485760 63494 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106788879 0 0 16781312 514 11745915593763553544 0 0 17 3 0 0 0 /proc/30367/statm: 127560 63494 381 364 0 63478 0 [pid=30369] ppid=30367 vsize=391928 CPUtime=70.07 cores=1,3,5,7 /proc/30369/stat : 30369 (precosat) R 30367 30369 30369 0 -1 4202496 99334 0 0 0 6993 14 0 0 25 0 1 0 887749499 401334272 93431 33554432000 4194304 4890832 140735635366784 18446744073709551615 4232205 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/30369/statm: 97982 93431 86 171 0 97809 0 [pid=30352/tid=30368] ppid=30347 vsize=520484 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30368/stat : 30368 (python) S 30347 30352 30305 0 -1 4202560 23 923 0 9 0 0 0 0 19 0 2 0 887749499 532975616 64986 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 257.75 Current children cumulated vsize (KiB) 1422652 [startup+342.301 s] /proc/loadavg: 2.01 1.36 0.60 3/185 30377 /proc/meminfo: memFree=1346592/32951124 swapFree=67055536/67111528 [pid=30352] ppid=30347 vsize=530740 CPUtime=187.63 cores=1,3,5,7 /proc/30352/stat : 30352 (python) S 30347 30352 30305 0 -1 4202496 114677 923 115 9 18713 50 0 0 19 0 3 0 887728278 543477760 64993 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 353 /proc/30352/statm: 132685 64993 1872 364 0 68600 0 [pid=30367] ppid=30352 vsize=520484 CPUtime=0.11 cores=1,3,5,7 /proc/30367/stat : 30367 (python) S 30352 30352 30305 0 -1 4202560 1127 0 0 0 7 4 0 0 19 0 2 0 887749499 532975616 63532 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30367/statm: 130121 63532 414 364 0 66039 0 [pid=30369] ppid=30367 vsize=391928 CPUtime=100.1 cores=1,3,5,7 /proc/30369/stat : 30369 (precosat) T 30367 30369 30369 0 -1 4202496 99334 0 0 0 9996 14 0 0 25 0 1 0 887749499 401334272 93431 33554432000 4194304 4890832 140735635366784 18446744073709551615 4238719 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30369/statm: 97982 93431 86 171 0 97809 0 [pid=30367/tid=30373] ppid=30352 vsize=520484 CPUtime=0 cores=1,3,5,7 /proc/30367/task/30373/stat : 30373 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887759510 532975616 63532 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471105422272 0 0 -1 1 0 0 0 [pid=30374] ppid=30352 vsize=520496 CPUtime=0.03 cores=1,3,5,7 /proc/30374/stat : 30374 (python) S 30352 30352 30305 0 -1 4202560 883 0 0 0 1 2 0 0 18 0 1 0 887759512 532987904 63487 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106788934 0 0 16781312 514 11745915593763553542 0 0 17 3 0 0 0 /proc/30374/statm: 130124 63487 370 364 0 66039 0 [pid=30376] ppid=30374 vsize=394028 CPUtime=29.93 cores=1,3,5,7 /proc/30376/stat : 30376 (precosat) R 30374 30376 30376 0 -1 4202496 99843 0 0 0 2982 11 0 0 25 0 1 0 887759513 403484672 93935 33554432000 4194304 4890832 140737401840560 18446744073709551615 4293696 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/30376/statm: 98507 93935 86 171 0 98334 0 [pid=30352/tid=30368] ppid=30347 vsize=530740 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30368/stat : 30368 (python) S 30347 30352 30305 0 -1 4202560 23 923 0 9 0 0 0 0 19 0 3 0 887749499 543477760 64993 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30375] ppid=30347 vsize=530740 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30375/stat : 30375 (python) S 30347 30352 30305 0 -1 4202560 25 923 0 9 0 0 0 0 20 0 3 0 887759513 543477760 64993 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 ################ # More data... # ################ /proc/30369/stat : 30369 (precosat) T 30367 30369 30369 0 -1 4202496 99334 0 0 0 9996 14 0 0 25 0 1 0 887749499 401334272 93431 33554432000 4194304 4890832 140735635366784 18446744073709551615 4238719 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30369/statm: 97982 93431 86 171 0 97809 0 [pid=30367/tid=30373] ppid=30352 vsize=520484 CPUtime=0 cores=1,3,5,7 /proc/30367/task/30373/stat : 30373 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887759510 532975616 63532 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471105422272 0 0 -1 1 0 0 0 [pid=30374] ppid=30352 vsize=520496 CPUtime=0.11 cores=1,3,5,7 /proc/30374/stat : 30374 (python) S 30352 30352 30305 0 -1 4202560 1077 0 0 0 5 6 0 0 19 0 2 0 887759512 532987904 63517 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30374/statm: 130124 63517 399 364 0 66039 0 [pid=30376] ppid=30374 vsize=394028 CPUtime=100.1 cores=1,3,5,7 /proc/30376/stat : 30376 (precosat) T 30374 30376 30376 0 -1 4202496 99881 0 0 0 9998 12 0 0 25 0 1 0 887759513 403484672 93973 33554432000 4194304 4890832 140737401840560 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30376/statm: 98507 93973 86 171 0 98334 0 [pid=30374/tid=30386] ppid=30352 vsize=520496 CPUtime=0 cores=1,3,5,7 /proc/30374/task/30386/stat : 30386 (python) S 30352 30352 30305 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 887769524 532987904 63517 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604454223472448 0 0 -1 7 0 0 0 [pid=30387] ppid=30352 vsize=530752 CPUtime=0.12 cores=1,3,5,7 /proc/30387/stat : 30387 (python) S 30352 30352 30305 0 -1 4202560 1075 0 0 0 6 6 0 0 19 0 2 0 887769526 543490048 63521 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30387/statm: 132688 63521 399 364 0 68600 0 [pid=30389] ppid=30387 vsize=395508 CPUtime=100.1 cores=1,3,5,7 /proc/30389/stat : 30389 (precosat) T 30387 30389 30389 0 -1 4202496 100219 0 0 0 9997 13 0 0 25 0 1 0 887769526 405000192 94318 33554432000 4194304 4890832 140734009527168 18446744073709551615 4238331 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30389/statm: 98877 94318 86 171 0 98704 0 [pid=30387/tid=30396] ppid=30352 vsize=530752 CPUtime=0 cores=1,3,5,7 /proc/30387/task/30396/stat : 30396 (python) S 30352 30352 30305 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 887779538 543490048 63521 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471138166720 0 0 -1 3 0 0 0 [pid=30397] ppid=30352 vsize=541008 CPUtime=0.13 cores=1,3,5,7 /proc/30397/stat : 30397 (python) S 30352 30352 30305 0 -1 4202560 1118 0 0 0 7 6 0 0 19 0 2 0 887779539 553992192 63525 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/30397/statm: 135252 63525 399 364 0 71161 0 [pid=30399] ppid=30397 vsize=395116 CPUtime=100.11 cores=1,3,5,7 /proc/30399/stat : 30399 (precosat) T 30397 30399 30399 0 -1 4202496 100072 0 0 0 9996 15 0 0 25 0 1 0 887779540 404598784 94166 33554432000 4194304 4890832 140737141157504 18446744073709551615 4295221 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30399/statm: 98779 94166 86 171 0 98606 0 [pid=30397/tid=30407] ppid=30352 vsize=541008 CPUtime=0 cores=1,3,5,7 /proc/30397/task/30407/stat : 30407 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887789553 553992192 63525 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471159079360 0 0 -1 5 0 0 0 [pid=30408] ppid=30352 vsize=551264 CPUtime=0.13 cores=1,3,5,7 /proc/30408/stat : 30408 (python) S 30352 30352 30305 0 -1 4202560 1097 0 0 0 7 6 0 0 19 0 2 0 887789554 564494336 63529 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0 /proc/30408/statm: 137816 63529 399 364 0 73722 0 [pid=30410] ppid=30408 vsize=392868 CPUtime=100.12 cores=1,3,5,7 /proc/30410/stat : 30410 (precosat) T 30408 30410 30410 0 -1 4202496 99495 0 0 0 9998 14 0 0 25 0 1 0 887789555 402296832 93588 33554432000 4194304 4890832 140735922947632 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30410/statm: 98217 93588 86 171 0 98044 0 [pid=30408/tid=30418] ppid=30352 vsize=551264 CPUtime=0 cores=1,3,5,7 /proc/30408/task/30418/stat : 30418 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887799568 564494336 63529 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471161704576 0 0 -1 1 0 0 0 [pid=30419] ppid=30352 vsize=561520 CPUtime=0.14 cores=1,3,5,7 /proc/30419/stat : 30419 (python) S 30352 30352 30305 0 -1 4202560 1117 0 0 0 6 8 0 0 19 0 2 0 887799570 574996480 63533 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/30419/statm: 140380 63533 399 364 0 76283 0 [pid=30421] ppid=30419 vsize=393100 CPUtime=100.11 cores=1,3,5,7 /proc/30421/stat : 30421 (precosat) T 30419 30421 30421 0 -1 4202496 99624 0 0 0 9999 12 0 0 25 0 1 0 887799571 402534400 93718 33554432000 4194304 4890832 140737031605040 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30421/statm: 98275 93718 86 171 0 98102 0 [pid=30419/tid=30428] ppid=30352 vsize=561520 CPUtime=0 cores=1,3,5,7 /proc/30419/task/30428/stat : 30428 (python) S 30352 30352 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887809584 574996480 63533 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471138167616 0 0 -1 7 0 0 0 [pid=30429] ppid=30352 vsize=571776 CPUtime=0.14 cores=1,3,5,7 /proc/30429/stat : 30429 (python) S 30352 30352 30305 0 -1 4202560 1170 0 0 0 8 6 0 0 19 0 2 0 887809585 585498624 63543 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30429/statm: 142944 63543 405 364 0 78844 0 [pid=30431] ppid=30429 vsize=389916 CPUtime=99.12 cores=1,3,5,7 /proc/30431/stat : 30431 (precosat) T 30429 30431 30431 0 -1 4202496 98766 0 0 0 9898 14 0 0 25 0 1 0 887809586 399273984 92855 33554432000 4194304 4890832 140736014211024 18446744073709551615 4238686 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30431/statm: 97479 92855 86 171 0 97306 0 [pid=30429/tid=30439] ppid=30352 vsize=571776 CPUtime=0 cores=1,3,5,7 /proc/30429/task/30439/stat : 30439 (python) S 30352 30352 30305 0 -1 4202560 92 0 0 0 0 0 0 0 19 0 2 0 887819500 585498624 63543 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471138165824 0 0 -1 5 0 0 0 [pid=30440] ppid=30352 vsize=582032 CPUtime=0.13 cores=1,3,5,7 /proc/30440/stat : 30440 (python) S 30352 30352 30305 0 -1 4202560 1169 0 0 0 7 6 0 0 19 0 2 0 887819502 596000768 63547 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30440/statm: 145508 63547 405 364 0 81405 0 [pid=30442] ppid=30440 vsize=391928 CPUtime=100.12 cores=1,3,5,7 /proc/30442/stat : 30442 (precosat) T 30440 30442 30442 0 -1 4202496 99310 0 0 0 9997 15 0 0 25 0 1 0 887819502 401334272 93399 33554432000 4194304 4890832 140735156191328 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30442/statm: 97982 93399 86 171 0 97809 0 [pid=30440/tid=30450] ppid=30352 vsize=582032 CPUtime=0 cores=1,3,5,7 /proc/30440/task/30450/stat : 30450 (python) S 30352 30352 30305 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 887829515 596000768 63547 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604471159082048 0 0 -1 3 0 0 0 [pid=30451] ppid=30352 vsize=592288 CPUtime=0.15 cores=1,3,5,7 /proc/30451/stat : 30451 (python) S 30352 30352 30305 0 -1 4202560 1127 0 0 0 8 7 0 0 19 0 2 0 887829517 606502912 63545 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/30451/statm: 148072 63545 399 364 0 83966 0 [pid=30453] ppid=30451 vsize=395124 CPUtime=100.11 cores=1,3,5,7 /proc/30453/stat : 30453 (precosat) T 30451 30453 30453 0 -1 4202496 100118 0 0 0 9996 15 0 0 25 0 1 0 887829518 404606976 94203 33554432000 4194304 4890832 140736708030000 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30453/statm: 98781 94203 86 171 0 98608 0 [pid=30451/tid=30460] ppid=30352 vsize=592288 CPUtime=0 cores=1,3,5,7 /proc/30451/task/30460/stat : 30460 (python) S 30352 30352 30305 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 887839532 606502912 63545 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604470924560576 0 0 -1 3 0 0 0 [pid=30461] ppid=30352 vsize=602544 CPUtime=0.15 cores=1,3,5,7 /proc/30461/stat : 30461 (python) S 30352 30352 30305 0 -1 4202560 1154 0 0 0 8 7 0 0 19 0 2 0 887839534 617005056 63549 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30461/statm: 150636 63549 399 364 0 86527 0 [pid=30463] ppid=30461 vsize=393044 CPUtime=100.11 cores=1,3,5,7 /proc/30463/stat : 30463 (precosat) T 30461 30463 30463 0 -1 4202496 99546 0 0 0 9996 15 0 0 25 0 1 0 887839535 402477056 93635 33554432000 4194304 4890832 140734551140032 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30463/statm: 98261 93635 86 171 0 98088 0 [pid=30461/tid=30471] ppid=30352 vsize=602544 CPUtime=0 cores=1,3,5,7 /proc/30461/task/30471/stat : 30471 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887849550 617005056 63549 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604470924559680 0 0 -1 5 0 0 0 [pid=30472] ppid=30352 vsize=612800 CPUtime=0.15 cores=1,3,5,7 /proc/30472/stat : 30472 (python) S 30352 30352 30305 0 -1 4202560 1129 0 0 0 7 8 0 0 19 0 2 0 887849552 627507200 63553 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0 /proc/30472/statm: 153200 63553 399 364 0 89088 0 [pid=30474] ppid=30472 vsize=395340 CPUtime=100.13 cores=1,3,5,7 /proc/30474/stat : 30474 (precosat) T 30472 30474 30474 0 -1 4202496 100159 0 0 0 10001 12 0 0 25 0 1 0 887849553 404828160 94248 33554432000 4194304 4890832 140734186332848 18446744073709551615 4232456 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/30474/statm: 98835 94248 86 171 0 98662 0 [pid=30472/tid=30482] ppid=30352 vsize=612800 CPUtime=0 cores=1,3,5,7 /proc/30472/task/30482/stat : 30482 (python) S 30352 30352 30305 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 887859567 627507200 63553 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604470218164096 0 0 -1 3 0 0 0 [pid=30483] ppid=30352 vsize=623056 CPUtime=0.15 cores=1,3,5,7 /proc/30483/stat : 30483 (python) S 30352 30352 30305 0 -1 4202560 1146 0 0 0 8 7 0 0 19 0 2 0 887859569 638009344 63557 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/30483/statm: 155764 63557 399 364 0 91649 0 [pid=30485] ppid=30483 vsize=392984 CPUtime=100.08 cores=1,3,5,7 /proc/30485/stat : 30485 (precosat) T 30483 30485 30485 0 -1 4202496 99599 0 0 0 9994 14 0 0 25 0 1 0 887859570 402415616 93681 33554432000 4194304 4890832 140733591062944 18446744073709551615 4238327 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0 /proc/30485/statm: 98246 93681 86 171 0 98073 0 [pid=30483/tid=30492] ppid=30352 vsize=623056 CPUtime=0 cores=1,3,5,7 /proc/30483/task/30492/stat : 30492 (python) S 30352 30352 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887869585 638009344 63557 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604470218163200 0 0 -1 1 0 0 0 [pid=30493] ppid=30352 vsize=633312 CPUtime=0.15 cores=1,3,5,7 /proc/30493/stat : 30493 (python) S 30352 30352 30305 0 -1 4202560 1136 0 0 0 8 7 0 0 19 0 2 0 887869587 648511488 63561 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/30493/statm: 158328 63561 399 364 0 94210 0 [pid=30495] ppid=30493 vsize=392720 CPUtime=100.07 cores=1,3,5,7 /proc/30495/stat : 30495 (precosat) T 30493 30495 30495 0 -1 4202496 99483 0 0 0 9993 14 0 0 25 0 1 0 887869588 402145280 93573 33554432000 4194304 4890832 140735351668016 18446744073709551615 4213733 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30495/statm: 98180 93573 86 171 0 98007 0 [pid=30493/tid=30503] ppid=30352 vsize=633312 CPUtime=0 cores=1,3,5,7 /proc/30493/task/30503/stat : 30503 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887879603 648511488 63561 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604451563968448 0 0 -1 7 0 0 0 [pid=30504] ppid=30352 vsize=643568 CPUtime=0.16 cores=1,3,5,7 /proc/30504/stat : 30504 (python) S 30352 30352 30305 0 -1 4202560 1160 0 0 0 9 7 0 0 19 0 2 0 887879605 659013632 63574 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/30504/statm: 160892 63574 408 364 0 96771 0 [pid=30506] ppid=30504 vsize=395552 CPUtime=98.16 cores=1,3,5,7 /proc/30506/stat : 30506 (precosat) T 30504 30506 30506 0 -1 4202496 100142 0 0 0 9802 14 0 0 25 0 1 0 887879605 405045248 94231 33554432000 4194304 4890832 140735939657728 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30506/statm: 98888 94231 86 171 0 98715 0 [pid=30504/tid=30560] ppid=30352 vsize=643568 CPUtime=0 cores=1,3,5,7 /proc/30504/task/30560/stat : 30560 (python) S 30352 30352 30305 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 887889422 659013632 63574 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604451563967552 0 0 -1 7 0 0 0 [pid=30561] ppid=30352 vsize=653824 CPUtime=0.14 cores=1,3,5,7 /proc/30561/stat : 30561 (python) S 30352 30352 30305 0 -1 4202560 1190 0 0 0 8 6 0 0 19 0 2 0 887889424 669515776 63576 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0 /proc/30561/statm: 163456 63576 406 364 0 99332 0 [pid=30563] ppid=30561 vsize=394916 CPUtime=100.12 cores=1,3,5,7 /proc/30563/stat : 30563 (precosat) T 30561 30563 30563 0 -1 4202496 99994 0 0 0 9999 13 0 0 25 0 1 0 887889425 404393984 94076 33554432000 4194304 4890832 140734515929856 18446744073709551615 4238544 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0 /proc/30563/statm: 98729 94076 86 171 0 98556 0 [pid=30561/tid=30567] ppid=30352 vsize=653824 CPUtime=0 cores=1,3,5,7 /proc/30561/task/30567/stat : 30567 (python) S 30352 30352 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887899439 669515776 63576 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 514 18446604438109784064 0 0 -1 1 0 0 0 [pid=30568] ppid=30352 vsize=664080 CPUtime=0 cores=1,3,5,7 /proc/30568/stat : 30568 (python) S 30352 30352 30305 0 -1 4202560 831 0 0 0 0 0 0 0 19 0 1 0 887899442 680017920 63523 33554432000 4194304 5683644 140737002472448 18446744073709551615 255106788934 0 0 16781312 514 10208961619904430079 0 0 17 7 0 0 0 /proc/30568/statm: 166020 63523 350 364 0 101893 0 [pid=30570] ppid=30568 vsize=151128 CPUtime=0.56 cores=1,3,5,7 /proc/30570/stat : 30570 (precosat) R 30568 30570 30570 0 -1 4202496 36147 0 0 0 51 5 0 0 22 0 1 0 887899443 154755072 35870 33554432000 4194304 4890832 140734315652032 18446744073709551615 4487008 0 0 16781312 17442 0 0 0 17 1 0 0 0 /proc/30570/statm: 37782 35871 65 171 0 37609 0 [pid=30352/tid=30368] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30368/stat : 30368 (python) S 30347 30352 30305 0 -1 4202560 23 923 0 9 0 0 0 0 19 0 17 0 887749499 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30375] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30375/stat : 30375 (python) S 30347 30352 30305 0 -1 4202560 25 923 0 9 0 0 0 0 20 0 17 0 887759513 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30388] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30388/stat : 30388 (python) S 30347 30352 30305 0 -1 4202560 27 923 0 9 0 0 0 0 20 0 17 0 887769526 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 5 0 0 0 [pid=30352/tid=30398] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30398/stat : 30398 (python) S 30347 30352 30305 0 -1 4202560 26 923 0 9 0 0 0 0 20 0 17 0 887779540 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 1 0 0 0 [pid=30352/tid=30409] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30409/stat : 30409 (python) S 30347 30352 30305 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 17 0 887789555 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 7 0 0 0 [pid=30352/tid=30420] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30420/stat : 30420 (python) S 30347 30352 30305 0 -1 4202560 29 923 0 9 0 0 0 0 20 0 17 0 887799571 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30430] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30430/stat : 30430 (python) S 30347 30352 30305 0 -1 4202560 28 923 0 9 0 0 0 0 20 0 17 0 887809586 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30441] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30441/stat : 30441 (python) S 30347 30352 30305 0 -1 4202560 27 923 0 9 0 0 0 0 20 0 17 0 887819502 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 1 0 0 0 [pid=30352/tid=30452] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30452/stat : 30452 (python) S 30347 30352 30305 0 -1 4202560 27 923 0 9 0 0 0 0 20 0 17 0 887829518 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 1 0 0 0 [pid=30352/tid=30462] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30462/stat : 30462 (python) S 30347 30352 30305 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 17 0 887839535 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 3 0 0 0 [pid=30352/tid=30473] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30473/stat : 30473 (python) S 30347 30352 30305 0 -1 4202560 26 923 0 9 0 0 0 0 20 0 17 0 887849553 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 7 0 0 0 [pid=30352/tid=30484] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30484/stat : 30484 (python) S 30347 30352 30305 0 -1 4202560 28 923 0 9 0 0 0 0 20 0 17 0 887859570 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 7 0 0 0 [pid=30352/tid=30494] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30494/stat : 30494 (python) S 30347 30352 30305 0 -1 4202560 25 923 0 9 0 0 0 0 20 0 17 0 887869588 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 1 0 0 0 [pid=30352/tid=30505] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30505/stat : 30505 (python) S 30347 30352 30305 0 -1 4202560 25 923 0 9 0 0 0 0 20 0 17 0 887879605 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 1 0 0 0 [pid=30352/tid=30562] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30562/stat : 30562 (python) S 30347 30352 30305 0 -1 4202560 29 923 0 9 0 0 0 0 20 0 17 0 887889425 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 7 0 0 0 [pid=30352/tid=30569] ppid=30347 vsize=674324 CPUtime=0 cores=1,3,5,7 /proc/30352/task/30569/stat : 30569 (python) S 30347 30352 30305 0 -1 4202560 23 923 0 9 0 0 0 0 20 0 17 0 887899442 690507776 65077 33554432000 4194304 5683644 140737002472448 18446744073709551615 255118592433 0 0 16781312 2 18446604471110767808 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1689.25 Current children cumulated vsize (KiB) 16134328 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30352 and gives # childrusage.ru_utime.tv_sec=187 # childrusage.ru_utime.tv_usec=367515 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=628904 # CPU time returned by wait4() is 187.996 # while last known CPU time is 1689.25 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1712.32 CPU time (s): 1689.25 CPU user time (s): 1685.56 CPU system time (s): 3.69 CPU usage (%): 98.6529 Max. virtual memory (cumulated for all children) (KiB): 16134328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 187.368 system time used= 0.628904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128185 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= 16848 involuntary context switches= 364 runsolver used 6.41402 second user time and 13.072 second system time The end
Begin job on node144 at 2011-06-13 10:18:35 IDJOB=3498257 IDBENCH=20410 IDSOLVER=1991 FILE ID=node144/3498257-1307953114 RUNJOBID= node144-1307953113-30325 PBS_JOBID= 13559684 Free space on /var/tmp= 2872 MiB SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed) BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498257-1307953114/watcher-3498257-1307953114 -o /var/tmp/evaluation-result-3498257-1307953114/solver-3498257-1307953114 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498257-1307953114.cnf -seed 462826349 -budget 5000 TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41 RANDOM SEED=462826349 node144.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.850 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.70 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.850 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.16 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.83 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.82 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2727508 kB Buffers: 104624 kB Cached: 29166468 kB SwapCached: 9608 kB Active: 13895560 kB Inactive: 15394176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2727508 kB SwapTotal: 67111528 kB SwapFree: 67055536 kB Dirty: 114612 kB Writeback: 0 kB AnonPages: 16712 kB Mapped: 12644 kB Slab: 868588 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184840 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 /var/tmp at the end= 2828 MiB End job on node144 at 2011-06-13 10:47:16