| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) | ? (TO) | 1200.07 | 1203.68 |
| Name | industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf |
| MD5SUM | 0683489092a5eb0c881dd17c2c45d08e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 105623 |
| Number of clauses | 374254 |
| Sum of the clauses size | 911890 |
| Maximum clause length | 43 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 128 |
| Number of clauses of size 2 | 269133 |
| Number of clauses of size 3 | 99944 |
| Number of clauses of size 4 | 407 |
| Number of clauses of size 5 | 309 |
| Number of clauses of size over 5 | 4333 |
0.25/4.24 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.25/4.24 c INFO: solving HOME/instance-3483815-1307747008.cnf 0.25/4.24 c INFO: computing task features 1.52/5.35 c INFO: computed variable-clause graph statistics 1.52/5.40 c INFO: computed clause balance statistics 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.52/5.40 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.41 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.42 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.43 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.44 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.45 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.46 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.47 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.48 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.49 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 1.61/5.50 Warning: invalid value encountered in divide 7.39/11.22 c INFO: computed variable balance statistics 11.40/15.30 c INFO: computed small-clause counts 11.50/15.35 c INFO: computed Horn-clause counts 24.79/28.65 c INFO: computed variable graph statistics 24.79/28.65 c INFO: collected features for HOME/instance-3483815-1307747008.cnf in 24.35 s 24.79/28.66 c INFO: running precosat-570@0 for 97 with 1175 remaining (b = nan) 124.11/127.80 c INFO: running precosat-570@0 for 97 with 1076 remaining (b = nan) 224.19/227.93 c INFO: running precosat-570@0 for 97 with 976 remaining (b = nan) 323.41/327.07 c INFO: running precosat-570@0 for 97 with 877 remaining (b = nan) 423.58/427.21 c INFO: running precosat-570@0 for 97 with 777 remaining (b = nan) 522.79/526.35 c INFO: running precosat-570@0 for 97 with 678 remaining (b = nan) 622.85/626.49 c INFO: running precosat-570@0 for 97 with 578 remaining (b = nan) 723.20/726.64 c INFO: running precosat-570@0 for 97 with 478 remaining (b = nan) 823.27/826.79 c INFO: running precosat-570@0 for 97 with 378 remaining (b = nan) 923.46/926.94 c INFO: running precosat-570@0 for 97 with 278 remaining (b = nan) 1023.52/1027.10 c INFO: running precosat-570@0 for 178 with 178 remaining (b = nan)
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483815-1307747008/watcher-3483815-1307747008 -o /tmp/evaluation-result-3483815-1307747008/solver-3483815-1307747008 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3483815-1307747008.cnf -seed 5039089 -budget 1200 running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.02 0.03 0.00 3/189 28524 /proc/meminfo: memFree=31560388/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=11804 CPUtime=0 cores=5,7 /proc/28524/stat : 28524 (runsolver) S 28514 28524 28449 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 1 0 886299218 12087296 55 33554432000 4194304 5436572 140736569977104 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071700199571 0 0 17 5 0 0 0 /proc/28524/statm: 2951 55 36 304 0 2643 0 [startup+0.097035 s] /proc/loadavg: 0.02 0.03 0.00 3/189 28524 /proc/meminfo: memFree=31560388/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=15184 CPUtime=0 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 725 0 0 0 0 0 0 0 17 0 1 0 886299218 15548416 614 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0 /proc/28524/statm: 3796 614 321 364 0 283 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15184 [startup+0.101115 s] /proc/loadavg: 0.02 0.03 0.00 3/189 28524 /proc/meminfo: memFree=31560388/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=15184 CPUtime=0 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 728 0 0 0 0 0 0 0 17 0 1 0 886299218 15548416 616 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0 /proc/28524/statm: 3796 616 322 364 0 283 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15184 [startup+0.301 s] /proc/loadavg: 0.02 0.03 0.00 3/189 28524 /proc/meminfo: memFree=31560388/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=15776 CPUtime=0 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 896 0 0 0 0 0 0 0 15 0 1 0 886299218 16154624 776 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0 /proc/28524/statm: 3944 776 343 364 0 431 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15776 [startup+0.700927 s] /proc/loadavg: 0.02 0.03 0.00 3/189 28524 /proc/meminfo: memFree=31560388/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=16396 CPUtime=0.01 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 1122 0 0 0 1 0 0 0 15 0 1 0 886299218 16789504 988 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335888229 0 2147483391 16781312 2 18446744071700199571 0 0 17 7 0 0 0 /proc/28524/statm: 4099 988 413 364 0 586 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16396 [startup+1.50079 s] /proc/loadavg: 0.02 0.03 0.00 2/191 28526 /proc/meminfo: memFree=31549832/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=18884 CPUtime=0.01 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 1251 0 0 0 1 0 0 0 15 0 1 0 886299218 19337216 1104 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071700199571 0 0 17 7 0 0 0 /proc/28524/statm: 4721 1104 421 364 0 690 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 18884 [startup+3.1005 s] /proc/loadavg: 0.02 0.03 0.00 2/191 28526 /proc/meminfo: memFree=31531080/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=135752 CPUtime=0.25 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 5973 934 1 0 16 9 0 0 17 0 1 0 886299218 139010048 4149 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 65 /proc/28524/statm: 33938 4149 1032 364 0 3124 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 135752 heavy processes: [startup+6.30092 s] /proc/loadavg: 0.02 0.03 0.00 5/197 28549 /proc/meminfo: memFree=31291152/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=356208 CPUtime=2.49 cores=5,7 /proc/28524/stat : 28524 (python) R 28514 28524 28449 0 -1 4202496 37389 934 1 0 230 19 0 0 18 0 1 0 886299218 364756992 26438 33554432000 4194304 5683644 140737336392816 18446744073709551615 46976386068066 0 0 16781312 2 0 0 0 17 5 0 0 65 /proc/28524/statm: 89052 26438 1828 364 0 24976 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 356208 heavy processes: [startup+12.7008 s] /proc/loadavg: 0.70 0.18 0.05 5/197 28549 /proc/meminfo: memFree=31238552/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=356208 CPUtime=8.89 cores=5,7 /proc/28524/stat : 28524 (python) R 28514 28524 28449 0 -1 4202496 37390 934 1 0 870 19 0 0 25 0 1 0 886299218 364756992 26439 33554432000 4194304 5683644 140737336392816 18446744073709551615 46976386295215 0 0 16781312 2 0 0 0 17 5 0 0 65 /proc/28524/statm: 89052 26439 1829 364 0 24976 0 Current children cumulated CPU time (s) 8.89 Current children cumulated vsize (KiB) 356208 heavy processes: [startup+25.5005 s] /proc/loadavg: 1.21 0.30 0.09 5/197 28549 /proc/meminfo: memFree=31232932/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=356208 CPUtime=21.69 cores=5,7 /proc/28524/stat : 28524 (python) R 28514 28524 28449 0 -1 4202496 37396 934 1 0 2150 19 0 0 25 0 1 0 886299218 364756992 26445 33554432000 4194304 5683644 140737336392816 18446744073709551615 46976385923212 0 0 16781312 2 0 0 0 17 5 0 0 65 /proc/28524/statm: 89052 26445 1835 364 0 24976 0 Current children cumulated CPU time (s) 21.69 Current children cumulated vsize (KiB) 356208 [startup+51.101 s] /proc/loadavg: 2.16 0.60 0.19 5/200 28553 /proc/meminfo: memFree=31119448/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=360556 CPUtime=24.86 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 37674 934 1 0 2467 19 0 0 25 0 2 0 886299218 369209344 25003 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 65 /proc/28524/statm: 90139 25003 1869 364 0 26057 0 [pid=28550] ppid=28524 vsize=350312 CPUtime=0.03 cores=5,7 /proc/28550/stat : 28550 (python) S 28524 28524 28449 0 -1 4202560 869 0 0 0 1 2 0 0 18 0 1 0 886302084 358719488 23506 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912463 0 0 16781312 514 9782451709346283784 0 0 17 7 0 0 0 /proc/28550/statm: 87578 23506 376 364 0 23496 0 [pid=28552] ppid=28550 vsize=115616 CPUtime=22.42 cores=5,7 /proc/28552/stat : 28552 (precosat) R 28550 28552 28552 0 -1 4202496 29964 0 0 0 2239 3 0 0 25 0 1 0 886302085 118390784 28035 33554432000 4194304 4890832 140734767175664 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28552/statm: 28904 28035 86 171 0 28731 0 [pid=28524/tid=28551] ppid=28514 vsize=360556 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 886302085 369209344 25003 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 47.31 Current children cumulated vsize (KiB) 826484 [startup+102.301 s] /proc/loadavg: 3.26 1.17 0.41 5/203 28560 /proc/meminfo: memFree=30494496/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=360556 CPUtime=24.86 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 37674 934 1 0 2467 19 0 0 25 0 2 0 886299218 369209344 25003 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 65 /proc/28524/statm: 90139 25003 1869 364 0 26057 0 [pid=28550] ppid=28524 vsize=350312 CPUtime=0.08 cores=5,7 /proc/28550/stat : 28550 (python) S 28524 28524 28449 0 -1 4202560 893 0 0 0 4 4 0 0 18 0 1 0 886302084 358719488 23506 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912463 0 0 16781312 514 9782451709346283784 0 0 17 7 0 0 0 /proc/28550/statm: 87578 23506 376 364 0 23496 0 [pid=28552] ppid=28550 vsize=115616 CPUtime=73.62 cores=5,7 /proc/28552/stat : 28552 (precosat) R 28550 28552 28552 0 -1 4202496 29964 0 0 0 7358 4 0 0 25 0 1 0 886302085 118390784 28035 33554432000 4194304 4890832 140734767175664 18446744073709551615 4238592 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28552/statm: 28904 28035 86 171 0 28731 0 [pid=28524/tid=28551] ppid=28514 vsize=360556 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 886302085 369209344 25003 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 98.56 Current children cumulated vsize (KiB) 826484 [startup+162.301 s] /proc/loadavg: 3.88 1.71 0.64 5/207 28566 /proc/meminfo: memFree=30308184/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=370812 CPUtime=24.86 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 38489 934 1 0 2467 19 0 0 19 0 3 0 886299218 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 65 /proc/28524/statm: 92703 25010 1872 364 0 28618 0 [pid=28550] ppid=28524 vsize=360556 CPUtime=0.13 cores=5,7 /proc/28550/stat : 28550 (python) S 28524 28524 28449 0 -1 4202560 1144 0 0 0 6 7 0 0 19 0 2 0 886302084 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28550/statm: 90139 23549 414 364 0 26057 0 [pid=28552] ppid=28550 vsize=115616 CPUtime=99.12 cores=5,7 /proc/28552/stat : 28552 (precosat) T 28550 28552 28552 0 -1 4202496 29964 0 0 0 9908 4 0 0 25 0 1 0 886302085 118390784 28035 33554432000 4194304 4890832 140734767175664 18446744073709551615 4229325 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28552/statm: 28904 28035 86 171 0 28731 0 [pid=28550/tid=28562] ppid=28524 vsize=360556 CPUtime=0 cores=5,7 /proc/28550/task/28562/stat : 28562 (python) S 28524 28524 28449 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 886311998 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604454789897280 0 0 -1 7 0 0 0 [pid=28563] ppid=28524 vsize=360568 CPUtime=0.04 cores=5,7 /proc/28563/stat : 28563 (python) S 28524 28524 28449 0 -1 4202560 900 0 0 0 2 2 0 0 18 0 1 0 886311998 369221632 23504 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912518 0 0 16781312 514 9782451709346283784 0 0 17 5 0 0 0 /proc/28563/statm: 90142 23504 370 364 0 26057 0 [pid=28565] ppid=28563 vsize=113332 CPUtime=34.43 cores=5,7 /proc/28565/stat : 28565 (precosat) R 28563 28565 28565 0 -1 4202496 29397 0 0 0 3439 4 0 0 25 0 1 0 886311999 116051968 27462 33554432000 4194304 4890832 140736538170336 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28565/statm: 28333 27462 86 171 0 28160 0 [pid=28524/tid=28551] ppid=28514 vsize=370812 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 3 0 886302085 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28564] ppid=28514 vsize=370812 CPUtime=0 cores=5,7 /proc/28524/task/28564/stat : 28564 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 3 0 886311999 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 158.58 Current children cumulated vsize (KiB) 1320884 [startup+222.3 s] /proc/loadavg: 4.14 2.17 0.86 5/207 28613 /proc/meminfo: memFree=30303088/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=370812 CPUtime=24.86 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 38489 934 1 0 2467 19 0 0 19 0 3 0 886299218 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 65 /proc/28524/statm: 92703 25010 1872 364 0 28618 0 [pid=28550] ppid=28524 vsize=360556 CPUtime=0.13 cores=5,7 /proc/28550/stat : 28550 (python) S 28524 28524 28449 0 -1 4202560 1144 0 0 0 6 7 0 0 19 0 2 0 886302084 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28550/statm: 90139 23549 414 364 0 26057 0 [pid=28552] ppid=28550 vsize=115616 CPUtime=99.12 cores=5,7 /proc/28552/stat : 28552 (precosat) T 28550 28552 28552 0 -1 4202496 29964 0 0 0 9908 4 0 0 25 0 1 0 886302085 118390784 28035 33554432000 4194304 4890832 140734767175664 18446744073709551615 4229325 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28552/statm: 28904 28035 86 171 0 28731 0 [pid=28550/tid=28562] ppid=28524 vsize=360556 CPUtime=0 cores=5,7 /proc/28550/task/28562/stat : 28562 (python) S 28524 28524 28449 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 886311998 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604454789897280 0 0 -1 7 0 0 0 [pid=28563] ppid=28524 vsize=360568 CPUtime=0.12 cores=5,7 /proc/28563/stat : 28563 (python) S 28524 28524 28449 0 -1 4202560 928 0 0 0 6 6 0 0 18 0 1 0 886311998 369221632 23504 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912518 0 0 16781312 514 9782451709346283784 0 0 17 5 0 0 0 /proc/28563/statm: 90142 23504 370 364 0 26057 0 [pid=28565] ppid=28563 vsize=113332 CPUtime=94.36 cores=5,7 /proc/28565/stat : 28565 (precosat) R 28563 28565 28565 0 -1 4202496 29397 0 0 0 9432 4 0 0 25 0 1 0 886311999 116051968 27462 33554432000 4194304 4890832 140736538170336 18446744073709551615 4229367 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28565/statm: 28333 27462 86 171 0 28160 0 [pid=28524/tid=28551] ppid=28514 vsize=370812 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 3 0 886302085 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28564] ppid=28514 vsize=370812 CPUtime=0 cores=5,7 /proc/28524/task/28564/stat : 28564 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 3 0 886311999 379711488 25010 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 218.59 Current children cumulated vsize (KiB) 1320884 ################ # More data... # ################ [pid=28677] ppid=28524 vsize=452872 CPUtime=0.23 cores=5,7 /proc/28677/stat : 28677 (python) S 28524 28524 28449 0 -1 4202560 953 0 0 0 11 12 0 0 18 0 1 0 886401928 463740928 23540 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912518 0 0 16781312 514 9782451709346283783 0 0 17 5 0 0 0 /proc/28677/statm: 113218 23540 370 364 0 49106 0 [pid=28679] ppid=28677 vsize=114248 CPUtime=154.92 cores=5,7 /proc/28679/stat : 28679 (precosat) R 28677 28679 28679 0 -1 4202496 29635 0 0 0 15488 4 0 0 25 0 1 0 886401929 116989952 27696 33554432000 4194304 4890832 140735179473936 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28679/statm: 28562 27696 86 171 0 28389 0 [pid=28524/tid=28551] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 12 0 886302085 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28564] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28564/stat : 28564 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 12 0 886311999 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28616] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28616/stat : 28616 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 12 0 886322012 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 7 0 0 0 [pid=28524/tid=28623] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28623/stat : 28623 (python) S 28514 28524 28449 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 12 0 886331926 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28630] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28630/stat : 28630 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886341939 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28636] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28636/stat : 28636 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886351853 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28647] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28647/stat : 28647 (python) S 28514 28524 28449 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 12 0 886361867 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 7 0 0 0 [pid=28524/tid=28654] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28654/stat : 28654 (python) S 28514 28524 28449 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 12 0 886371883 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28664] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28664/stat : 28664 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 12 0 886381898 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28671] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28671/stat : 28671 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 12 0 886391913 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28678] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28678/stat : 28678 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886401929 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1178.77 Current children cumulated vsize (KiB) 6145964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 4.11 3.99 2.91 4/242 28684 /proc/meminfo: memFree=29065472/32951124 swapFree=67063272/67111528 [pid=28524] ppid=28514 vsize=463116 CPUtime=24.95 cores=5,7 /proc/28524/stat : 28524 (python) S 28514 28524 28449 0 -1 4202496 45867 934 1 0 2473 22 0 0 19 0 12 0 886299218 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 65 /proc/28524/statm: 115779 25064 1890 364 0 51667 0 [pid=28550] ppid=28524 vsize=360556 CPUtime=0.13 cores=5,7 /proc/28550/stat : 28550 (python) S 28524 28524 28449 0 -1 4202560 1144 0 0 0 6 7 0 0 19 0 2 0 886302084 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28550/statm: 90139 23549 414 364 0 26057 0 [pid=28552] ppid=28550 vsize=115616 CPUtime=99.12 cores=5,7 /proc/28552/stat : 28552 (precosat) T 28550 28552 28552 0 -1 4202496 29964 0 0 0 9908 4 0 0 25 0 1 0 886302085 118390784 28035 33554432000 4194304 4890832 140734767175664 18446744073709551615 4229325 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28552/statm: 28904 28035 86 171 0 28731 0 [pid=28550/tid=28562] ppid=28524 vsize=360556 CPUtime=0 cores=5,7 /proc/28550/task/28562/stat : 28562 (python) S 28524 28524 28449 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 886311998 369209344 23549 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604454789897280 0 0 -1 7 0 0 0 [pid=28563] ppid=28524 vsize=360568 CPUtime=0.13 cores=5,7 /proc/28563/stat : 28563 (python) S 28524 28524 28449 0 -1 4202560 1082 0 0 0 7 6 0 0 19 0 2 0 886311998 369221632 23534 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28563/statm: 90142 23534 399 364 0 26057 0 [pid=28565] ppid=28563 vsize=113332 CPUtime=99.98 cores=5,7 /proc/28565/stat : 28565 (precosat) T 28563 28565 28565 0 -1 4202496 29397 0 0 0 9994 4 0 0 25 0 1 0 886311999 116051968 27462 33554432000 4194304 4890832 140736538170336 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0 /proc/28565/statm: 28333 27462 86 171 0 28160 0 [pid=28563/tid=28614] ppid=28524 vsize=360568 CPUtime=0 cores=5,7 /proc/28563/task/28614/stat : 28614 (python) S 28524 28524 28449 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 886322011 369221632 23534 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604471161005120 0 0 -1 7 0 0 0 [pid=28615] ppid=28524 vsize=370824 CPUtime=0.13 cores=5,7 /proc/28615/stat : 28615 (python) S 28524 28524 28449 0 -1 4202560 1075 0 0 0 7 6 0 0 19 0 2 0 886322012 379723776 23538 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28615/statm: 92706 23538 399 364 0 28618 0 [pid=28617] ppid=28615 vsize=110608 CPUtime=99.11 cores=5,7 /proc/28617/stat : 28617 (precosat) T 28615 28617 28617 0 -1 4202496 28733 0 0 0 9907 4 0 0 25 0 1 0 886322012 113262592 26797 33554432000 4194304 4890832 140733653837472 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28617/statm: 27652 26797 86 171 0 27479 0 [pid=28615/tid=28621] ppid=28524 vsize=370824 CPUtime=0 cores=5,7 /proc/28615/task/28621/stat : 28621 (python) S 28524 28524 28449 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 886331925 379723776 23538 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604471161004224 0 0 -1 7 0 0 0 [pid=28622] ppid=28524 vsize=381080 CPUtime=0.13 cores=5,7 /proc/28622/stat : 28622 (python) S 28524 28524 28449 0 -1 4202560 1084 0 0 0 7 6 0 0 19 0 2 0 886331926 390225920 23542 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28622/statm: 95270 23542 399 364 0 31179 0 [pid=28624] ppid=28622 vsize=114592 CPUtime=99.97 cores=5,7 /proc/28624/stat : 28624 (precosat) T 28622 28624 28624 0 -1 4202496 29715 0 0 0 9993 4 0 0 25 0 1 0 886331926 117342208 27784 33554432000 4194304 4890832 140737257005904 18446744073709551615 4298422 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0 /proc/28624/statm: 28648 27784 86 171 0 28475 0 [pid=28622/tid=28628] ppid=28524 vsize=381080 CPUtime=0 cores=5,7 /proc/28622/task/28628/stat : 28628 (python) S 28524 28524 28449 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 886341938 390225920 23542 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604471135088704 0 0 -1 7 0 0 0 [pid=28629] ppid=28524 vsize=391336 CPUtime=0.13 cores=5,7 /proc/28629/stat : 28629 (python) S 28524 28524 28449 0 -1 4202560 1086 0 0 0 7 6 0 0 19 0 2 0 886341939 400728064 23546 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28629/statm: 97834 23546 399 364 0 33740 0 [pid=28631] ppid=28629 vsize=117304 CPUtime=99.11 cores=5,7 /proc/28631/stat : 28631 (precosat) T 28629 28631 28631 0 -1 4202496 30390 0 0 0 9908 3 0 0 25 0 1 0 886341940 120119296 28458 33554432000 4194304 4890832 140734231960544 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28631/statm: 29326 28458 86 171 0 29153 0 [pid=28629/tid=28634] ppid=28524 vsize=391336 CPUtime=0 cores=5,7 /proc/28629/task/28634/stat : 28634 (python) S 28524 28524 28449 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 886351852 400728064 23546 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604454789896384 0 0 -1 7 0 0 0 [pid=28635] ppid=28524 vsize=401592 CPUtime=0.14 cores=5,7 /proc/28635/stat : 28635 (python) S 28524 28524 28449 0 -1 4202560 1079 0 0 0 7 7 0 0 19 0 2 0 886351853 411230208 23550 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28635/statm: 100398 23550 399 364 0 36301 0 [pid=28637] ppid=28635 vsize=113048 CPUtime=99.97 cores=5,7 /proc/28637/stat : 28637 (precosat) T 28635 28637 28637 0 -1 4202496 29325 0 0 0 9994 3 0 0 25 0 1 0 886351854 115761152 27394 33554432000 4194304 4890832 140737359273664 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0 /proc/28637/statm: 28262 27394 86 171 0 28089 0 [pid=28635/tid=28645] ppid=28524 vsize=401592 CPUtime=0 cores=5,7 /proc/28635/task/28645/stat : 28645 (python) S 28524 28524 28449 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 886361866 411230208 23550 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604454537032704 0 0 -1 7 0 0 0 [pid=28646] ppid=28524 vsize=411848 CPUtime=0.14 cores=5,7 /proc/28646/stat : 28646 (python) S 28524 28524 28449 0 -1 4202560 1077 0 0 0 7 7 0 0 19 0 2 0 886361867 421732352 23554 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0 /proc/28646/statm: 102962 23554 399 364 0 38862 0 [pid=28648] ppid=28646 vsize=114172 CPUtime=100.13 cores=5,7 /proc/28648/stat : 28648 (precosat) T 28646 28648 28648 0 -1 4202496 29610 0 0 0 10009 4 0 0 25 0 1 0 886361867 116912128 27675 33554432000 4194304 4890832 140734864846064 18446744073709551615 4240934 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28648/statm: 28543 27675 86 171 0 28370 0 [pid=28646/tid=28652] ppid=28524 vsize=411848 CPUtime=0 cores=5,7 /proc/28646/task/28652/stat : 28652 (python) S 28524 28524 28449 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 886371881 421732352 23554 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604471134368832 0 0 -1 7 0 0 0 [pid=28653] ppid=28524 vsize=422104 CPUtime=0.14 cores=5,7 /proc/28653/stat : 28653 (python) S 28524 28524 28449 0 -1 4202560 1130 0 0 0 7 7 0 0 19 0 2 0 886371882 432234496 23564 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28653/statm: 105526 23564 405 364 0 41423 0 [pid=28655] ppid=28653 vsize=113556 CPUtime=99.95 cores=5,7 /proc/28655/stat : 28655 (precosat) T 28653 28655 28655 0 -1 4202496 29453 0 0 0 9991 4 0 0 25 0 1 0 886371883 116281344 27521 33554432000 4194304 4890832 140736186529616 18446744073709551615 4291941 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28655/statm: 28389 27521 86 171 0 28216 0 [pid=28653/tid=28662] ppid=28524 vsize=422104 CPUtime=0 cores=5,7 /proc/28653/task/28662/stat : 28662 (python) S 28524 28524 28449 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 886381897 432234496 23564 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604471134369728 0 0 -1 5 0 0 0 [pid=28663] ppid=28524 vsize=432360 CPUtime=0.15 cores=5,7 /proc/28663/stat : 28663 (python) S 28524 28524 28449 0 -1 4202560 1115 0 0 0 8 7 0 0 19 0 2 0 886381897 442736640 23568 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28663/statm: 108090 23568 405 364 0 43984 0 [pid=28665] ppid=28663 vsize=115016 CPUtime=99.99 cores=5,7 /proc/28665/stat : 28665 (precosat) T 28663 28665 28665 0 -1 4202496 29825 0 0 0 9995 4 0 0 25 0 1 0 886381898 117776384 27887 33554432000 4194304 4890832 140733198944944 18446744073709551615 4293432 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0 /proc/28665/statm: 28754 27887 86 171 0 28581 0 [pid=28663/tid=28669] ppid=28524 vsize=432360 CPUtime=0 cores=5,7 /proc/28663/task/28669/stat : 28669 (python) S 28524 28524 28449 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 886391912 442736640 23568 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604469968476096 0 0 -1 5 0 0 0 [pid=28670] ppid=28524 vsize=442616 CPUtime=0.15 cores=5,7 /proc/28670/stat : 28670 (python) S 28524 28524 28449 0 -1 4202560 1101 0 0 0 8 7 0 0 19 0 2 0 886391913 453238784 23566 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0 /proc/28670/statm: 110654 23566 399 364 0 46545 0 [pid=28672] ppid=28670 vsize=113600 CPUtime=99.97 cores=5,7 /proc/28672/stat : 28672 (precosat) T 28670 28672 28672 0 -1 4202496 29467 0 0 0 9994 3 0 0 25 0 1 0 886391913 116326400 27531 33554432000 4194304 4890832 140737401470608 18446744073709551615 4238257 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0 /proc/28672/statm: 28400 27531 86 171 0 28227 0 [pid=28670/tid=28676] ppid=28524 vsize=442616 CPUtime=0 cores=5,7 /proc/28670/task/28676/stat : 28676 (python) S 28524 28524 28449 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 886401927 453238784 23566 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 514 18446604469968475200 0 0 -1 7 0 0 0 [pid=28677] ppid=28524 vsize=452872 CPUtime=0.25 cores=5,7 /proc/28677/stat : 28677 (python) S 28524 28524 28449 0 -1 4202560 957 0 0 0 12 13 0 0 18 0 1 0 886401928 463740928 23540 33554432000 4194304 5683644 140737336392816 18446744073709551615 232335912518 0 0 16781312 514 9782451709346283783 0 0 17 5 0 0 0 /proc/28677/statm: 113218 23540 370 364 0 49106 0 [pid=28679] ppid=28677 vsize=114248 CPUtime=176.2 cores=5,7 /proc/28679/stat : 28679 (precosat) R 28677 28679 28679 0 -1 4202496 29635 0 0 0 17616 4 0 0 25 0 1 0 886401929 116989952 27696 33554432000 4194304 4890832 140735179473936 18446744073709551615 4238686 0 0 16781312 17442 0 0 0 17 5 0 0 0 /proc/28679/statm: 28562 27696 86 171 0 28389 0 [pid=28524/tid=28551] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28551/stat : 28551 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 12 0 886302085 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28564] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28564/stat : 28564 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 12 0 886311999 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28616] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28616/stat : 28616 (python) S 28514 28524 28449 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 12 0 886322012 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 7 0 0 0 [pid=28524/tid=28623] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28623/stat : 28623 (python) S 28514 28524 28449 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 12 0 886331926 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28630] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28630/stat : 28630 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886341939 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28636] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28636/stat : 28636 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886351853 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28647] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28647/stat : 28647 (python) S 28514 28524 28449 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 12 0 886361867 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 7 0 0 0 [pid=28524/tid=28654] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28654/stat : 28654 (python) S 28514 28524 28449 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 12 0 886371883 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28664] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28664/stat : 28664 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 12 0 886381898 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28671] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28671/stat : 28671 (python) S 28514 28524 28449 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 12 0 886391913 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 [pid=28524/tid=28678] ppid=28514 vsize=463116 CPUtime=0 cores=5,7 /proc/28524/task/28678/stat : 28678 (python) S 28514 28524 28449 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 12 0 886401929 474230784 25064 33554432000 4194304 5683644 140737336392816 18446744073709551615 232347716017 0 0 16781312 2 18446604456766736512 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1200.07 Current children cumulated vsize (KiB) 6145964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28524 and gives # childrusage.ru_utime.tv_sec=24 # childrusage.ru_utime.tv_usec=738239 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=236963 # CPU time returned by wait4() is 24.9752 # while last known CPU time is 1200.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1203.68 CPU time (s): 1200.07 CPU user time (s): 1198.65 CPU system time (s): 1.42 CPU usage (%): 99.7004 Max. virtual memory (cumulated for all children) (KiB): 6145968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.7382 system time used= 0.236963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46810 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8217 involuntary context switches= 1186 runsolver used 3.67044 second user time and 8.5457 second system time The end
Begin job on node132 at 2011-06-11 01:03:29 IDJOB=3483815 IDBENCH=20406 IDSOLVER=1976 FILE ID=node132/3483815-1307747008 RUNJOBID= node132-1307747008-28470 PBS_JOBID= 13550826 Free space on /tmp= 74080 MiB SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483815-1307747008/watcher-3483815-1307747008 -o /tmp/evaluation-result-3483815-1307747008/solver-3483815-1307747008 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3483815-1307747008.cnf -seed 5039089 -budget 1200 TIME LIMIT= 1200 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e RANDOM SEED=5039089 node132.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 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.833 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.76 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.77 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.833 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.67 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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: 32951124 kB MemFree: 31563516 kB Buffers: 223372 kB Cached: 936216 kB SwapCached: 9968 kB Active: 643120 kB Inactive: 534556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31563516 kB SwapTotal: 67111528 kB SwapFree: 67063272 kB Dirty: 146240 kB Writeback: 0 kB AnonPages: 16084 kB Mapped: 8832 kB Slab: 146140 kB PageTables: 4736 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 161276 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73984 MiB End job on node132 at 2011-06-11 01:23:36