| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-industrial | UNSAT | 142.607 | 90.4409 |
| 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.53/17.02 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.53/17.02 c INFO: solving HOME/instance-3317810-1304267284.cnf 0.53/17.02 c INFO: computing task features 3.51/20.01 c INFO: computed variable-clause graph statistics 3.61/20.11 c INFO: computed clause balance statistics 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.11 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.12 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.13 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.14 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.16 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.18 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.61/20.19 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.21 Warning: invalid value encountered in divide 3.71/20.22 Warning: invalid value encountered in divide 3.71/20.22 Warning: invalid value encountered in divide 3.71/20.22 Warning: invalid value encountered in divide 3.71/20.22 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.23 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.24 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.26 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.27 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.71/20.29 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.30 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 3.82/20.32 Warning: invalid value encountered in divide 17.22/33.79 c INFO: computed variable balance statistics 26.22/42.77 c INFO: computed small-clause counts 26.42/42.96 c INFO: computed Horn-clause counts 50.81/67.39 c INFO: computed variable graph statistics 50.81/67.39 c INFO: collected features for HOME/instance-3317810-1304267284.cnf in 50.26 s 50.91/67.41 c INFO: running precosat-570@0 for 97 with 4749 remaining (b = nan) 50.91/67.43 c INFO: running precosat-570@0 for 97 with 4749 remaining (b = nan) 50.91/67.45 c INFO: running precosat-570@0 for 97 with 4749 remaining (b = nan) 50.91/67.47 c INFO: running precosat-570@0 for 97 with 4749 remaining (b = nan) 142.14/90.38 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317810-1304267284/watcher-3317810-1304267284 -o /tmp/evaluation-result-3317810-1304267284/solver-3317810-1304267284 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317810-1304267284.cnf -seed 344144970 -budget 4800 -cores 4 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.08 0.02 0.01 2/176 25376 /proc/meminfo: memFree=20767908/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=11800 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (runsolver) S 25372 25374 25339 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538328584 12083200 54 33554432000 4194304 5434984 140735122759872 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699199166 0 0 17 0 0 0 0 /proc/25374/statm: 2950 54 34 303 0 2644 0 [startup+0.055187 s] /proc/loadavg: 0.08 0.02 0.01 2/176 25376 /proc/meminfo: memFree=20767908/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=1964 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (python) D 25372 25374 25339 0 -1 4194304 75 0 1 0 0 0 0 0 20 0 1 0 538328584 2011136 28 33554432000 4194304 5683644 140735641089696 18446744073709551615 237273957392 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 1 /proc/25374/statm: 491 28 21 364 0 37 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1964 [startup+0.100179 s] /proc/loadavg: 0.08 0.02 0.01 2/176 25376 /proc/meminfo: memFree=20767908/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=14384 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (python) D 25372 25374 25339 0 -1 4194304 233 0 5 0 0 0 0 0 17 0 1 0 538328584 14729216 169 33554432000 4194304 5683644 140735641089696 18446744073709551615 4689677 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 4 /proc/25374/statm: 3596 169 135 364 0 83 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14384 [startup+0.300208 s] /proc/loadavg: 0.08 0.02 0.01 2/176 25376 /proc/meminfo: memFree=20767908/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=15080 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 644 0 6 0 0 0 0 0 16 0 1 0 538328584 15441920 545 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 5 /proc/25374/statm: 3770 545 312 364 0 257 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15080 [startup+0.700125 s] /proc/loadavg: 0.08 0.02 0.01 2/176 25376 /proc/meminfo: memFree=20767908/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=15384 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 805 0 6 0 0 0 0 0 15 0 1 0 538328584 15753216 696 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 6 /proc/25374/statm: 3846 696 334 364 0 333 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15384 [startup+1.50098 s] /proc/loadavg: 0.08 0.02 0.01 2/178 25378 /proc/meminfo: memFree=20762732/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=15780 CPUtime=0 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 930 0 6 0 0 0 0 0 16 0 1 0 538328584 16158720 814 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 7 /proc/25374/statm: 3945 814 356 364 0 432 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15780 [startup+3.10071 s] /proc/loadavg: 0.08 0.02 0.01 2/178 25378 /proc/meminfo: memFree=20760696/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=29792 CPUtime=0.07 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 1450 0 11 0 5 2 0 0 16 0 1 0 538328584 30507008 1300 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 15 /proc/25374/statm: 7448 1300 443 364 0 818 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 29792 heavy processes: [startup+6.30119 s] /proc/loadavg: 0.15 0.03 0.01 2/178 25379 /proc/meminfo: memFree=20741616/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=107436 CPUtime=0.15 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 3373 0 33 0 10 5 0 0 15 0 1 0 538328584 110014464 3059 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278875572 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 39 /proc/25374/statm: 26859 3059 871 364 0 2090 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 107436 heavy processes: [startup+12.701 s] /proc/loadavg: 0.30 0.06 0.02 2/178 25387 /proc/meminfo: memFree=20723932/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=135900 CPUtime=0.35 cores=0,2,4,6 /proc/25374/stat : 25374 (python) D 25372 25374 25339 0 -1 4202496 6018 928 42 8 21 14 0 0 15 0 1 0 538328584 139161600 4189 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278877696 0 0 16781312 2 0 0 0 17 0 0 0 94 /proc/25374/statm: 33975 4189 1032 364 0 3161 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 135900 heavy processes: [startup+25.5008 s] /proc/loadavg: 0.61 0.14 0.05 4/178 25387 /proc/meminfo: memFree=20338324/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=478352 CPUtime=9.02 cores=0,2,4,6 /proc/25374/stat : 25374 (python) R 25372 25374 25339 0 -1 4202496 81821 928 116 8 872 30 0 0 25 0 1 0 538328584 489832448 56974 33554432000 4194304 5683644 140735641089696 18446744073709551615 47806570615531 0 0 16781312 2 0 0 0 17 2 0 0 149 /proc/25374/statm: 119588 56974 1828 364 0 55512 0 Current children cumulated CPU time (s) 9.02 Current children cumulated vsize (KiB) 478352 heavy processes: [startup+51.1001 s] /proc/loadavg: 1.20 0.32 0.11 4/178 25388 /proc/meminfo: memFree=20333680/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=478352 CPUtime=34.62 cores=0,2,4,6 /proc/25374/stat : 25374 (python) R 25372 25374 25339 0 -1 4202496 81828 928 116 8 3432 30 0 0 25 0 1 0 538328584 489832448 56981 33554432000 4194304 5683644 140735641089696 18446744073709551615 47806567839884 0 0 16781312 2 0 0 0 17 0 0 0 149 /proc/25374/statm: 119588 56981 1835 364 0 55512 0 Current children cumulated CPU time (s) 34.62 Current children cumulated vsize (KiB) 478352 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+76.7005 s] /proc/loadavg: 1.93 0.55 0.19 7/190 25400 /proc/meminfo: memFree=19509444/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 950 0 0 0 0 0 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 4230788531703742724 0 0 17 4 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=9.26 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54038 0 0 0 917 9 0 0 25 0 1 0 538335326 225501184 51636 33554432000 4194304 4890832 140734075551488 18446744073709551615 4299152 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51636 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0 cores=0,2,4,6 /proc/25392/stat : 25392 (python) S 25374 25374 25339 0 -1 4202560 881 0 0 0 0 0 0 0 18 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 4475999415907090692 0 0 17 2 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=219460 CPUtime=9.2 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202496 53913 0 0 0 911 9 0 0 25 0 1 0 538335328 224727040 51511 33554432000 4194304 4890832 140734463607504 18446744073709551615 4238708 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/25394/statm: 54865 51511 86 171 0 54692 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=0 cores=0,2,4,6 /proc/25395/stat : 25395 (python) S 25374 25374 25339 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 1914764594572656899 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=217976 CPUtime=9.21 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202496 53541 0 0 0 913 8 0 0 25 0 1 0 538335330 223207424 51140 33554432000 4194304 4890832 140737301566848 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/25397/statm: 54494 51140 86 171 0 54321 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=0 cores=0,2,4,6 /proc/25398/stat : 25398 (python) S 25374 25374 25339 0 -1 4202560 894 0 0 0 0 0 0 0 18 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 1914760746281959683 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=218816 CPUtime=9.18 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202496 53678 0 0 0 909 9 0 0 25 0 1 0 538335332 224067584 51274 33554432000 4194304 4890832 140736647123600 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/25400/statm: 54704 51274 86 171 0 54531 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 [pid=25374/tid=25396] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25396/stat : 25396 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335330 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 2 0 0 0 [pid=25374/tid=25399] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25399/stat : 25399 (python) S 25372 25374 25339 0 -1 4202560 26 928 0 8 0 0 0 0 25 0 5 0 538335332 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 87.83 Current children cumulated vsize (KiB) 3293416 [startup+83.1014 s] /proc/loadavg: 2.18 0.63 0.21 7/190 25401 /proc/meminfo: memFree=19508204/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0.02 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 953 0 0 0 1 1 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 15165027320239980804 0 0 17 4 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=15.66 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54125 0 0 0 1557 9 0 0 25 0 1 0 538335326 225501184 51723 33554432000 4194304 4890832 140734075551488 18446744073709551615 4246689 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51723 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0.01 cores=0,2,4,6 /proc/25392/stat : 25392 (python) S 25374 25374 25339 0 -1 4202560 884 0 0 0 0 1 0 0 18 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980804 0 0 17 2 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=219460 CPUtime=15.56 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202496 53923 0 0 0 1547 9 0 0 25 0 1 0 538335328 224727040 51521 33554432000 4194304 4890832 140734463607504 18446744073709551615 4246759 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/25394/statm: 54865 51521 86 171 0 54692 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=0.01 cores=0,2,4,6 /proc/25395/stat : 25395 (python) S 25374 25374 25339 0 -1 4202560 886 0 0 0 0 1 0 0 18 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980803 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=217976 CPUtime=15.59 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202496 53572 0 0 0 1551 8 0 0 25 0 1 0 538335330 223207424 51171 33554432000 4194304 4890832 140737301566848 18446744073709551615 4293263 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/25397/statm: 54494 51171 86 171 0 54321 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=0.01 cores=0,2,4,6 /proc/25398/stat : 25398 (python) S 25374 25374 25339 0 -1 4202560 896 0 0 0 0 1 0 0 18 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980803 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=218816 CPUtime=15.57 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202496 53797 0 0 0 1548 9 0 0 25 0 1 0 538335332 224067584 51393 33554432000 4194304 4890832 140736647123600 18446744073709551615 4246395 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/25400/statm: 54704 51393 86 171 0 54531 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=19507580/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0.02 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 957 0 0 0 1 1 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 15165027320239980804 0 0 17 4 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=20.47 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54133 0 0 0 2038 9 0 0 25 0 1 0 538335326 225501184 51731 33554432000 4194304 4890832 140734075551488 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51731 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0.02 cores=0,2,4,6 /proc/25392/stat : 25392 (python) S 25374 25374 25339 0 -1 4202560 886 0 0 0 1 1 0 0 18 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980804 0 0 17 2 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=219460 CPUtime=20.34 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202496 53945 0 0 0 2025 9 0 0 25 0 1 0 538335328 224727040 51543 33554432000 4194304 4890832 140734463607504 18446744073709551615 4239099 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/25394/statm: 54865 51543 86 171 0 54692 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=0.02 cores=0,2,4,6 /proc/25395/stat : 25395 (python) S 25374 25374 25339 0 -1 4202560 889 0 0 0 1 1 0 0 18 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980803 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=217976 CPUtime=20.38 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202496 53592 0 0 0 2030 8 0 0 25 0 1 0 538335330 223207424 51191 33554432000 4194304 4890832 140737301566848 18446744073709551615 4238384 0 0 16781312 17442 0 0 0 17 2 0 0 0 /proc/25397/statm: 54494 51191 86 171 0 54321 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=0.02 cores=0,2,4,6 /proc/25398/stat : 25398 (python) S 25374 25374 25339 0 -1 4202560 897 0 0 0 1 1 0 0 18 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980803 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=218816 CPUtime=20.36 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202496 53806 0 0 0 2027 9 0 0 25 0 1 0 538335332 224067584 51402 33554432000 4194304 4890832 140736647123600 18446744073709551615 4293263 0 0 16781312 17442 0 0 0 17 4 0 0 0 /proc/25400/statm: 54704 51402 86 171 0 54531 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 [pid=25374/tid=25396] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25396/stat : 25396 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335330 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 2 0 0 0 [pid=25374/tid=25399] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25399/stat : 25399 (python) S 25372 25374 25339 0 -1 4202560 26 928 0 8 0 0 0 0 25 0 5 0 538335332 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 132.61 Current children cumulated vsize (KiB) 3293416 [startup+89.5012 s] /proc/loadavg: 2.40 0.70 0.24 10/190 25401 /proc/meminfo: memFree=19916904/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0.02 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 960 0 0 0 1 1 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 15165027320239980804 0 0 17 6 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=22.06 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54133 0 0 0 2197 9 0 0 25 0 1 0 538335326 225501184 51731 33554432000 4194304 4890832 140734075551488 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51731 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0.02 cores=0,2,4,6 /proc/25392/stat : 25392 (python) S 25374 25374 25339 0 -1 4202560 888 0 0 0 1 1 0 0 18 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980804 0 0 17 4 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=219460 CPUtime=21.92 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202496 53945 0 0 0 2183 9 0 0 25 0 1 0 538335328 224727040 51543 33554432000 4194304 4890832 140734463607504 18446744073709551615 4293282 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/25394/statm: 54865 51543 86 171 0 54692 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=1.35 cores=0,2,4,6 /proc/25395/stat : 25395 (python) R 25374 25374 25339 0 -1 4202560 896 0 0 0 109 26 0 0 17 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290709823 0 0 16781312 514 0 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=0 CPUtime=20.64 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202500 53593 0 0 0 2055 9 0 0 25 0 1 0 538335330 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 /proc/25397/statm: 0 0 0 0 0 0 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=0.83 cores=0,2,4,6 /proc/25398/stat : 25398 (python) R 25374 25374 25339 0 -1 4202560 904 0 0 0 66 17 0 0 17 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 0 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=0 CPUtime=21.13 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202500 53807 0 0 0 2103 10 0 0 25 0 1 0 538335332 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0 /proc/25400/statm: 0 0 0 0 0 0 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 [pid=25374/tid=25396] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25396/stat : 25396 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335330 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 2 0 0 0 [pid=25374/tid=25399] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25399/stat : 25399 (python) S 25372 25374 25339 0 -1 4202560 26 928 0 8 0 0 0 0 25 0 5 0 538335332 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 138.95 Current children cumulated vsize (KiB) 2856624 [startup+89.9012 s] /proc/loadavg: 2.40 0.70 0.24 10/190 25401 /proc/meminfo: memFree=19916904/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0.02 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 960 0 0 0 1 1 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 15165027320239980804 0 0 17 6 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=22.46 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54133 0 0 0 2237 9 0 0 25 0 1 0 538335326 225501184 51731 33554432000 4194304 4890832 140734075551488 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51731 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0.02 cores=0,2,4,6 /proc/25392/stat : 25392 (python) S 25374 25374 25339 0 -1 4202560 888 0 0 0 1 1 0 0 18 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 15165027320239980804 0 0 17 6 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=219460 CPUtime=22.32 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202496 53945 0 0 0 2223 9 0 0 25 0 1 0 538335328 224727040 51543 33554432000 4194304 4890832 140734463607504 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 6 0 0 0 /proc/25394/statm: 54865 51543 86 171 0 54692 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=1.75 cores=0,2,4,6 /proc/25395/stat : 25395 (python) R 25374 25374 25339 0 -1 4202560 896 0 0 0 141 34 0 0 17 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290709823 0 0 16781312 514 0 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=0 CPUtime=20.64 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202500 53593 0 0 0 2055 9 0 0 25 0 1 0 538335330 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 /proc/25397/statm: 0 0 0 0 0 0 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=1.23 cores=0,2,4,6 /proc/25398/stat : 25398 (python) R 25374 25374 25339 0 -1 4202560 904 0 0 0 98 25 0 0 17 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290709823 0 0 16781312 514 0 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=0 CPUtime=21.13 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202500 53807 0 0 0 2103 10 0 0 25 0 1 0 538335332 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0 /proc/25400/statm: 0 0 0 0 0 0 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 [pid=25374/tid=25396] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25396/stat : 25396 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335330 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 2 0 0 0 [pid=25374/tid=25399] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25399/stat : 25399 (python) S 25372 25374 25339 0 -1 4202560 26 928 0 8 0 0 0 0 25 0 5 0 538335332 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 140.55 Current children cumulated vsize (KiB) 2856624 [startup+90.3011 s] /proc/loadavg: 2.85 0.82 0.28 10/190 25401 /proc/meminfo: memFree=20122372/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=503892 CPUtime=50.98 cores=0,2,4,6 /proc/25374/stat : 25374 (python) S 25372 25374 25339 0 -1 4202496 84587 928 116 8 5066 32 0 0 25 0 5 0 538328584 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 149 /proc/25374/statm: 125973 53163 1875 364 0 61882 0 [pid=25389] ppid=25374 vsize=462880 CPUtime=0.02 cores=0,2,4,6 /proc/25389/stat : 25389 (python) S 25374 25374 25339 0 -1 4202560 960 0 0 0 1 1 0 0 18 0 1 0 538335325 473989120 51653 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899727 0 0 16781312 514 15165027320239980804 0 0 17 6 0 0 0 /proc/25389/statm: 115720 51653 381 364 0 51638 0 [pid=25391] ppid=25389 vsize=220216 CPUtime=22.86 cores=0,2,4,6 /proc/25391/stat : 25391 (precosat) R 25389 25391 25391 0 -1 4202496 54133 0 0 0 2277 9 0 0 25 0 1 0 538335326 225501184 51731 33554432000 4194304 4890832 140734075551488 18446744073709551615 4238957 0 0 16781312 17442 0 0 0 17 0 0 0 0 /proc/25391/statm: 55054 51731 86 171 0 54881 0 [pid=25392] ppid=25374 vsize=473136 CPUtime=0.38 cores=0,2,4,6 /proc/25392/stat : 25392 (python) R 25374 25374 25339 0 -1 4202560 892 0 0 0 32 6 0 0 16 0 1 0 538335327 484491264 51646 33554432000 4194304 5683644 140735641089696 18446744073709551615 4418308 0 0 16781312 514 0 0 0 17 6 0 0 0 /proc/25392/statm: 118284 51646 370 364 0 54199 0 [pid=25394] ppid=25392 vsize=0 CPUtime=22.35 cores=0,2,4,6 /proc/25394/stat : 25394 (precosat) R 25392 25394 25394 0 -1 4202500 53946 0 0 0 2225 10 0 0 25 0 1 0 538335328 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0 /proc/25394/statm: 0 0 0 0 0 0 0 [pid=25395] ppid=25374 vsize=483392 CPUtime=2.15 cores=0,2,4,6 /proc/25395/stat : 25395 (python) R 25374 25374 25339 0 -1 4202560 896 0 0 0 175 40 0 0 18 0 1 0 538335329 494993408 51650 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278899782 0 0 16781312 514 0 0 0 17 2 0 0 0 /proc/25395/statm: 120848 51650 370 364 0 56760 0 [pid=25397] ppid=25395 vsize=0 CPUtime=20.64 cores=0,2,4,6 /proc/25397/stat : 25397 (precosat) R 25395 25397 25397 0 -1 4202500 53593 0 0 0 2055 9 0 0 25 0 1 0 538335330 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 /proc/25397/statm: 0 0 0 0 0 0 0 [pid=25398] ppid=25374 vsize=493648 CPUtime=1.63 cores=0,2,4,6 /proc/25398/stat : 25398 (python) R 25374 25374 25339 0 -1 4202560 904 0 0 0 132 31 0 0 18 0 1 0 538335332 505495552 51654 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290709823 0 0 16781312 514 0 0 0 17 4 0 0 0 /proc/25398/statm: 123412 51654 370 364 0 59321 0 [pid=25400] ppid=25398 vsize=0 CPUtime=21.13 cores=0,2,4,6 /proc/25400/stat : 25400 (precosat) R 25398 25400 25400 0 -1 4202500 53807 0 0 0 2103 10 0 0 25 0 1 0 538335332 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0 /proc/25400/statm: 0 0 0 0 0 0 0 [pid=25374/tid=25390] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25390/stat : 25390 (python) S 25372 25374 25339 0 -1 4202560 21 928 0 8 0 0 0 0 25 0 5 0 538335326 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 [pid=25374/tid=25393] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25393/stat : 25393 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335328 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 6 0 0 0 [pid=25374/tid=25396] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25396/stat : 25396 (python) S 25372 25374 25339 0 -1 4202560 22 928 0 8 0 0 0 0 25 0 5 0 538335330 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 2 0 0 0 [pid=25374/tid=25399] ppid=25372 vsize=503892 CPUtime=0 cores=0,2,4,6 /proc/25374/task/25399/stat : 25399 (python) S 25372 25374 25339 0 -1 4202560 26 928 0 8 0 0 0 0 25 0 5 0 538335332 515985408 53163 33554432000 4194304 5683644 140735641089696 18446744073709551615 237290703281 0 0 16781312 2 18446604453912774528 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 142.14 Current children cumulated vsize (KiB) 2637164 [startup+90.4011 s] /proc/loadavg: 2.85 0.82 0.28 10/190 25401 /proc/meminfo: memFree=20122372/32950904 swapFree=67082284/67111528 [pid=25374] ppid=25372 vsize=493588 CPUtime=142.55 cores=0,2,4,6 /proc/25374/stat : 25374 (python) R 25372 25374 25339 0 -1 4202496 93561 220624 116 8 5067 33 9029 126 17 0 1 0 538328584 505434112 53151 33554432000 4194304 5683644 140735641089696 18446744073709551615 237278535095 0 0 16781312 0 0 0 0 17 0 0 0 149 /proc/25374/statm: 123397 53151 1867 364 0 59321 0 Current children cumulated CPU time (s) 142.55 Current children cumulated vsize (KiB) 493588 Child status: 0 Real time (s): 90.4409 CPU time (s): 142.607 CPU user time (s): 140.975 CPU system time (s): 1.63275 CPU usage (%): 157.68 Max. virtual memory (cumulated for all children) (KiB): 3293416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 140.975 system time used= 1.63275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 329698 page faults= 124 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24814 involuntary context switches= 769 runsolver used 0.155976 second user time and 0.340948 second system time The end
Begin job on node121 at 2011-05-01 18:28:05 IDJOB=3317810 IDBENCH=20431 IDSOLVER=1706 FILE ID=node121/3317810-1304267284 RUNJOBID= node121-1304267283-25357 PBS_JOBID= 13173958 Free space on /tmp= 73604 MiB SOLVER NAME= borg-sat 11.03.02-industrial 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 -cores NBCORE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317810-1304267284/watcher-3317810-1304267284 -o /tmp/evaluation-result-3317810-1304267284/solver-3317810-1304267284 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317810-1304267284.cnf -seed 344144970 -budget 4800 -cores 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3 RANDOM SEED=344144970 node121.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.817 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.63 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.84 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.817 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.77 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.817 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.82 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.817 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.74 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 20768460 kB Buffers: 2190116 kB Cached: 9440616 kB SwapCached: 2776 kB Active: 8696968 kB Inactive: 2972436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 20768460 kB SwapTotal: 67111528 kB SwapFree: 67082284 kB Dirty: 94372 kB Writeback: 0 kB AnonPages: 36472 kB Mapped: 13584 kB Slab: 449556 kB PageTables: 4628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 187564 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73528 MiB End job on node121 at 2011-05-01 18:29:39