| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) | UNSAT | 66.6879 | 96.562 |
| Name | industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf |
| MD5SUM | 3b8c6114a974b09e9b1601ba0718cbf3 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 10.5654 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 135534 |
| Number of clauses | 905980 |
| Sum of the clauses size | 2447966 |
| Maximum clause length | 417 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 125 |
| Number of clauses of size 2 | 771665 |
| Number of clauses of size 3 | 128198 |
| Number of clauses of size 4 | 1424 |
| Number of clauses of size 5 | 79 |
| Number of clauses of size over 5 | 4489 |
0.35/30.22 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.35/30.22 c INFO: solving HOME/instance-3483818-1307747009.cnf 0.35/30.22 c INFO: computing task features 3.33/33.20 c INFO: computed variable-clause graph statistics 3.43/33.31 c INFO: computed clause balance statistics 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.31 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.32 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.33 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.34 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.36 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.38 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.43/33.39 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.42 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.43 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.45 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.46 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.48 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.49 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.53/33.50 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.51 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 3.63/33.53 Warning: invalid value encountered in divide 17.22/47.13 c INFO: computed variable balance statistics 26.82/56.77 c INFO: computed small-clause counts 27.02/56.94 c INFO: computed Horn-clause counts 50.42/80.30 c INFO: computed variable graph statistics 50.42/80.30 c INFO: collected features for HOME/instance-3483818-1307747009.cnf in 49.96 s 50.42/80.31 c INFO: running precosat-570@0 for 97 with 1150 remaining (b = nan) 66.58/96.50 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483818-1307747009/watcher-3483818-1307747009 -o /tmp/evaluation-result-3483818-1307747009/solver-3483818-1307747009 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3483818-1307747009.cnf -seed 5039089 -budget 1200 running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/174 27954 /proc/meminfo: memFree=29155340/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=30108 CPUtime=0.03 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 1516 0 0 0 3 0 0 0 17 0 1 0 886300907 30830592 1351 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0 /proc/27954/statm: 7527 1351 443 364 0 897 0 [startup+0.295244 s] /proc/loadavg: 0.00 0.00 0.00 1/174 27954 /proc/meminfo: memFree=29155340/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=40968 CPUtime=0.03 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 1678 0 0 0 3 0 0 0 17 0 1 0 886300907 41951232 1501 33554432000 4194304 5683644 140734144275024 18446744073709551615 210642222727 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0 /proc/27954/statm: 10242 1501 463 364 0 1025 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 40968 [startup+0.30401 s] /proc/loadavg: 0.00 0.00 0.00 1/174 27954 /proc/meminfo: memFree=29155340/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=43616 CPUtime=0.03 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 1880 0 0 0 3 0 0 0 16 0 1 0 886300907 44662784 1653 33554432000 4194304 5683644 140734144275024 18446744073709551615 210642222727 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0 /proc/27954/statm: 11453 1696 470 364 0 1202 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 43616 [startup+0.405149 s] /proc/loadavg: 0.00 0.00 0.00 1/174 27954 /proc/meminfo: memFree=29155340/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 [startup+0.705045 s] /proc/loadavg: 0.00 0.00 0.00 1/174 27954 /proc/meminfo: memFree=29155340/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 [startup+1.54094 s] /proc/loadavg: 0.40 0.08 0.03 1/175 27955 /proc/meminfo: memFree=29145292/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 [startup+3.10051 s] /proc/loadavg: 0.40 0.08 0.03 1/175 27955 /proc/meminfo: memFree=29145088/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 heavy processes: [startup+6.30101 s] /proc/loadavg: 1.01 0.21 0.07 1/175 27955 /proc/meminfo: memFree=29145072/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 heavy processes: [startup+12.7009 s] /proc/loadavg: 1.49 0.33 0.11 1/175 27955 /proc/meminfo: memFree=29144808/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85356 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2584 0 0 0 4 1 0 0 16 0 1 0 886300907 87404544 2307 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0 /proc/27954/statm: 21339 2307 707 364 0 1556 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85356 heavy processes: [startup+25.5007 s] /proc/loadavg: 2.41 0.56 0.18 1/175 27955 /proc/meminfo: memFree=29145240/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=85360 CPUtime=0.05 cores=4,6 /proc/27954/stat : 27954 (python) D 27952 27954 27894 0 -1 4202496 2592 0 0 0 4 1 0 0 16 0 1 0 886300907 87408640 2313 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 2449 /proc/27954/statm: 21340 2313 712 364 0 1557 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 85360 heavy processes: [startup+51.1064 s] /proc/loadavg: 4.25 1.19 0.41 5/185 27989 /proc/meminfo: memFree=28235748/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=478352 CPUtime=21.22 cores=4,6 /proc/27954/stat : 27954 (python) R 27952 27954 27894 0 -1 4202496 81945 934 1 0 2103 19 0 0 25 0 1 0 886300907 489832448 56976 33554432000 4194304 5683644 140734144275024 18446744073709551615 4662178 0 0 16781312 2 0 0 0 17 4 0 0 2949 /proc/27954/statm: 119588 56976 1829 364 0 55512 0 Current children cumulated CPU time (s) 21.22 Current children cumulated vsize (KiB) 478352 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+51.6003 s] /proc/loadavg: 4.25 1.19 0.41 6/185 27989 /proc/meminfo: memFree=28235752/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=478352 CPUtime=21.72 cores=4,6 /proc/27954/stat : 27954 (python) R 27952 27954 27894 0 -1 4202496 81945 934 1 0 2153 19 0 0 25 0 1 0 886300907 489832448 56976 33554432000 4194304 5683644 140734144275024 18446744073709551615 4522512 0 0 16781312 2 0 0 0 17 4 0 0 2949 /proc/27954/statm: 119588 56976 1829 364 0 55512 0 Current children cumulated CPU time (s) 21.72 Current children cumulated vsize (KiB) 478352 [startup+77.201 s] /proc/loadavg: 4.90 1.59 0.56 5/185 28037 /proc/meminfo: memFree=28109816/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=478352 CPUtime=47.32 cores=4,6 /proc/27954/stat : 27954 (python) R 27952 27954 27894 0 -1 4202496 81951 934 1 0 4713 19 0 0 25 0 1 0 886300907 489832448 56982 33554432000 4194304 5683644 140734144275024 18446744073709551615 47443667277964 0 0 16781312 2 0 0 0 17 4 0 0 2949 /proc/27954/statm: 119588 56982 1835 364 0 55512 0 Current children cumulated CPU time (s) 47.32 Current children cumulated vsize (KiB) 478352 [startup+90.0008 s] /proc/loadavg: 4.91 1.70 0.60 5/188 28040 /proc/meminfo: memFree=27916980/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.01 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 862 0 0 0 0 1 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 4330951017337159940 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=9.66 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54410 0 0 0 958 8 0 0 25 0 1 0 886308939 227082240 52010 33554432000 4194304 4890832 140737152375552 18446744073709551615 4238338 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52010 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 60.1 Current children cumulated vsize (KiB) 1157764 [startup+93.2013 s] /proc/loadavg: 4.84 1.74 0.62 5/188 28040 /proc/meminfo: memFree=27916732/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.01 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 865 0 0 0 0 1 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 6045484365419348228 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=12.86 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54520 0 0 0 1278 8 0 0 25 0 1 0 886308939 227082240 52120 33554432000 4194304 4890832 140737152375552 18446744073709551615 4451193 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52120 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 63.3 Current children cumulated vsize (KiB) 1157764 [startup+94.801 s] /proc/loadavg: 4.84 1.74 0.62 5/188 28040 /proc/meminfo: memFree=27916968/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.01 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 865 0 0 0 0 1 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 6045484365419348228 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=14.46 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54528 0 0 0 1438 8 0 0 25 0 1 0 886308939 227082240 52128 33554432000 4194304 4890832 140737152375552 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52128 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 64.9 Current children cumulated vsize (KiB) 1157764 [startup+95.6009 s] /proc/loadavg: 4.84 1.74 0.62 5/188 28040 /proc/meminfo: memFree=27916596/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.01 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 865 0 0 0 0 1 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 6045484365419348228 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=15.26 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54528 0 0 0 1518 8 0 0 25 0 1 0 886308939 227082240 52128 33554432000 4194304 4890832 140737152375552 18446744073709551615 4293263 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52128 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 65.7 Current children cumulated vsize (KiB) 1157764 [startup+96.0008 s] /proc/loadavg: 4.84 1.74 0.62 5/188 28040 /proc/meminfo: memFree=27916596/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.01 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 865 0 0 0 0 1 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 6045484365419348228 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=15.66 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54528 0 0 0 1558 8 0 0 25 0 1 0 886308939 227082240 52128 33554432000 4194304 4890832 140737152375552 18446744073709551615 4238607 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52128 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 66.1 Current children cumulated vsize (KiB) 1157764 [startup+96.4007 s] /proc/loadavg: 4.77 1.78 0.64 5/188 28040 /proc/meminfo: memFree=27916712/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.02 cores=4,6 /proc/28038/stat : 28038 (python) S 27954 27954 27894 0 -1 4202560 868 0 0 0 0 2 0 0 18 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210647166479 0 0 16781312 514 6045484365419348228 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=221760 CPUtime=16.05 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202496 54528 0 0 0 1597 8 0 0 25 0 1 0 886308939 227082240 52128 33554432000 4194304 4890832 140737152375552 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/28040/statm: 55440 52128 86 171 0 55267 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 66.5 Current children cumulated vsize (KiB) 1157764 [startup+96.5007 s] /proc/loadavg: 4.77 1.78 0.64 5/188 28040 /proc/meminfo: memFree=27916712/32951132 swapFree=67061148/67111528 [pid=27954] ppid=27952 vsize=473124 CPUtime=50.43 cores=4,6 /proc/27954/stat : 27954 (python) S 27952 27954 27894 0 -1 4202496 82228 934 1 0 5024 19 0 0 25 0 2 0 886300907 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 2949 /proc/27954/statm: 118281 53146 1869 364 0 54199 0 [pid=28038] ppid=27954 vsize=462880 CPUtime=0.09 cores=4,6 /proc/28038/stat : 28038 (python) R 27954 27954 27894 0 -1 4202560 869 0 0 0 7 2 0 0 17 0 1 0 886308938 473989120 51649 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658976517 0 0 16781312 514 0 0 0 17 4 0 0 0 /proc/28038/statm: 115720 51649 376 364 0 51638 0 [pid=28040] ppid=28038 vsize=0 CPUtime=16.06 cores=4,6 /proc/28040/stat : 28040 (precosat) R 28038 28040 28040 0 -1 4202500 54529 0 0 0 1598 8 0 0 25 0 1 0 886308939 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0 /proc/28040/statm: 0 0 0 0 0 0 0 [pid=27954/tid=28039] ppid=27952 vsize=473124 CPUtime=0 cores=4,6 /proc/27954/task/28039/stat : 28039 (python) S 27952 27954 27894 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 2 0 886308939 484478976 53146 33554432000 4194304 5683644 140734144275024 18446744073709551615 210658970033 0 0 16781312 2 18446604453926235072 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 66.58 Current children cumulated vsize (KiB) 936004 Child status: 0 Real time (s): 96.562 CPU time (s): 66.6879 CPU user time (s): 66.3449 CPU system time (s): 0.342947 CPU usage (%): 69.0623 Max. virtual memory (cumulated for all children) (KiB): 1157764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.3449 system time used= 0.342947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163335 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1131 involuntary context switches= 244 runsolver used 0.357945 second user time and 0.780881 second system time The end
Begin job on node129 at 2011-06-11 01:03:30 IDJOB=3483818 IDBENCH=20431 IDSOLVER=1976 FILE ID=node129/3483818-1307747009 RUNJOBID= node129-1307747008-27913 PBS_JOBID= 13550828 Free space on /tmp= 74072 MiB SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483818-1307747009/watcher-3483818-1307747009 -o /tmp/evaluation-result-3483818-1307747009/solver-3483818-1307747009 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3483818-1307747009.cnf -seed 5039089 -budget 1200 TIME LIMIT= 1200 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3 RANDOM SEED=5039089 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29160248 kB Buffers: 387124 kB Cached: 3127028 kB SwapCached: 13132 kB Active: 1114000 kB Inactive: 2417952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29160248 kB SwapTotal: 67111528 kB SwapFree: 67061148 kB Dirty: 200136 kB Writeback: 0 kB AnonPages: 15316 kB Mapped: 8584 kB Slab: 194860 kB PageTables: 4600 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 159588 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73928 MiB End job on node129 at 2011-06-11 01:05:09