| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-seq-industrial (fixed) | ? (MO) | 1579.3 | 1602.8 |
| Name | industrial/palacios/medium/ cube-11-h14-sat.cnf |
| MD5SUM | 7cc30e40be8c690e76c3fb158623be61 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 336.92 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 508177 |
| Number of clauses | 1529045 |
| Sum of the clauses size | 3568287 |
| Maximum clause length | 19 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1331 |
| Number of clauses of size 2 | 1019705 |
| Number of clauses of size 3 | 505422 |
| Number of clauses of size 4 | 2413 |
| Number of clauses of size 5 | 19 |
| Number of clauses of size over 5 | 155 |
0.61/25.27 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.61/25.27 c INFO: solving HOME/instance-3498258-1307953114.cnf 0.61/25.27 c INFO: computing task features 6.64/31.32 c INFO: computed variable-clause graph statistics 6.84/31.50 c INFO: computed clause balance statistics 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.50 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.51 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.84/31.59 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 6.94/31.68 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.76 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.04/31.77 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.14/31.84 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.24/31.93 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.01 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.34/32.02 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.10 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.43/32.18 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.24 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.28 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.53/32.29 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.30 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 7.62/32.31 Warning: invalid value encountered in divide 32.22/56.91 c INFO: computed variable balance statistics 51.12/75.87 c INFO: computed small-clause counts 52.02/76.72 c INFO: computed Horn-clause counts 376.84/401.52 c INFO: computed variable graph statistics 376.84/401.52 c INFO: collected features for HOME/instance-3498258-1307953114.cnf in 376.06 s 376.84/401.53 c INFO: running precosat-570@0 for 97 with 4623 remaining (b = nan) 477.03/501.67 c INFO: running precosat-570@0 for 97 with 4524 remaining (b = nan) 576.34/600.83 c INFO: running precosat-570@0 for 97 with 4425 remaining (b = nan) 676.60/701.00 c INFO: running precosat-570@0 for 97 with 4325 remaining (b = nan) 776.81/801.16 c INFO: running precosat-570@0 for 97 with 4225 remaining (b = nan) 877.12/901.32 c INFO: running precosat-570@0 for 97 with 4125 remaining (b = nan) 977.33/1001.50 c INFO: running precosat-570@0 for 97 with 4025 remaining (b = nan) 1076.65/1100.68 c INFO: running precosat-570@0 for 97 with 3926 remaining (b = nan) 1176.97/1200.87 c INFO: running precosat-570@0 for 97 with 3826 remaining (b = nan) 1277.30/1301.05 c INFO: running precosat-570@0 for 97 with 3727 remaining (b = nan) 1377.61/1401.23 c INFO: running precosat-570@0 for 97 with 3627 remaining (b = nan) 1477.86/1501.43 c INFO: running precosat-570@0 for 97 with 3527 remaining (b = nan) 1578.21/1601.62 c INFO: running precosat-570@0 for 97 with 3427 remaining (b = nan)
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498258-1307953114/watcher-3498258-1307953114 -o /var/tmp/evaluation-result-3498258-1307953114/solver-3498258-1307953114 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498258-1307953114.cnf -seed 462826349 -budget 5000 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.23 0.05 0.02 2/174 30349 /proc/meminfo: memFree=2726228/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=11804 CPUtime=0 cores=0,2,4,6 /proc/30349/stat : 30349 (runsolver) S 30346 30349 30305 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 887728277 12087296 50 33554432000 4194304 5436572 140735271289264 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0 /proc/30349/statm: 2951 50 31 304 0 2643 0 [startup+0.0345641 s] /proc/loadavg: 0.23 0.05 0.02 2/174 30349 /proc/meminfo: memFree=2726228/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=1840 CPUtime=0 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4194304 47 0 0 0 0 0 0 0 17 0 1 0 887728277 1884160 1 33554432000 0 0 140734811948675 18446744073709551615 5057063 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0 /proc/30349/statm: 460 1 0 0 0 36 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1840 [startup+0.100624 s] /proc/loadavg: 0.23 0.05 0.02 2/174 30349 /proc/meminfo: memFree=2726228/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=15216 CPUtime=0 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 649 0 6 0 0 0 0 0 17 0 1 0 887728277 15581184 550 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106768640 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 4 /proc/30349/statm: 3804 550 312 364 0 291 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15216 [startup+0.300638 s] /proc/loadavg: 0.23 0.05 0.02 2/174 30349 /proc/meminfo: memFree=2726228/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=15908 CPUtime=0 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 939 0 6 0 0 0 0 0 16 0 1 0 887728277 16289792 821 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 0 0 0 7 /proc/30349/statm: 3977 821 357 364 0 464 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15908 [startup+0.700526 s] /proc/loadavg: 0.23 0.05 0.02 2/174 30349 /proc/meminfo: memFree=2726228/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=16400 CPUtime=0.01 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 1110 0 6 0 1 0 0 0 16 0 1 0 887728277 16793600 984 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106768640 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 11 /proc/30349/statm: 4100 984 408 364 0 587 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16400 [startup+1.50031 s] /proc/loadavg: 0.23 0.05 0.02 1/178 30353 /proc/meminfo: memFree=2718820/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=16396 CPUtime=0.01 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 1112 0 6 0 1 0 0 0 16 0 1 0 887728277 16789504 985 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 0 0 0 16 /proc/30349/statm: 4099 985 409 364 0 586 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16396 [startup+3.10106 s] /proc/loadavg: 0.23 0.05 0.02 1/178 30353 /proc/meminfo: memFree=2718820/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=16816 CPUtime=0.02 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 1223 0 6 0 1 1 0 0 16 0 1 0 887728277 17219584 1086 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 0 0 0 26 /proc/30349/statm: 4204 1086 417 364 0 691 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16816 heavy processes: [startup+6.3005 s] /proc/loadavg: 0.29 0.06 0.02 1/178 30353 /proc/meminfo: memFree=2716792/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=29788 CPUtime=0.05 cores=0,2,4,6 /proc/30349/stat : 30349 (python) S 30346 30349 30305 0 -1 4202496 1436 0 11 0 3 2 0 0 15 0 1 0 887728277 30502912 1288 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 41 /proc/30349/statm: 7447 1288 443 364 0 817 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 29788 heavy processes: [startup+12.7004 s] /proc/loadavg: 0.43 0.10 0.03 1/178 30353 /proc/meminfo: memFree=2710840/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=54540 CPUtime=0.09 cores=0,2,4,6 /proc/30349/stat : 30349 (python) D 30346 30349 30305 0 -1 4202496 2053 0 19 0 5 4 0 0 15 0 1 0 887728277 55848960 1828 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106768640 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 99 /proc/30349/statm: 13635 1828 492 364 0 1285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 54540 heavy processes: [startup+25.5011 s] /proc/loadavg: 0.48 0.12 0.04 3/178 30361 /proc/meminfo: memFree=2595652/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=319472 CPUtime=0.85 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 19387 924 113 9 57 28 0 0 16 0 1 0 887728277 327139328 17173 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106429637 0 0 16781312 2 0 0 0 17 4 0 0 329 /proc/30349/statm: 79868 17173 1761 364 0 15792 0 Current children cumulated CPU time (s) 0.85 Current children cumulated vsize (KiB) 319472 heavy processes: [startup+51.1006 s] /proc/loadavg: 0.99 0.27 0.09 3/178 30362 /proc/meminfo: memFree=2094384/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=26.42 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121608 924 113 9 2600 42 0 0 25 0 1 0 887728277 603549696 84738 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106424277 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84738 1828 364 0 83275 0 Current children cumulated CPU time (s) 26.42 Current children cumulated vsize (KiB) 589404 heavy processes: [startup+102.301 s] /proc/loadavg: 1.56 0.54 0.19 3/178 30363 /proc/meminfo: memFree=2084360/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=77.63 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121615 924 113 9 7721 42 0 0 25 0 1 0 887728277 603549696 84745 33554432000 4194304 5683644 140734811943696 18446744073709551615 47158383372416 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84745 1835 364 0 83275 0 Current children cumulated CPU time (s) 77.63 Current children cumulated vsize (KiB) 589404 heavy processes: [startup+162.301 s] /proc/loadavg: 1.84 0.80 0.30 3/178 30365 /proc/meminfo: memFree=2084564/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=137.62 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121615 924 113 9 13720 42 0 0 25 0 1 0 887728277 603549696 84745 33554432000 4194304 5683644 140734811943696 18446744073709551615 47158383372428 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84745 1835 364 0 83275 0 Current children cumulated CPU time (s) 137.62 Current children cumulated vsize (KiB) 589404 [startup+222.307 s] /proc/loadavg: 1.98 1.03 0.41 3/181 30370 /proc/meminfo: memFree=1727844/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=197.63 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121615 924 113 9 19721 42 0 0 25 0 1 0 887728277 603549696 84745 33554432000 4194304 5683644 140734811943696 18446744073709551615 47158383372428 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84745 1835 364 0 83275 0 Current children cumulated CPU time (s) 197.63 Current children cumulated vsize (KiB) 589404 [startup+282.301 s] /proc/loadavg: 2.03 1.22 0.51 3/181 30371 /proc/meminfo: memFree=1727324/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=257.63 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121615 924 113 9 25720 43 0 0 25 0 1 0 887728277 603549696 84745 33554432000 4194304 5683644 140734811943696 18446744073709551615 47158383372416 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84745 1835 364 0 83275 0 Current children cumulated CPU time (s) 257.63 Current children cumulated vsize (KiB) 589404 [startup+342.3 s] /proc/loadavg: 2.01 1.36 0.60 3/185 30377 /proc/meminfo: memFree=1346468/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=589404 CPUtime=317.63 cores=0,2,4,6 /proc/30349/stat : 30349 (python) R 30346 30349 30305 0 -1 4202496 121615 924 113 9 31720 43 0 0 25 0 1 0 887728277 603549696 84745 33554432000 4194304 5683644 140734811943696 18446744073709551615 47158383372428 0 0 16781312 2 0 0 0 17 0 0 0 329 /proc/30349/statm: 147351 84745 1835 364 0 83275 0 Current children cumulated CPU time (s) 317.63 Current children cumulated vsize (KiB) 589404 [startup+402.301 s] /proc/loadavg: 2.06 1.49 0.69 3/185 30381 /proc/meminfo: memFree=1346304/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=576268 CPUtime=376.87 cores=0,2,4,6 /proc/30349/stat : 30349 (python) S 30346 30349 30305 0 -1 4202496 121973 924 113 9 37643 44 0 0 25 0 2 0 887728277 590098432 78932 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 329 /proc/30349/statm: 144067 78932 1869 364 0 79985 0 Current children cumulated CPU time (s) 376.87 Current children cumulated vsize (KiB) 576268 [startup+462.3 s] /proc/loadavg: 2.02 1.58 0.77 3/192 30390 /proc/meminfo: memFree=419604/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=576268 CPUtime=376.87 cores=0,2,4,6 /proc/30349/stat : 30349 (python) S 30346 30349 30305 0 -1 4202496 121973 924 113 9 37643 44 0 0 25 0 2 0 887728277 590098432 78932 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 329 /proc/30349/statm: 144067 78932 1869 364 0 79985 0 [pid=30382] ppid=30349 vsize=566024 CPUtime=0.07 cores=0,2,4,6 /proc/30382/stat : 30382 (python) S 30349 30349 30305 0 -1 4202560 955 0 0 0 4 3 0 0 18 0 1 0 887768431 579608576 77440 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106788879 0 0 16781312 514 16692292951685955844 0 0 17 6 0 0 0 /proc/30382/statm: 141506 77440 381 364 0 77424 0 [pid=30384] ppid=30382 vsize=577624 CPUtime=60.74 cores=0,2,4,6 /proc/30384/stat : 30384 (precosat) R 30382 30384 30384 0 -1 4202496 174231 0 0 0 6052 22 0 0 25 0 1 0 887768431 591486976 140768 33554432000 4194304 4890832 140733379452912 18446744073709551615 4295871 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/30384/statm: 144406 140768 86 171 0 144233 0 [pid=30349/tid=30383] ppid=30346 vsize=576268 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30383/stat : 30383 (python) S 30346 30349 30305 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 2 0 887768431 590098432 78932 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 437.68 Current children cumulated vsize (KiB) 1719916 [startup+522.301 s] /proc/loadavg: 2.01 1.65 0.84 3/200 30400 /proc/meminfo: memFree=96944/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=586524 CPUtime=376.89 cores=0,2,4,6 /proc/30349/stat : 30349 (python) S 30346 30349 30305 0 -1 4202496 122774 924 113 9 37645 44 0 0 20 0 3 0 887728277 600600576 78939 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 329 ################ # More data... # ################ [pid=30349/tid=30458] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30458/stat : 30458 (python) S 30346 30349 30305 0 -1 4202560 30 924 0 9 0 0 0 0 20 0 14 0 887838346 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30469] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30469/stat : 30469 (python) S 30346 30349 30305 0 -1 4202560 31 924 0 9 0 0 0 0 18 0 14 0 887848366 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 2 0 0 0 [pid=30349/tid=30479] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30479/stat : 30479 (python) S 30346 30349 30305 0 -1 4202560 28 924 0 9 0 0 0 0 20 0 14 0 887858383 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30490] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30490/stat : 30490 (python) S 30346 30349 30305 0 -1 4202560 29 924 0 9 0 0 0 0 18 0 14 0 887868401 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 2 0 0 0 [pid=30349/tid=30501] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30501/stat : 30501 (python) S 30346 30349 30305 0 -1 4202560 135 924 0 9 0 0 0 0 20 0 14 0 887878421 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30511] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30511/stat : 30511 (python) S 30346 30349 30305 0 -1 4202560 39 924 0 9 0 0 0 0 20 0 14 0 887888440 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1579.3 Current children cumulated vsize (KiB) 16351220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1602.7 s] /proc/loadavg: 2.00 2.01 1.63 4/284 30512 /proc/meminfo: memFree=97960/32951124 swapFree=67055536/67111528 [pid=30349] ppid=30346 vsize=764876 CPUtime=377.19 cores=0,2,4,6 /proc/30349/stat : 30349 (python) S 30346 30349 30305 0 -1 4202496 132293 924 113 9 37664 55 0 0 20 0 14 0 887728277 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 329 /proc/30349/statm: 191219 79229 1894 364 0 127101 0 [pid=30382] ppid=30349 vsize=576268 CPUtime=0.12 cores=0,2,4,6 /proc/30382/stat : 30382 (python) S 30349 30349 30305 0 -1 4202560 1131 0 0 0 7 5 0 0 19 0 2 0 887768431 590098432 77478 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/30382/statm: 144067 77478 414 364 0 79985 0 [pid=30384] ppid=30382 vsize=577624 CPUtime=100.1 cores=0,2,4,6 /proc/30384/stat : 30384 (precosat) T 30382 30384 30384 0 -1 4202496 174259 0 0 0 9988 22 0 0 25 0 1 0 887768431 591486976 140796 33554432000 4194304 4890832 140733379452912 18446744073709551615 4293432 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30384/statm: 144406 140796 86 171 0 144233 0 [pid=30382/tid=30392] ppid=30349 vsize=576268 CPUtime=0 cores=0,2,4,6 /proc/30382/task/30392/stat : 30392 (python) S 30349 30349 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887778443 590098432 77478 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453965323008 0 0 -1 6 0 0 0 [pid=30393] ppid=30349 vsize=576280 CPUtime=0.13 cores=0,2,4,6 /proc/30393/stat : 30393 (python) S 30349 30349 30305 0 -1 4202560 1082 0 0 0 8 5 0 0 19 0 2 0 887778445 590110720 77463 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/30393/statm: 144070 77463 399 364 0 79985 0 [pid=30395] ppid=30393 vsize=584188 CPUtime=99.12 cores=0,2,4,6 /proc/30395/stat : 30395 (precosat) T 30393 30395 30395 0 -1 4202496 176573 0 0 0 9888 24 0 0 25 0 1 0 887778446 598208512 142330 33554432000 4194304 4890832 140733707546672 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30395/statm: 146047 142330 86 171 0 145874 0 [pid=30393/tid=30403] ppid=30349 vsize=576280 CPUtime=0 cores=0,2,4,6 /proc/30393/task/30403/stat : 30403 (python) S 30349 30349 30305 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 887788359 590110720 77463 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453972174848 0 0 -1 6 0 0 0 [pid=30404] ppid=30349 vsize=586536 CPUtime=0.14 cores=0,2,4,6 /proc/30404/stat : 30404 (python) S 30349 30349 30305 0 -1 4202560 1079 0 0 0 8 6 0 0 19 0 2 0 887788361 600612864 77467 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/30404/statm: 146634 77467 399 364 0 82546 0 [pid=30406] ppid=30404 vsize=593292 CPUtime=100.06 cores=0,2,4,6 /proc/30406/stat : 30406 (precosat) T 30404 30406 30406 0 -1 4202496 178027 0 0 0 9981 25 0 0 25 0 1 0 887788362 607531008 144639 33554432000 4194304 4890832 140735236223680 18446744073709551615 4273211 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0 /proc/30406/statm: 148323 144639 86 171 0 148150 0 [pid=30404/tid=30413] ppid=30349 vsize=586536 CPUtime=0 cores=0,2,4,6 /proc/30404/task/30413/stat : 30413 (python) S 30349 30349 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887798376 600612864 77467 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453947203968 0 0 -1 6 0 0 0 [pid=30414] ppid=30349 vsize=596792 CPUtime=0.13 cores=0,2,4,6 /proc/30414/stat : 30414 (python) S 30349 30349 30305 0 -1 4202560 1122 0 0 0 7 6 0 0 19 0 2 0 887798377 611115008 77471 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0 /proc/30414/statm: 149198 77471 399 364 0 85107 0 [pid=30416] ppid=30414 vsize=589096 CPUtime=100.11 cores=0,2,4,6 /proc/30416/stat : 30416 (precosat) T 30414 30416 30416 0 -1 4202496 176809 0 0 0 9987 24 0 0 25 0 1 0 887798378 603234304 143516 33554432000 4194304 4890832 140735502625904 18446744073709551615 4212935 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/30416/statm: 147274 143516 86 171 0 147101 0 [pid=30414/tid=30424] ppid=30349 vsize=596792 CPUtime=0 cores=0,2,4,6 /proc/30414/task/30424/stat : 30424 (python) S 30349 30349 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887808391 611115008 77471 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453963559168 0 0 -1 4 0 0 0 [pid=30425] ppid=30349 vsize=607048 CPUtime=0.14 cores=0,2,4,6 /proc/30425/stat : 30425 (python) S 30349 30349 30305 0 -1 4202560 1109 0 0 0 8 6 0 0 19 0 2 0 887808393 621617152 77475 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/30425/statm: 151762 77475 399 364 0 87668 0 [pid=30427] ppid=30425 vsize=589868 CPUtime=100.11 cores=0,2,4,6 /proc/30427/stat : 30427 (precosat) T 30425 30427 30427 0 -1 4202496 177771 0 0 0 9985 26 0 0 25 0 1 0 887808394 604024832 143640 33554432000 4194304 4890832 140733734670192 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30427/statm: 147467 143640 86 171 0 147294 0 [pid=30425/tid=30435] ppid=30349 vsize=607048 CPUtime=0 cores=0,2,4,6 /proc/30425/task/30435/stat : 30435 (python) S 30349 30349 30305 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 887818407 621617152 77475 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453979960640 0 0 -1 2 0 0 0 [pid=30436] ppid=30349 vsize=617304 CPUtime=0.15 cores=0,2,4,6 /proc/30436/stat : 30436 (python) S 30349 30349 30305 0 -1 4202560 1107 0 0 0 8 7 0 0 19 0 2 0 887818409 632119296 77479 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/30436/statm: 154326 77479 399 364 0 90229 0 [pid=30438] ppid=30436 vsize=583932 CPUtime=100.1 cores=0,2,4,6 /proc/30438/stat : 30438 (precosat) T 30436 30438 30438 0 -1 4202496 176740 0 0 0 9985 25 0 0 25 0 1 0 887818410 597946368 142299 33554432000 4194304 4890832 140735868952032 18446744073709551615 4298319 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/30438/statm: 145983 142299 86 171 0 145810 0 [pid=30436/tid=30445] ppid=30349 vsize=617304 CPUtime=0 cores=0,2,4,6 /proc/30436/task/30445/stat : 30445 (python) S 30349 30349 30305 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 887828425 632119296 77479 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453947204864 0 0 -1 6 0 0 0 [pid=30446] ppid=30349 vsize=627560 CPUtime=0.15 cores=0,2,4,6 /proc/30446/stat : 30446 (python) S 30349 30349 30305 0 -1 4202560 1163 0 0 0 9 6 0 0 19 0 2 0 887828427 642621440 77489 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0 /proc/30446/statm: 156890 77489 405 364 0 92790 0 [pid=30448] ppid=30446 vsize=585156 CPUtime=99.14 cores=0,2,4,6 /proc/30448/stat : 30448 (precosat) T 30446 30448 30448 0 -1 4202496 176794 0 0 0 9888 26 0 0 25 0 1 0 887828428 599199744 142524 33554432000 4194304 4890832 140735467362032 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30448/statm: 146289 142524 86 171 0 146116 0 [pid=30446/tid=30456] ppid=30349 vsize=627560 CPUtime=0 cores=0,2,4,6 /proc/30446/task/30456/stat : 30456 (python) S 30349 30349 30305 0 -1 4202560 91 0 0 0 0 0 0 0 19 0 2 0 887838343 642621440 77489 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453933726720 0 0 -1 6 0 0 0 [pid=30457] ppid=30349 vsize=637816 CPUtime=0.16 cores=0,2,4,6 /proc/30457/stat : 30457 (python) S 30349 30349 30305 0 -1 4202560 1177 0 0 0 9 7 0 0 19 0 2 0 887838345 653123584 77493 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/30457/statm: 159454 77493 405 364 0 95351 0 [pid=30459] ppid=30457 vsize=605792 CPUtime=100.13 cores=0,2,4,6 /proc/30459/stat : 30459 (precosat) T 30457 30459 30459 0 -1 4202496 184817 0 0 0 9987 26 0 0 25 0 1 0 887838346 620331008 150583 33554432000 4194304 4890832 140734377975088 18446744073709551615 4229292 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0 /proc/30459/statm: 151448 150583 86 171 0 151275 0 [pid=30457/tid=30467] ppid=30349 vsize=637816 CPUtime=0 cores=0,2,4,6 /proc/30457/task/30467/stat : 30467 (python) S 30349 30349 30305 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 887848363 653123584 77493 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453922609920 0 0 -1 2 0 0 0 [pid=30468] ppid=30349 vsize=648072 CPUtime=0.15 cores=0,2,4,6 /proc/30468/stat : 30468 (python) S 30349 30349 30305 0 -1 4202560 1142 0 0 0 8 7 0 0 19 0 2 0 887848365 663625728 77491 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/30468/statm: 162018 77491 399 364 0 97912 0 [pid=30470] ppid=30468 vsize=582816 CPUtime=100.12 cores=0,2,4,6 /proc/30470/stat : 30470 (precosat) T 30468 30470 30470 0 -1 4202496 175070 0 0 0 9986 26 0 0 25 0 1 0 887848366 596803584 141929 33554432000 4194304 4890832 140736561119456 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30470/statm: 145704 141929 86 171 0 145531 0 [pid=30468/tid=30477] ppid=30349 vsize=648072 CPUtime=0 cores=0,2,4,6 /proc/30468/task/30477/stat : 30477 (python) S 30349 30349 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887858381 663625728 77491 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453960048960 0 0 -1 2 0 0 0 [pid=30478] ppid=30349 vsize=658328 CPUtime=0.15 cores=0,2,4,6 /proc/30478/stat : 30478 (python) S 30349 30349 30305 0 -1 4202560 1145 0 0 0 8 7 0 0 19 0 2 0 887858383 674127872 77495 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/30478/statm: 164582 77495 399 364 0 100473 0 [pid=30480] ppid=30478 vsize=581124 CPUtime=100.12 cores=0,2,4,6 /proc/30480/stat : 30480 (precosat) T 30478 30480 30480 0 -1 4202496 175492 0 0 0 9986 26 0 0 25 0 1 0 887858384 595070976 141295 33554432000 4194304 4890832 140736674810624 18446744073709551615 4229292 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30480/statm: 145281 141295 86 171 0 145108 0 [pid=30478/tid=30488] ppid=30349 vsize=658328 CPUtime=0 cores=0,2,4,6 /proc/30478/task/30488/stat : 30488 (python) S 30349 30349 30305 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887868398 674127872 77495 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453978003456 0 0 -1 2 0 0 0 [pid=30489] ppid=30349 vsize=668584 CPUtime=0.17 cores=0,2,4,6 /proc/30489/stat : 30489 (python) S 30349 30349 30305 0 -1 4202560 1141 0 0 0 9 8 0 0 19 0 2 0 887868400 684630016 77499 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0 /proc/30489/statm: 167146 77499 399 364 0 103034 0 [pid=30491] ppid=30489 vsize=599048 CPUtime=100.04 cores=0,2,4,6 /proc/30491/stat : 30491 (precosat) T 30489 30491 30491 0 -1 4202496 182142 0 0 0 9974 30 0 0 25 0 1 0 887868402 613425152 148796 33554432000 4194304 4890832 140735302168544 18446744073709551615 4229292 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0 /proc/30491/statm: 149762 148796 86 171 0 149589 0 [pid=30489/tid=30499] ppid=30349 vsize=668584 CPUtime=0 cores=0,2,4,6 /proc/30489/task/30499/stat : 30499 (python) S 30349 30349 30305 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887878418 684630016 77499 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453977922560 0 0 -1 6 0 0 0 [pid=30500] ppid=30349 vsize=744376 CPUtime=0.16 cores=0,2,4,6 /proc/30500/stat : 30500 (python) S 30349 30349 30305 0 -1 4202560 1142 0 0 0 9 7 0 0 18 0 2 0 887878420 762241024 77652 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0 /proc/30500/statm: 186094 77652 399 364 0 121979 0 [pid=30502] ppid=30500 vsize=588936 CPUtime=100.15 cores=0,2,4,6 /proc/30502/stat : 30502 (precosat) T 30500 30502 30502 0 -1 4202496 177743 0 0 0 9987 28 0 0 25 0 1 0 887878421 603070464 143503 33554432000 4194304 4890832 140737076853424 18446744073709551615 4213100 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0 /proc/30502/statm: 147234 143503 86 171 0 147061 0 [pid=30500/tid=30509] ppid=30349 vsize=744376 CPUtime=0 cores=0,2,4,6 /proc/30500/task/30509/stat : 30509 (python) S 30349 30349 30305 0 -1 4202560 175 0 0 0 0 0 0 0 19 0 2 0 887888437 762241024 77652 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 514 18446604453952658176 0 0 -1 2 0 0 0 [pid=30510] ppid=30349 vsize=754632 CPUtime=0 cores=0,2,4,6 /proc/30510/stat : 30510 (python) S 30349 30349 30305 0 -1 4202560 785 0 0 0 0 0 0 0 18 0 1 0 887888440 772743168 77679 33554432000 4194304 5683644 140734811943696 18446744073709551615 255106788934 0 0 16781312 514 4471036770175156223 0 0 17 0 0 0 0 /proc/30510/statm: 188658 77679 348 364 0 124540 0 [pid=30512] ppid=30510 vsize=225876 CPUtime=1.06 cores=0,2,4,6 /proc/30512/stat : 30512 (precosat) R 30510 30512 30512 0 -1 4202496 56066 0 0 0 98 8 0 0 24 0 1 0 887888441 231297024 55806 33554432000 4194304 4890832 140737119186480 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/30512/statm: 56469 55807 66 171 0 56296 0 [pid=30349/tid=30383] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30383/stat : 30383 (python) S 30346 30349 30305 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 14 0 887768431 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30394] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30394/stat : 30394 (python) S 30346 30349 30305 0 -1 4202560 25 924 0 9 0 0 0 0 20 0 14 0 887778445 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30405] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30405/stat : 30405 (python) S 30346 30349 30305 0 -1 4202560 28 924 0 9 0 0 0 0 20 0 14 0 887788361 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30415] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30415/stat : 30415 (python) S 30346 30349 30305 0 -1 4202560 25 924 0 9 0 0 0 0 20 0 14 0 887798378 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30426] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30426/stat : 30426 (python) S 30346 30349 30305 0 -1 4202560 28 924 0 9 0 0 0 0 20 0 14 0 887808394 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30437] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30437/stat : 30437 (python) S 30346 30349 30305 0 -1 4202560 25 924 0 9 0 0 0 0 20 0 14 0 887818410 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30447] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30447/stat : 30447 (python) S 30346 30349 30305 0 -1 4202560 31 924 0 9 0 0 0 0 20 0 14 0 887828428 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30458] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30458/stat : 30458 (python) S 30346 30349 30305 0 -1 4202560 30 924 0 9 0 0 0 0 20 0 14 0 887838346 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30469] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30469/stat : 30469 (python) S 30346 30349 30305 0 -1 4202560 31 924 0 9 0 0 0 0 18 0 14 0 887848366 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 2 0 0 0 [pid=30349/tid=30479] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30479/stat : 30479 (python) S 30346 30349 30305 0 -1 4202560 28 924 0 9 0 0 0 0 20 0 14 0 887858383 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30490] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30490/stat : 30490 (python) S 30346 30349 30305 0 -1 4202560 29 924 0 9 0 0 0 0 18 0 14 0 887868401 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 2 0 0 0 [pid=30349/tid=30501] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30501/stat : 30501 (python) S 30346 30349 30305 0 -1 4202560 135 924 0 9 0 0 0 0 20 0 14 0 887878421 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 [pid=30349/tid=30511] ppid=30346 vsize=764876 CPUtime=0 cores=0,2,4,6 /proc/30349/task/30511/stat : 30511 (python) S 30346 30349 30305 0 -1 4202560 39 924 0 9 0 0 0 0 20 0 14 0 887888440 783233024 79229 33554432000 4194304 5683644 140734811943696 18446744073709551615 255118592433 0 0 16781312 2 18446604453960049856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1579.3 Current children cumulated vsize (KiB) 16351220 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30349 and gives # childrusage.ru_utime.tv_sec=376 # childrusage.ru_utime.tv_usec=643741 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=566913 # CPU time returned by wait4() is 377.211 # while last known CPU time is 1579.3 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1602.8 CPU time (s): 1579.3 CPU user time (s): 1574.82 CPU system time (s): 4.48 CPU usage (%): 98.5336 Max. virtual memory (cumulated for all children) (KiB): 16351220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 376.644 system time used= 0.566913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133227 page faults= 122 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18712 involuntary context switches= 6104 runsolver used 4.94325 second user time and 10.2404 second system time The end
Begin job on node144 at 2011-06-13 10:18:36 IDJOB=3498258 IDBENCH=20423 IDSOLVER=1991 FILE ID=node144/3498258-1307953114 RUNJOBID= node144-1307953113-30324 PBS_JOBID= 13559684 Free space on /var/tmp= 2860 MiB SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed) BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498258-1307953114/watcher-3498258-1307953114 -o /var/tmp/evaluation-result-3498258-1307953114/solver-3498258-1307953114 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498258-1307953114.cnf -seed 462826349 -budget 5000 TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61 RANDOM SEED=462826349 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2727516 kB Buffers: 104624 kB Cached: 29166468 kB SwapCached: 9608 kB Active: 13895440 kB Inactive: 15394288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2727516 kB SwapTotal: 67111528 kB SwapFree: 67055536 kB Dirty: 114612 kB Writeback: 0 kB AnonPages: 16712 kB Mapped: 12644 kB Slab: 868588 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184840 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2800 MiB End job on node144 at 2011-06-13 10:45:26