| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-par-industrial (fixed) | ? (MO) | 1409.72 | 499.229 |
| 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 | 1110.09 |
| 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.32/1.37 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.32/1.37 c INFO: solving HOME/instance-3378747-1305463247.cnf 0.32/1.37 c INFO: computing task features 5.11/6.15 c INFO: computed variable-clause graph statistics 5.31/6.32 c INFO: computed clause balance statistics 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.32 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.33 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.34 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.35 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.36 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.37 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.38 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.39 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.40 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.31/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.41 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.42 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.43 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.44 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.45 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.42/6.47 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.50 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 5.51/6.52 Warning: invalid value encountered in divide 27.51/28.59 c INFO: computed variable balance statistics 42.61/43.69 c INFO: computed small-clause counts 43.10/44.18 c INFO: computed Horn-clause counts 192.21/193.23 c INFO: computed variable graph statistics 192.21/193.23 c INFO: collected features for HOME/instance-3378747-1305463247.cnf in 191.71 s 192.21/193.24 c INFO: running precosat-570@0 for 97 with 1008 remaining (b = nan) 192.21/193.25 c INFO: running precosat-570@0 for 97 with 1008 remaining (b = nan) 192.21/193.26 c INFO: running precosat-570@0 for 97 with 1008 remaining (b = nan) 192.21/193.28 c INFO: running precosat-570@0 for 97 with 1008 remaining (b = nan) 588.01/292.53 c INFO: running precosat-570@0 for 97 with 908 remaining (b = nan) 592.01/293.51 c INFO: running precosat-570@0 for 97 with 907 remaining (b = nan) 592.01/293.56 c INFO: running precosat-570@0 for 97 with 907 remaining (b = nan) 592.01/293.58 c INFO: running precosat-570@0 for 97 with 907 remaining (b = nan) 987.00/392.82 c INFO: running precosat-570@0 for 97 with 808 remaining (b = nan) 987.00/392.87 c INFO: running precosat-570@0 for 97 with 808 remaining (b = nan) 990.93/393.82 c INFO: running precosat-570@0 for 97 with 807 remaining (b = nan) 1007.21/397.91 c INFO: running precosat-570@0 for 97 with 803 remaining (b = nan) 1378.34/491.20 c INFO: running precosat-570@0 for 97 with 710 remaining (b = nan) 1385.88/493.12 c INFO: running precosat-570@0 for 97 with 708 remaining (b = nan) 1405.78/498.19 c INFO: running precosat-570@0 for 97 with 703 remaining (b = nan) 1406.12/498.23 c INFO: running precosat-570@0 for 97 with 703 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.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378747-1305463247/watcher-3378747-1305463247 -o /tmp/evaluation-result-3378747-1305463247/solver-3378747-1305463247 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378747-1305463247.cnf -seed 850910068 -budget 4800 -cores 4 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=15184 CPUtime=0 cores=0,2,4,6 /proc/26292/stat : 26292 (python) S 26290 26292 26250 0 -1 4202496 727 0 0 0 0 0 0 0 22 0 1 0 657923568 15548416 617 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0 /proc/26292/statm: 3796 617 322 364 0 283 0 [startup+0.100161 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=104220 CPUtime=0.06 cores=0,2,4,6 /proc/26292/stat : 26292 (python) S 26290 26292 26250 0 -1 4202496 3035 0 0 0 4 2 0 0 17 0 1 0 657923568 106721280 2725 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0 /proc/26292/statm: 26055 2725 847 364 0 1803 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 104220 [startup+0.201168 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=128868 CPUtime=0.15 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 5587 940 1 0 11 4 0 0 19 0 1 0 657923568 131960832 4019 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594909831 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/26292/statm: 32217 4019 1011 364 0 2996 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 128868 [startup+0.30106 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=157384 CPUtime=0.23 cores=0,2,4,6 /proc/26292/stat : 26292 (python) D 26290 26292 26250 0 -1 4202496 6588 940 1 0 16 7 0 0 18 0 1 0 657923568 161161216 4696 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594872375 0 0 16781312 2 18446744071562234512 0 0 17 2 0 0 0 /proc/26292/statm: 39346 4696 1257 364 0 3454 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 157384 [startup+1.28089 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=245784 CPUtime=0.3 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 7977 940 1 0 21 9 0 0 17 0 1 0 657923568 251682816 5875 33554432000 4194304 5683644 140734004278688 18446744073709551615 4619584 0 0 16781312 2 0 0 0 17 2 0 0 89 /proc/26292/statm: 61446 5875 1621 364 0 4448 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 245784 [startup+1.50085 s] /proc/loadavg: 3.46 3.88 3.61 1/310 26292 /proc/meminfo: memFree=20272388/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=308860 CPUtime=0.51 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 16816 940 1 0 40 11 0 0 17 0 1 0 657923568 316272640 14494 33554432000 4194304 5683644 140734004278688 18446744073709551615 4571177 0 0 16781312 2 0 0 0 17 2 0 0 89 /proc/26292/statm: 77215 14496 1761 364 0 13139 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 308860 [startup+3.11169 s] /proc/loadavg: 3.46 3.88 3.61 3/311 26297 /proc/meminfo: memFree=20046700/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=412388 CPUtime=2.11 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 42218 940 1 0 197 14 0 0 20 0 1 0 657923568 422285312 39896 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594527429 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 103097 39896 1761 364 0 39021 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 412388 heavy processes: [startup+6.30112 s] /proc/loadavg: 3.34 3.85 3.60 3/311 26297 /proc/meminfo: memFree=19929928/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=520192 CPUtime=5.31 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 111163 940 1 0 508 23 0 0 25 0 1 0 657923568 532676608 67426 33554432000 4194304 5683644 140734004278688 18446744073709551615 46920110616234 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 130048 67426 1820 364 0 65972 0 Current children cumulated CPU time (s) 5.31 Current children cumulated vsize (KiB) 520192 [startup+12.701 s] /proc/loadavg: 3.24 3.82 3.59 3/311 26297 /proc/meminfo: memFree=19930080/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=520192 CPUtime=11.71 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 111171 940 1 0 1147 24 0 0 25 0 1 0 657923568 532676608 67434 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594524876 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 130048 67434 1828 364 0 65972 0 Current children cumulated CPU time (s) 11.71 Current children cumulated vsize (KiB) 520192 [startup+25.5006 s] /proc/loadavg: 2.96 3.73 3.57 3/311 26297 /proc/meminfo: memFree=19930776/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=520192 CPUtime=24.51 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 111171 940 1 0 2427 24 0 0 25 0 1 0 657923568 532676608 67434 33554432000 4194304 5683644 140734004278688 18446744073709551615 4509424 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 130048 67434 1828 364 0 65972 0 Current children cumulated CPU time (s) 24.51 Current children cumulated vsize (KiB) 520192 [startup+51.1001 s] /proc/loadavg: 3.66 3.83 3.60 6/323 26310 /proc/meminfo: memFree=19465128/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=529996 CPUtime=50.1 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 113629 940 1 0 4986 24 0 0 25 0 1 0 657923568 542715904 69892 33554432000 4194304 5683644 140734004278688 18446744073709551615 46920105465987 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 132499 69892 1835 364 0 68423 0 Current children cumulated CPU time (s) 50.1 Current children cumulated vsize (KiB) 529996 [startup+102.3 s] /proc/loadavg: 4.46 4.02 3.68 6/323 26311 /proc/meminfo: memFree=19463780/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=529996 CPUtime=101.31 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 113629 940 1 0 10106 25 0 0 25 0 1 0 657923568 542715904 69892 33554432000 4194304 5683644 140734004278688 18446744073709551615 46920105465996 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 132499 69892 1835 364 0 68423 0 Current children cumulated CPU time (s) 101.31 Current children cumulated vsize (KiB) 529996 [startup+162.301 s] /proc/loadavg: 4.89 4.23 3.77 6/339 26329 /proc/meminfo: memFree=18999200/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=529996 CPUtime=161.31 cores=0,2,4,6 /proc/26292/stat : 26292 (python) R 26290 26292 26250 0 -1 4202496 113629 940 1 0 16106 25 0 0 25 0 1 0 657923568 542715904 69892 33554432000 4194304 5683644 140734004278688 18446744073709551615 46920105465984 0 0 16781312 2 0 0 0 17 0 0 0 89 /proc/26292/statm: 132499 69892 1835 364 0 68423 0 Current children cumulated CPU time (s) 161.31 Current children cumulated vsize (KiB) 529996 [startup+222.301 s] /proc/loadavg: 6.18 4.67 3.94 9/351 26343 /proc/meminfo: memFree=17498528/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=616788 CPUtime=192.29 cores=0,2,4,6 /proc/26292/stat : 26292 (python) S 26290 26292 26250 0 -1 4202496 116284 940 1 0 19201 28 0 0 25 0 5 0 657923568 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 89 /proc/26292/statm: 154197 65004 1875 364 0 90106 0 [pid=26331] ppid=26292 vsize=510240 CPUtime=0.07 cores=0,2,4,6 /proc/26331/stat : 26331 (python) S 26292 26292 26250 0 -1 4202560 903 0 0 0 4 3 0 0 18 0 1 0 657942892 522485760 63488 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886671 0 0 16781312 514 7867401520923246851 0 0 17 2 0 0 0 /proc/26331/statm: 127560 63488 376 364 0 63478 0 [pid=26334] ppid=26331 vsize=391108 CPUtime=29.03 cores=0,2,4,6 /proc/26334/stat : 26334 (precosat) R 26331 26334 26334 0 -1 4202496 99063 0 0 0 2889 14 0 0 25 0 1 0 657942894 400494592 93158 33554432000 4194304 4890832 140734400777920 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/26334/statm: 97777 93158 86 171 0 97604 0 [pid=26333] ppid=26292 vsize=520496 CPUtime=0.07 cores=0,2,4,6 /proc/26333/stat : 26333 (python) S 26292 26292 26250 0 -1 4202560 927 0 0 0 4 3 0 0 18 0 1 0 657942893 532987904 63486 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 7867401520923246851 0 0 17 6 0 0 0 /proc/26333/statm: 130124 63486 370 364 0 66039 0 [pid=26338] ppid=26333 vsize=393344 CPUtime=28.94 cores=0,2,4,6 /proc/26338/stat : 26338 (precosat) R 26333 26338 26338 0 -1 4202496 99539 0 0 0 2880 14 0 0 25 0 1 0 657942895 402784256 93626 33554432000 4194304 4890832 140733392517232 18446744073709551615 4238686 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/26338/statm: 98336 93626 86 171 0 98163 0 [pid=26336] ppid=26292 vsize=530752 CPUtime=0.08 cores=0,2,4,6 /proc/26336/stat : 26336 (python) S 26292 26292 26250 0 -1 4202560 908 0 0 0 3 5 0 0 18 0 1 0 657942895 543490048 63490 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 7867401520923246850 0 0 17 0 0 0 0 /proc/26336/statm: 132688 63490 370 364 0 68600 0 [pid=26340] ppid=26336 vsize=396316 CPUtime=28.6 cores=0,2,4,6 /proc/26340/stat : 26340 (precosat) R 26336 26340 26340 0 -1 4202496 100380 0 0 0 2845 15 0 0 25 0 1 0 657942897 405827584 94471 33554432000 4194304 4890832 140735393258432 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/26340/statm: 99079 94471 86 171 0 98906 0 [pid=26339] ppid=26292 vsize=606544 CPUtime=0.07 cores=0,2,4,6 /proc/26339/stat : 26339 (python) S 26292 26292 26250 0 -1 4202560 944 0 0 0 3 4 0 0 18 0 1 0 657942896 621101056 63495 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 7867401520923246852 0 0 17 0 0 0 0 /proc/26339/statm: 151636 63495 370 364 0 87545 0 [pid=26342] ppid=26339 vsize=395320 CPUtime=28.84 cores=0,2,4,6 /proc/26342/stat : 26342 (precosat) R 26339 26342 26342 0 -1 4202496 100078 0 0 0 2870 14 0 0 25 0 1 0 657942897 404807680 94170 33554432000 4194304 4890832 140733913676080 18446744073709551615 4299148 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/26342/statm: 98830 94170 86 171 0 98657 0 [pid=26292/tid=26332] ppid=26290 vsize=616788 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26332/stat : 26332 (python) S 26290 26292 26250 0 -1 4202560 64 940 0 0 0 0 0 0 25 0 5 0 657942893 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26335] ppid=26290 vsize=616788 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26335/stat : 26335 (python) S 26290 26292 26250 0 -1 4202560 34 940 0 0 0 0 0 0 25 0 5 0 657942894 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26337] ppid=26290 vsize=616788 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26337/stat : 26337 (python) S 26290 26292 26250 0 -1 4202560 66 940 0 0 0 0 0 0 25 0 5 0 657942895 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26341] ppid=26290 vsize=616788 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26341/stat : 26341 (python) S 26290 26292 26250 0 -1 4202560 22 940 0 0 0 0 0 0 25 0 5 0 657942897 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 307.99 Current children cumulated vsize (KiB) 4360908 [startup+282.301 s] /proc/loadavg: 7.45 5.32 4.21 9/367 26360 /proc/meminfo: memFree=17034324/32950928 swapFree=61888748/67111528 [pid=26292] ppid=26290 vsize=616788 CPUtime=192.29 cores=0,2,4,6 /proc/26292/stat : 26292 (python) S 26290 26292 26250 0 -1 4202496 116284 940 1 0 19201 28 0 0 25 0 5 0 657923568 631590912 65004 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 89 /proc/26292/statm: 154197 65004 1875 364 0 90106 0 [pid=26331] ppid=26292 vsize=510240 CPUtime=0.22 cores=0,2,4,6 /proc/26331/stat : 26331 (python) S 26292 26292 26250 0 -1 4202560 929 0 0 0 11 11 0 0 18 0 1 0 657942892 522485760 63488 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886671 0 0 16781312 514 7867401520923246851 0 0 17 2 0 0 0 /proc/26331/statm: 127560 63488 376 364 0 63478 0 [pid=26334] ppid=26331 vsize=391108 CPUtime=89.03 cores=0,2,4,6 /proc/26334/stat : 26334 (precosat) R 26331 26334 26334 0 -1 4202496 99081 0 0 0 8889 14 0 0 25 0 1 0 657942894 400494592 93176 33554432000 4194304 4890832 140734400777920 18446744073709551615 4295761 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/26334/statm: 97777 93176 86 171 0 97604 0 [pid=26333] ppid=26292 vsize=520496 CPUtime=0.22 cores=0,2,4,6 /proc/26333/stat : 26333 (python) S 26292 26292 26250 0 -1 4202560 955 0 0 0 12 10 0 0 18 0 1 0 657942893 532987904 63486 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 7867401520923246851 0 0 17 6 0 0 0 /proc/26333/statm: 130124 63486 370 364 0 66039 0 [pid=26338] ppid=26333 vsize=393344 CPUtime=88.78 cores=0,2,4,6 /proc/26338/stat : 26338 (precosat) R 26333 26338 26338 0 -1 4202496 99553 0 0 0 8864 14 0 0 25 0 1 0 657942895 402784256 93640 33554432000 4194304 4890832 140733392517232 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/26338/statm: 98336 93640 86 171 0 98163 0 [pid=26336] ppid=26292 vsize=530752 CPUtime=0.22 cores=0,2,4,6 /proc/26336/stat : 26336 (python) S 26292 26292 26250 0 -1 4202560 933 0 0 0 10 12 0 0 18 0 1 0 657942895 543490048 63490 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 7867401520923246850 0 0 17 0 0 0 0 /proc/26336/statm: 132688 63490 370 364 0 68600 0 [pid=26340] ppid=26336 vsize=396316 CPUtime=87.79 cores=0,2,4,6 ################ # More data... # ################ [pid=26334] ppid=26331 vsize=391108 CPUtime=100.24 cores=0,2,4,6 /proc/26334/stat : 26334 (precosat) T 26331 26334 26334 0 -1 4202496 99135 0 0 0 10010 14 0 0 25 0 1 0 657942894 400494592 93230 33554432000 4194304 4890832 140734400777920 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0 /proc/26334/statm: 97777 93230 86 171 0 97604 0 [pid=26331/tid=26366] ppid=26292 vsize=520484 CPUtime=0 cores=0,2,4,6 /proc/26331/task/26366/stat : 26366 (python) S 26292 26292 26250 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 657952919 532975616 63531 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604446803262336 0 0 -1 2 0 0 0 [pid=26333] ppid=26292 vsize=520496 CPUtime=0.26 cores=0,2,4,6 /proc/26333/stat : 26333 (python) S 26292 26292 26250 0 -1 4202560 1102 0 0 0 14 12 0 0 19 0 2 0 657942893 532987904 63516 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/26333/statm: 130124 63516 399 364 0 66039 0 [pid=26338] ppid=26333 vsize=393344 CPUtime=98.98 cores=0,2,4,6 /proc/26338/stat : 26338 (precosat) T 26333 26338 26338 0 -1 4202496 99635 0 0 0 9884 14 0 0 25 0 1 0 657942895 402784256 93722 33554432000 4194304 4890832 140733392517232 18446744073709551615 4238512 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/26338/statm: 98336 93722 86 171 0 98163 0 [pid=26333/tid=26362] ppid=26292 vsize=520496 CPUtime=0 cores=0,2,4,6 /proc/26333/task/26362/stat : 26362 (python) S 26292 26292 26250 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 657952821 532987904 63516 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604453887431104 0 0 -1 6 0 0 0 [pid=26336] ppid=26292 vsize=530752 CPUtime=0.25 cores=0,2,4,6 /proc/26336/stat : 26336 (python) S 26292 26292 26250 0 -1 4202560 1099 0 0 0 12 13 0 0 19 0 2 0 657942895 543490048 63520 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/26336/statm: 132688 63520 399 364 0 68600 0 [pid=26340] ppid=26336 vsize=396316 CPUtime=98.88 cores=0,2,4,6 /proc/26340/stat : 26340 (precosat) T 26336 26340 26340 0 -1 4202496 100396 0 0 0 9873 15 0 0 25 0 1 0 657942897 405827584 94487 33554432000 4194304 4890832 140735393258432 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/26340/statm: 99079 94487 86 171 0 98906 0 [pid=26336/tid=26369] ppid=26292 vsize=530752 CPUtime=0 cores=0,2,4,6 /proc/26336/task/26369/stat : 26369 (python) S 26292 26292 26250 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 657952922 543490048 63520 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604453983266688 0 0 -1 0 0 0 0 [pid=26339] ppid=26292 vsize=606544 CPUtime=0.25 cores=0,2,4,6 /proc/26339/stat : 26339 (python) S 26292 26292 26250 0 -1 4202560 1130 0 0 0 14 11 0 0 19 0 2 0 657942896 621101056 63525 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/26339/statm: 151636 63525 399 364 0 87545 0 [pid=26342] ppid=26339 vsize=395320 CPUtime=99.76 cores=0,2,4,6 /proc/26342/stat : 26342 (precosat) T 26339 26342 26342 0 -1 4202496 100100 0 0 0 9961 15 0 0 25 0 1 0 657942897 404807680 94192 33554432000 4194304 4890832 140733913676080 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0 /proc/26342/statm: 98830 94192 86 171 0 98657 0 [pid=26339/tid=26371] ppid=26292 vsize=606544 CPUtime=0 cores=0,2,4,6 /proc/26339/task/26371/stat : 26371 (python) S 26292 26292 26250 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 657952924 621101056 63525 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604453985309760 0 0 -1 0 0 0 0 [pid=26363] ppid=26292 vsize=616800 CPUtime=0.27 cores=0,2,4,6 /proc/26363/stat : 26363 (python) S 26292 26292 26250 0 -1 4202560 1129 0 0 0 13 14 0 0 19 0 2 0 657952821 631603200 63529 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/26363/statm: 154200 63529 399 364 0 90106 0 [pid=26365] ppid=26363 vsize=392828 CPUtime=99.69 cores=0,2,4,6 /proc/26365/stat : 26365 (precosat) T 26363 26365 26365 0 -1 4202496 99472 0 0 0 9953 16 0 0 25 0 1 0 657952822 402255872 93563 33554432000 4194304 4890832 140734522312144 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/26365/statm: 98207 93563 86 171 0 98034 0 [pid=26363/tid=26396] ppid=26292 vsize=616800 CPUtime=0 cores=0,2,4,6 /proc/26363/task/26396/stat : 26396 (python) S 26292 26292 26250 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657962849 631603200 63529 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604443644724288 0 0 -1 2 0 0 0 [pid=26367] ppid=26292 vsize=627056 CPUtime=0.27 cores=0,2,4,6 /proc/26367/stat : 26367 (python) S 26292 26292 26250 0 -1 4202560 1124 0 0 0 14 13 0 0 19 0 2 0 657952920 642105344 63533 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/26367/statm: 156764 63533 399 364 0 92667 0 [pid=26370] ppid=26367 vsize=396032 CPUtime=100.12 cores=0,2,4,6 /proc/26370/stat : 26370 (precosat) T 26367 26370 26370 0 -1 4202496 100242 0 0 0 9998 14 0 0 25 0 1 0 657952922 405536768 94331 33554432000 4194304 4890832 140733960444848 18446744073709551615 4238946 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0 /proc/26370/statm: 99008 94331 86 171 0 98835 0 [pid=26367/tid=26404] ppid=26292 vsize=627056 CPUtime=0 cores=0,2,4,6 /proc/26367/task/26404/stat : 26404 (python) S 26292 26292 26250 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 657962949 642105344 63533 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604440279245184 0 0 -1 2 0 0 0 [pid=26372] ppid=26292 vsize=637312 CPUtime=0.27 cores=0,2,4,6 /proc/26372/stat : 26372 (python) S 26292 26292 26250 0 -1 4202560 1124 0 0 0 14 13 0 0 19 0 2 0 657952925 652607488 63537 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/26372/statm: 159328 63537 399 364 0 95228 0 [pid=26374] ppid=26372 vsize=393180 CPUtime=99.27 cores=0,2,4,6 /proc/26374/stat : 26374 (precosat) T 26372 26374 26374 0 -1 4202496 99566 0 0 0 9913 14 0 0 25 0 1 0 657952926 402616320 93657 33554432000 4194304 4890832 140735908026480 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/26374/statm: 98295 93657 86 171 0 98122 0 [pid=26372/tid=26400] ppid=26292 vsize=637312 CPUtime=0 cores=0,2,4,6 /proc/26372/task/26400/stat : 26400 (python) S 26292 26292 26250 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 657962854 652607488 63537 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604440872262528 0 0 -1 6 0 0 0 [pid=26375] ppid=26292 vsize=647568 CPUtime=0.29 cores=0,2,4,6 /proc/26375/stat : 26375 (python) S 26292 26292 26250 0 -1 4202560 1176 0 0 0 13 16 0 0 19 0 2 0 657952927 663109632 63547 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0 /proc/26375/statm: 161892 63547 405 364 0 97789 0 [pid=26377] ppid=26375 vsize=396104 CPUtime=101.75 cores=0,2,4,6 /proc/26377/stat : 26377 (precosat) T 26375 26377 26377 0 -1 4202496 100242 0 0 0 10161 14 0 0 25 0 1 0 657952927 405610496 94335 33554432000 4194304 4890832 140735088824384 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/26377/statm: 99026 94335 86 171 0 98853 0 [pid=26375/tid=26408] ppid=26292 vsize=647568 CPUtime=0 cores=0,2,4,6 /proc/26375/task/26408/stat : 26408 (python) S 26292 26292 26250 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 657963359 663109632 63547 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604449437560896 0 0 -1 4 0 0 0 [pid=26397] ppid=26292 vsize=657824 CPUtime=0.29 cores=0,2,4,6 /proc/26397/stat : 26397 (python) S 26292 26292 26250 0 -1 4202560 1164 0 0 0 16 13 0 0 19 0 2 0 657962850 673611776 63551 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0 /proc/26397/statm: 164456 63551 405 364 0 100350 0 [pid=26399] ppid=26397 vsize=395560 CPUtime=100.22 cores=0,2,4,6 /proc/26399/stat : 26399 (precosat) T 26397 26399 26399 0 -1 4202496 100143 0 0 0 10008 14 0 0 25 0 1 0 657962851 405053440 94229 33554432000 4194304 4890832 140734620901824 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/26399/statm: 98890 94229 86 171 0 98717 0 [pid=26397/tid=26435] ppid=26292 vsize=657824 CPUtime=0 cores=0,2,4,6 /proc/26397/task/26435/stat : 26435 (python) S 26292 26292 26250 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 657972879 673611776 63551 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604453906918208 0 0 -1 2 0 0 0 [pid=26401] ppid=26292 vsize=668080 CPUtime=0.28 cores=0,2,4,6 /proc/26401/stat : 26401 (python) S 26292 26292 26250 0 -1 4202560 1130 0 0 0 14 14 0 0 19 0 2 0 657962856 684113920 63549 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/26401/statm: 167020 63549 399 364 0 102911 0 [pid=26403] ppid=26401 vsize=391996 CPUtime=97.79 cores=0,2,4,6 /proc/26403/stat : 26403 (precosat) T 26401 26403 26403 0 -1 4202496 99357 0 0 0 9764 15 0 0 25 0 1 0 657962856 401403904 93447 33554432000 4194304 4890832 140736883599472 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0 /proc/26403/statm: 97999 93447 86 171 0 97826 0 [pid=26401/tid=26431] ppid=26292 vsize=668080 CPUtime=0 cores=0,2,4,6 /proc/26401/task/26431/stat : 26431 (python) S 26292 26292 26250 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 657972688 684113920 63549 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604446606878528 0 0 -1 6 0 0 0 [pid=26405] ppid=26292 vsize=678336 CPUtime=0.3 cores=0,2,4,6 /proc/26405/stat : 26405 (python) S 26292 26292 26250 0 -1 4202560 1135 0 0 0 16 14 0 0 19 0 2 0 657962950 694616064 63553 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/26405/statm: 169584 63553 399 364 0 105472 0 [pid=26407] ppid=26405 vsize=391068 CPUtime=101.56 cores=0,2,4,6 /proc/26407/stat : 26407 (precosat) T 26405 26407 26407 0 -1 4202496 99095 0 0 0 10138 18 0 0 25 0 1 0 657962951 400453632 93181 33554432000 4194304 4890832 140733531761712 18446744073709551615 4236621 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0 /proc/26407/statm: 97767 93181 86 171 0 97594 0 [pid=26405/tid=26439] ppid=26292 vsize=678336 CPUtime=0 cores=0,2,4,6 /proc/26405/task/26439/stat : 26439 (python) S 26292 26292 26250 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 657973386 694616064 63553 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604446606876736 0 0 -1 6 0 0 0 [pid=26409] ppid=26292 vsize=688592 CPUtime=0.29 cores=0,2,4,6 /proc/26409/stat : 26409 (python) S 26292 26292 26250 0 -1 4202560 1144 0 0 0 14 15 0 0 19 0 2 0 657963360 705118208 63557 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/26409/statm: 172148 63557 399 364 0 108033 0 [pid=26411] ppid=26409 vsize=394252 CPUtime=100.27 cores=0,2,4,6 /proc/26411/stat : 26411 (precosat) T 26409 26411 26411 0 -1 4202496 99890 0 0 0 10012 15 0 0 25 0 1 0 657963361 403714048 93976 33554432000 4194304 4890832 140733642805216 18446744073709551615 4238614 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0 /proc/26411/statm: 98563 93976 86 171 0 98390 0 [pid=26409/tid=26443] ppid=26292 vsize=688592 CPUtime=0 cores=0,2,4,6 /proc/26409/task/26443/stat : 26443 (python) S 26292 26292 26250 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 657973390 705118208 63557 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 514 18446604445224772736 0 0 -1 6 0 0 0 [pid=26432] ppid=26292 vsize=698848 CPUtime=0.02 cores=0,2,4,6 /proc/26432/stat : 26432 (python) S 26292 26292 26250 0 -1 4202560 967 0 0 0 1 1 0 0 18 0 1 0 657972689 715620352 63531 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 4334991722569236738 0 0 17 4 0 0 0 /proc/26432/statm: 174712 63531 370 364 0 110594 0 [pid=26434] ppid=26432 vsize=350548 CPUtime=7.85 cores=0,2,4,6 /proc/26434/stat : 26434 (precosat) R 26432 26434 26434 0 -1 4202496 89670 0 0 0 771 14 0 0 25 0 1 0 657972690 358961152 83755 33554432000 4194304 4890832 140733227237440 18446744073709551615 4293278 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/26434/statm: 87637 83755 86 171 0 87464 0 [pid=26436] ppid=26292 vsize=709104 CPUtime=0.01 cores=0,2,4,6 /proc/26436/stat : 26436 (python) S 26292 26292 26250 0 -1 4202560 962 0 0 0 0 1 0 0 18 0 1 0 657972881 726122496 63535 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 5357269530441646339 0 0 17 4 0 0 0 /proc/26436/statm: 177276 63535 370 364 0 113155 0 [pid=26438] ppid=26436 vsize=310532 CPUtime=5.79 cores=0,2,4,6 /proc/26438/stat : 26438 (precosat) R 26436 26438 26438 0 -1 4202496 80790 0 0 0 567 12 0 0 25 0 1 0 657972882 317984768 74871 33554432000 4194304 4890832 140736736930416 18446744073709551615 4283509 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/26438/statm: 77633 74871 81 171 0 77460 0 [pid=26440] ppid=26292 vsize=719360 CPUtime=0 cores=0,2,4,6 /proc/26440/stat : 26440 (python) S 26292 26292 26250 0 -1 4202560 840 0 0 0 0 0 0 0 20 0 1 0 657973387 736624640 63520 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 9687430544379346943 0 0 17 4 0 0 0 /proc/26440/statm: 179840 63520 351 364 0 115716 0 [pid=26442] ppid=26440 vsize=172136 CPUtime=0.9 cores=0,2,4,6 /proc/26442/stat : 26442 (precosat) R 26440 26442 26442 0 -1 4202496 41410 0 0 0 83 7 0 0 25 0 1 0 657973388 176267264 41129 33554432000 4194304 4890832 140733235516912 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/26442/statm: 43034 41129 65 171 0 42861 0 [pid=26444] ppid=26292 vsize=729616 CPUtime=0 cores=0,2,4,6 /proc/26444/stat : 26444 (python) S 26292 26292 26250 0 -1 4202560 832 0 0 0 0 0 0 0 21 0 1 0 657973391 747126784 63523 33554432000 4194304 5683644 140734004278688 18446744073709551615 235594886726 0 0 16781312 514 2057199454003396607 0 0 17 4 0 0 0 /proc/26444/statm: 182404 63523 350 364 0 118277 0 [pid=26446] ppid=26444 vsize=171080 CPUtime=0.86 cores=0,2,4,6 /proc/26446/stat : 26446 (precosat) R 26444 26446 26446 0 -1 4202496 41130 0 0 0 80 6 0 0 25 0 1 0 657973392 175185920 40851 33554432000 4194304 4890832 140737347461024 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/26446/statm: 42770 40851 65 171 0 42597 0 [pid=26292/tid=26332] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26332/stat : 26332 (python) S 26290 26292 26250 0 -1 4202560 64 940 0 0 0 0 0 0 25 0 17 0 657942893 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26335] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26335/stat : 26335 (python) S 26290 26292 26250 0 -1 4202560 34 940 0 0 0 0 0 0 25 0 17 0 657942894 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26337] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26337/stat : 26337 (python) S 26290 26292 26250 0 -1 4202560 66 940 0 0 0 0 0 0 25 0 17 0 657942895 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26341] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26341/stat : 26341 (python) S 26290 26292 26250 0 -1 4202560 22 940 0 0 0 0 0 0 25 0 17 0 657942897 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 0 0 0 0 [pid=26292/tid=26364] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26364/stat : 26364 (python) S 26290 26292 26250 0 -1 4202560 28 940 0 0 0 0 0 0 20 0 17 0 657952822 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 0 0 0 0 [pid=26292/tid=26368] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26368/stat : 26368 (python) S 26290 26292 26250 0 -1 4202560 29 940 0 0 0 0 0 0 20 0 17 0 657952921 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 2 0 0 0 [pid=26292/tid=26373] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26373/stat : 26373 (python) S 26290 26292 26250 0 -1 4202560 26 940 0 0 0 0 0 0 21 0 17 0 657952926 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 0 0 0 0 [pid=26292/tid=26376] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26376/stat : 26376 (python) S 26290 26292 26250 0 -1 4202560 31 940 0 0 0 0 0 0 23 0 17 0 657952927 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26398] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26398/stat : 26398 (python) S 26290 26292 26250 0 -1 4202560 31 940 0 0 0 0 0 0 20 0 17 0 657962851 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26402] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26402/stat : 26402 (python) S 26290 26292 26250 0 -1 4202560 27 940 0 0 0 0 0 0 21 0 17 0 657962856 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26406] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26406/stat : 26406 (python) S 26290 26292 26250 0 -1 4202560 25 940 0 0 0 0 0 0 20 0 17 0 657962951 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 6 0 0 0 [pid=26292/tid=26410] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26410/stat : 26410 (python) S 26290 26292 26250 0 -1 4202560 25 940 0 0 0 0 0 0 20 0 17 0 657963361 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 4 0 0 0 [pid=26292/tid=26433] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26433/stat : 26433 (python) S 26290 26292 26250 0 -1 4202560 27 940 0 0 0 0 0 0 20 0 17 0 657972690 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 4 0 0 0 [pid=26292/tid=26437] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26437/stat : 26437 (python) S 26290 26292 26250 0 -1 4202560 28 940 0 0 0 0 0 0 20 0 17 0 657972882 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 4 0 0 0 [pid=26292/tid=26441] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26441/stat : 26441 (python) S 26290 26292 26250 0 -1 4202560 27 940 0 0 0 0 0 0 20 0 17 0 657973388 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 4 0 0 0 [pid=26292/tid=26445] ppid=26290 vsize=739860 CPUtime=0 cores=0,2,4,6 /proc/26292/task/26445/stat : 26445 (python) S 26290 26292 26250 0 -1 4202560 27 940 0 0 0 0 0 0 21 0 17 0 657973392 757616640 65077 33554432000 4194304 5683644 140734004278688 18446744073709551615 235606690225 0 0 16781312 2 18446604446458102016 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1409.72 Current children cumulated vsize (KiB) 16728036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26292 and gives # childrusage.ru_utime.tv_sec=192 # childrusage.ru_utime.tv_usec=118793 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=396939 # CPU time returned by wait4() is 192.516 # while last known CPU time is 1409.72 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 499.229 CPU time (s): 1409.72 CPU user time (s): 1405.55 CPU system time (s): 4.17 CPU usage (%): 282.38 Max. virtual memory (cumulated for all children) (KiB): 16728036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 192.119 system time used= 0.396939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127322 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1282 involuntary context switches= 2400 runsolver used 2.12668 second user time and 5.21721 second system time The end
Begin job on node120 at 2011-05-15 14:40:48 IDJOB=3378747 IDBENCH=20410 IDSOLVER=1860 FILE ID=node120/3378747-1305463247 RUNJOBID= node120-1305463247-26268 PBS_JOBID= 13324988 Free space on /tmp= 73584 MiB SOLVER NAME= borg-sat 11.03.02-par-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 -cores NBCORE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378747-1305463247/watcher-3378747-1305463247 -o /tmp/evaluation-result-3378747-1305463247/solver-3378747-1305463247 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378747-1305463247.cnf -seed 850910068 -budget 4800 -cores 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41 RANDOM SEED=850910068 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20272668 kB Buffers: 37880 kB Cached: 996064 kB SwapCached: 75492 kB Active: 314700 kB Inactive: 12165932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20272668 kB SwapTotal: 67111528 kB SwapFree: 61888748 kB Dirty: 92856 kB Writeback: 0 kB AnonPages: 11377060 kB Mapped: 24264 kB Slab: 83812 kB PageTables: 49360 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 51665804 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73552 MiB End job on node120 at 2011-05-15 14:49:09