0.33/0.65	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.33/0.65	c INFO: solving HOME/instance-3377848-1305452773.cnf
0.33/0.65	c INFO: computing task features
5.92/6.25	c INFO: computed variable-clause graph statistics
6.12/6.42	c INFO: computed clause balance statistics
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.12/6.42	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.51	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.23/6.59	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.33/6.67	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.41/6.76	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.51/6.84	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.61/6.92	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.00	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.01	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.72/7.08	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.14	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.17	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.18	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.19	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.81/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
6.91/7.20	Warning: invalid value encountered in divide
30.43/30.71	c INFO: computed variable balance statistics
48.51/48.81	c INFO: computed small-clause counts
49.23/49.59	c INFO: computed Horn-clause counts
344.42/344.77	c INFO: computed variable graph statistics
344.42/344.77	c INFO: collected features for HOME/instance-3377848-1305452773.cnf in 343.98 s
344.42/344.78	c INFO: running precosat-570@0 for 97 with 2056 remaining (b = nan)
444.71/445.08	c INFO: running precosat-570@0 for 97 with 1956 remaining (b = nan)
545.02/545.38	c INFO: running precosat-570@0 for 97 with 1856 remaining (b = nan)
645.35/645.68	c INFO: running precosat-570@0 for 97 with 1756 remaining (b = nan)
745.71/745.98	c INFO: running precosat-570@0 for 97 with 1656 remaining (b = nan)
846.03/846.29	c INFO: running precosat-570@0 for 97 with 1556 remaining (b = nan)
945.71/945.64	c INFO: running precosat-570@0 for 97 with 1457 remaining (b = nan)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3377848-1305452773/watcher-3377848-1305452773 -o /tmp/evaluation-result-3377848-1305452773/solver-3377848-1305452773 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377848-1305452773.cnf -seed 2034766865 -budget 2400 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 3.92 2.47 2.21 5/385 18559
/proc/meminfo: memFree=28703464/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=15780 CPUtime=0 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 835 0 0 0 0 0 0 0 17 0 1 0 637693745 16158720 720 33554432000 4194304 5683644 140736551299424 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 3945 723 334 364 0 432 0

[startup+0.0643919 s]
/proc/loadavg: 3.92 2.47 2.21 5/385 18559
/proc/meminfo: memFree=28703464/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=29788 CPUtime=0.03 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 1455 0 0 0 3 0 0 0 17 0 1 0 637693745 30502912 1296 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039651173 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 7447 1296 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788

[startup+0.100385 s]
/proc/loadavg: 3.92 2.47 2.21 5/385 18559
/proc/meminfo: memFree=28703464/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=85620 CPUtime=0.05 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 2628 0 0 0 4 1 0 0 17 0 1 0 637693745 87674880 2348 33554432000 4194304 5683644 140736551299424 18446744073709551615 4509181 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 21405 2348 713 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620

[startup+0.300352 s]
/proc/loadavg: 3.92 2.47 2.21 5/385 18559
/proc/meminfo: memFree=28703464/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=135748 CPUtime=0.16 cores=1,3
/proc/18559/stat : 18559 (python) S 18557 18559 17591 0 -1 4202496 5972 934 1 0 12 4 0 0 17 0 1 0 637693745 139005952 4148 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039651333 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/18559/statm: 33937 4148 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 135748

[startup+0.700283 s]
/proc/loadavg: 3.92 2.47 2.21 5/385 18559
/proc/meminfo: memFree=28703464/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=308236 CPUtime=0.41 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 16710 934 1 0 31 10 0 0 15 0 1 0 637693745 315633664 14380 33554432000 4194304 5683644 140736551299424 18446744073709551615 4313584 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 77059 14380 1761 364 0 12983 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 308236

[startup+1.50013 s]
/proc/loadavg: 3.92 2.47 2.21 6/386 18564
/proc/meminfo: memFree=28630544/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=362916 CPUtime=1.22 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 30273 934 1 0 109 13 0 0 16 0 1 0 637693745 371625984 27943 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039316165 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 90729 27945 1761 364 0 26653 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 362916

[startup+3.10085 s]
/proc/loadavg: 3.93 2.50 2.22 5/386 18564
/proc/meminfo: memFree=28555772/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=470640 CPUtime=2.82 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 56993 934 1 0 265 17 0 0 18 0 1 0 637693745 481935360 54663 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039316165 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 117660 54664 1761 364 0 53584 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 470640

[startup+6.30028 s]
/proc/loadavg: 3.93 2.50 2.22 5/386 18564
/proc/meminfo: memFree=28364936/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=6.02 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121713 934 1 0 579 23 0 0 25 0 1 0 637693745 603545600 84727 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783786855478 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84727 1818 364 0 83274 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 589400

[startup+12.7001 s]
/proc/loadavg: 3.94 2.52 2.23 5/386 18564
/proc/meminfo: memFree=28365920/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=12.41 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121723 934 1 0 1218 23 0 0 25 0 1 0 637693745 603545600 84737 33554432000 4194304 5683644 140736551299424 18446744073709551615 4418259 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84737 1828 364 0 83274 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 589400

[startup+25.5008 s]
/proc/loadavg: 3.95 2.59 2.26 5/386 18564
/proc/meminfo: memFree=28363680/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=25.21 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121723 934 1 0 2498 23 0 0 25 0 1 0 637693745 603545600 84737 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783756977918 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84737 1828 364 0 83274 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 589400

[startup+51.1003 s]
/proc/loadavg: 3.97 2.70 2.30 5/386 18565
/proc/meminfo: memFree=28361556/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=50.81 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 5058 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 589400

[startup+102.314 s]
/proc/loadavg: 4.04 2.93 2.40 5/386 18566
/proc/meminfo: memFree=28357164/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=102.03 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 10180 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 589400

[startup+162.3 s]
/proc/loadavg: 4.01 3.11 2.49 5/386 18568
/proc/meminfo: memFree=28342976/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=162.02 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 16179 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209420 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 589400

[startup+222.301 s]
/proc/loadavg: 4.13 3.33 2.61 5/387 18571
/proc/meminfo: memFree=28339188/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=222.02 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 22179 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209420 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 589400

[startup+282.301 s]
/proc/loadavg: 4.12 3.45 2.69 5/395 18580
/proc/meminfo: memFree=28276808/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=282.02 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 28179 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 589400

[startup+342.3 s]
/proc/loadavg: 4.04 3.55 2.77 5/395 18582
/proc/meminfo: memFree=28243148/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=589400 CPUtime=342.02 cores=1,3
/proc/18559/stat : 18559 (python) R 18557 18559 17591 0 -1 4202496 121730 934 1 0 34179 23 0 0 25 0 1 0 637693745 603545600 84744 33554432000 4194304 5683644 140736551299424 18446744073709551615 47783754209408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18559/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 589400

[startup+402.3 s]
/proc/loadavg: 4.05 3.64 2.85 5/400 18588
/proc/meminfo: memFree=27681196/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=576264 CPUtime=344.51 cores=1,3
/proc/18559/stat : 18559 (python) S 18557 18559 17591 0 -1 4202496 122008 934 1 0 34427 24 0 0 25 0 2 0 637693745 590094336 78931 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18559/statm: 144066 78931 1869 364 0 79984 0
[pid=18583] ppid=18559 vsize=566020 CPUtime=0.15 cores=1,3
/proc/18583/stat : 18583 (python) S 18559 18559 17591 0 -1 4202560 894 0 0 0 8 7 0 0 18 0 1 0 637728223 579604480 77434 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039675407 0 0 16781312 514 9414950942878433544 0 0 17 1 0 0 0
/proc/18583/statm: 141505 77434 376 364 0 77423 0
[pid=18585] ppid=18583 vsize=598232 CPUtime=57.34 cores=1,3
/proc/18585/stat : 18585 (precosat) R 18583 18585 18585 0 -1 4202496 166957 0 0 0 5713 21 0 0 25 0 1 0 637728224 612589568 145548 33554432000 4194304 4890832 140735460899520 18446744073709551615 4203986 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/18585/statm: 149558 145548 86 171 0 149385 0
[pid=18559/tid=18584] ppid=18557 vsize=576264 CPUtime=0 cores=1,3
/proc/18559/task/18584/stat : 18584 (python) S 18557 18559 17591 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 2 0 637728224 590094336 78931 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 1740516

[startup+462.301 s]
/proc/loadavg: 4.07 3.72 2.92 5/404 18594
/proc/meminfo: memFree=27272920/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=586520 CPUtime=344.53 cores=1,3
/proc/18559/stat : 18559 (python) S 18557 18559 17591 0 -1 4202496 122851 934 1 0 34428 25 0 0 20 0 3 0 637693745 600596480 78938 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18559/statm: 146630 78938 1872 364 0 82545 0
[pid=18583] ppid=18559 vsize=576264 CPUtime=0.29 cores=1,3
/proc/18583/stat : 18583 (python) S 18559 18559 17591 0 -1 4202560 1147 0 0 0 15 14 0 0 19 0 2 0 637728223 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18583/statm: 144066 77477 414 364 0 79984 0
[pid=18585] ppid=18583 vsize=598232 CPUtime=99.98 cores=1,3
/proc/18585/stat : 18585 (precosat) T 18583 18585 18585 0 -1 4202496 180084 0 0 0 9976 22 0 0 25 0 1 0 637728224 612589568 145770 33554432000 4194304 4890832 140735460899520 18446744073709551615 4238761 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18585/statm: 149558 145770 86 171 0 149385 0
[pid=18583/tid=18591] ppid=18559 vsize=576264 CPUtime=0 cores=1,3
/proc/18583/task/18591/stat : 18591 (python) S 18559 18559 17591 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 637738253 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604462533647296 0 0 -1 3 0 0 0
[pid=18592] ppid=18559 vsize=576276 CPUtime=0.05 cores=1,3
/proc/18592/stat : 18592 (python) S 18559 18559 17591 0 -1 4202560 881 0 0 0 2 3 0 0 18 0 1 0 637738253 590106624 77432 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039675462 0 0 16781312 514 9414950942878433544 0 0 17 1 0 0 0
/proc/18592/statm: 144069 77432 370 364 0 79984 0
[pid=18594] ppid=18592 vsize=411600 CPUtime=17.14 cores=1,3
/proc/18594/stat : 18594 (precosat) R 18592 18594 18594 0 -1 4202496 107815 0 0 0 1699 15 0 0 25 0 1 0 637738254 421478400 99332 33554432000 4194304 4890832 140737159036176 18446744073709551615 4293456 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/18594/statm: 102900 99332 86 171 0 102727 0

################
# More data... #
################

/proc/meminfo: memFree=22774528/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=637800 CPUtime=344.61 cores=1,3
/proc/18559/stat : 18559 (python) S 18557 18559 17591 0 -1 4202496 126851 934 1 0 34432 29 0 0 19 0 8 0 637693745 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18559/statm: 159450 78968 1882 364 0 95350 0
[pid=18583] ppid=18559 vsize=576264 CPUtime=0.29 cores=1,3
/proc/18583/stat : 18583 (python) S 18559 18559 17591 0 -1 4202560 1147 0 0 0 15 14 0 0 19 0 2 0 637728223 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18583/statm: 144066 77477 414 364 0 79984 0
[pid=18585] ppid=18583 vsize=598232 CPUtime=99.98 cores=1,3
/proc/18585/stat : 18585 (precosat) T 18583 18585 18585 0 -1 4202496 180084 0 0 0 9976 22 0 0 25 0 1 0 637728224 612589568 145770 33554432000 4194304 4890832 140735460899520 18446744073709551615 4238761 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18585/statm: 149558 145770 86 171 0 149385 0
[pid=18583/tid=18591] ppid=18559 vsize=576264 CPUtime=0 cores=1,3
/proc/18583/task/18591/stat : 18591 (python) S 18559 18559 17591 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 637738253 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604462533647296 0 0 -1 3 0 0 0
[pid=18592] ppid=18559 vsize=576276 CPUtime=0.28 cores=1,3
/proc/18592/stat : 18592 (python) S 18559 18559 17591 0 -1 4202560 1070 0 0 0 14 14 0 0 19 0 2 0 637738253 590106624 77462 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18592/statm: 144069 77462 399 364 0 79984 0
[pid=18594] ppid=18592 vsize=591776 CPUtime=100.01 cores=1,3
/proc/18594/stat : 18594 (precosat) T 18592 18594 18594 0 -1 4202496 178566 0 0 0 9978 23 0 0 25 0 1 0 637738254 605978624 144273 33554432000 4194304 4890832 140737159036176 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18594/statm: 147944 144273 86 171 0 147771 0
[pid=18592/tid=18600] ppid=18559 vsize=576276 CPUtime=0 cores=1,3
/proc/18592/task/18600/stat : 18600 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637748283 590106624 77462 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604460721473664 0 0 -1 3 0 0 0
[pid=18601] ppid=18559 vsize=586532 CPUtime=0.29 cores=1,3
/proc/18601/stat : 18601 (python) S 18559 18559 17591 0 -1 4202560 1079 0 0 0 15 14 0 0 19 0 2 0 637748283 600608768 77466 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18601/statm: 146633 77466 399 364 0 82545 0
[pid=18603] ppid=18601 vsize=573728 CPUtime=100.02 cores=1,3
/proc/18603/stat : 18603 (precosat) T 18601 18603 18603 0 -1 4202496 173937 0 0 0 9980 22 0 0 25 0 1 0 637748284 587497472 139738 33554432000 4194304 4890832 140736348825952 18446744073709551615 4298394 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18603/statm: 143432 139738 86 171 0 143259 0
[pid=18601/tid=18613] ppid=18559 vsize=586532 CPUtime=0 cores=1,3
/proc/18601/task/18613/stat : 18613 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637758313 600608768 77466 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604471135148864 0 0 -1 3 0 0 0
[pid=18614] ppid=18559 vsize=596788 CPUtime=0.29 cores=1,3
/proc/18614/stat : 18614 (python) S 18559 18559 17591 0 -1 4202560 1094 0 0 0 14 15 0 0 19 0 2 0 637758314 611110912 77470 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18614/statm: 149197 77470 399 364 0 85106 0
[pid=18616] ppid=18614 vsize=584540 CPUtime=100.06 cores=1,3
/proc/18616/stat : 18616 (precosat) T 18614 18616 18616 0 -1 4202496 163950 0 0 0 9984 22 0 0 25 0 1 0 637758314 598568960 142454 33554432000 4194304 4890832 140735512099072 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18616/statm: 146135 142454 86 171 0 145962 0
[pid=18614/tid=18620] ppid=18559 vsize=596788 CPUtime=0 cores=1,3
/proc/18614/task/18620/stat : 18620 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637768343 611110912 77470 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604461545096256 0 0 -1 3 0 0 0
[pid=18621] ppid=18559 vsize=607044 CPUtime=0.29 cores=1,3
/proc/18621/stat : 18621 (python) S 18559 18559 17591 0 -1 4202560 1095 0 0 0 14 15 0 0 19 0 2 0 637768344 621613056 77474 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18621/statm: 151761 77474 399 364 0 87667 0
[pid=18623] ppid=18621 vsize=585404 CPUtime=100.04 cores=1,3
/proc/18623/stat : 18623 (precosat) T 18621 18623 18623 0 -1 4202496 176924 0 0 0 9982 22 0 0 25 0 1 0 637768345 599453696 142719 33554432000 4194304 4890832 140734295176896 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18623/statm: 146351 142719 86 171 0 146178 0
[pid=18621/tid=18626] ppid=18559 vsize=607044 CPUtime=0 cores=1,3
/proc/18621/task/18626/stat : 18626 (python) S 18559 18559 17591 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 637778373 621613056 77474 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604460621920128 0 0 -1 3 0 0 0
[pid=18627] ppid=18559 vsize=617300 CPUtime=0.31 cores=1,3
/proc/18627/stat : 18627 (python) S 18559 18559 17591 0 -1 4202560 1097 0 0 0 14 17 0 0 19 0 2 0 637778374 632115200 77478 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/18627/statm: 154325 77478 399 364 0 90228 0
[pid=18629] ppid=18627 vsize=607968 CPUtime=99.32 cores=1,3
/proc/18629/stat : 18629 (precosat) T 18627 18629 18629 0 -1 4202496 185232 0 0 0 9907 25 0 0 25 0 1 0 637778375 622559232 150923 33554432000 4194304 4890832 140736730853376 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/18629/statm: 151992 150923 86 171 0 151819 0
[pid=18627/tid=18642] ppid=18559 vsize=617300 CPUtime=0 cores=1,3
/proc/18627/task/18642/stat : 18642 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637788309 632115200 77478 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604469056654208 0 0 -1 1 0 0 0
[pid=18643] ppid=18559 vsize=627556 CPUtime=0 cores=1,3
/proc/18643/stat : 18643 (python) S 18559 18559 17591 0 -1 4202560 747 0 0 0 0 0 0 0 19 0 1 0 637788310 642617344 77425 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039675462 0 0 16781312 514 13207914494157651967 0 0 17 1 0 0 0
/proc/18643/statm: 156889 77425 343 364 0 92789 0
[pid=18645] ppid=18643 vsize=127960 CPUtime=0.26 cores=1,3
/proc/18645/stat : 18645 (precosat) R 18643 18645 18645 0 -1 4202496 31878 0 0 0 22 4 0 0 21 0 1 0 637788311 131031040 31613 33554432000 4194304 4890832 140737402649760 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/18645/statm: 31990 31614 66 171 0 31817 0
[pid=18559/tid=18584] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18584/stat : 18584 (python) S 18557 18559 17591 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 8 0 637728224 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18593] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18593/stat : 18593 (python) S 18557 18559 17591 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 8 0 637738254 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18602] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18602/stat : 18602 (python) S 18557 18559 17591 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 8 0 637748284 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18615] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18615/stat : 18615 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637758314 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18622] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18622/stat : 18622 (python) S 18557 18559 17591 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 8 0 637768345 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18628] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18628/stat : 18628 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637778375 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 3 0 0 0
[pid=18559/tid=18644] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18644/stat : 18644 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637788311 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 946.05
Current children cumulated vsize (KiB) 8495168

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+945.901 s]
/proc/loadavg: 4.14 4.07 3.40 6/433 18645
/proc/meminfo: memFree=22774528/32951124 swapFree=51873460/67111528
[pid=18559] ppid=18557 vsize=637800 CPUtime=344.61 cores=1,3
/proc/18559/stat : 18559 (python) S 18557 18559 17591 0 -1 4202496 126851 934 1 0 34432 29 0 0 19 0 8 0 637693745 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18559/statm: 159450 78968 1882 364 0 95350 0
[pid=18583] ppid=18559 vsize=576264 CPUtime=0.29 cores=1,3
/proc/18583/stat : 18583 (python) S 18559 18559 17591 0 -1 4202560 1147 0 0 0 15 14 0 0 19 0 2 0 637728223 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18583/statm: 144066 77477 414 364 0 79984 0
[pid=18585] ppid=18583 vsize=598232 CPUtime=99.98 cores=1,3
/proc/18585/stat : 18585 (precosat) T 18583 18585 18585 0 -1 4202496 180084 0 0 0 9976 22 0 0 25 0 1 0 637728224 612589568 145770 33554432000 4194304 4890832 140735460899520 18446744073709551615 4238761 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18585/statm: 149558 145770 86 171 0 149385 0
[pid=18583/tid=18591] ppid=18559 vsize=576264 CPUtime=0 cores=1,3
/proc/18583/task/18591/stat : 18591 (python) S 18559 18559 17591 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 637738253 590094336 77477 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604462533647296 0 0 -1 3 0 0 0
[pid=18592] ppid=18559 vsize=576276 CPUtime=0.28 cores=1,3
/proc/18592/stat : 18592 (python) S 18559 18559 17591 0 -1 4202560 1070 0 0 0 14 14 0 0 19 0 2 0 637738253 590106624 77462 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18592/statm: 144069 77462 399 364 0 79984 0
[pid=18594] ppid=18592 vsize=591776 CPUtime=100.01 cores=1,3
/proc/18594/stat : 18594 (precosat) T 18592 18594 18594 0 -1 4202496 178566 0 0 0 9978 23 0 0 25 0 1 0 637738254 605978624 144273 33554432000 4194304 4890832 140737159036176 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18594/statm: 147944 144273 86 171 0 147771 0
[pid=18592/tid=18600] ppid=18559 vsize=576276 CPUtime=0 cores=1,3
/proc/18592/task/18600/stat : 18600 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637748283 590106624 77462 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604460721473664 0 0 -1 3 0 0 0
[pid=18601] ppid=18559 vsize=586532 CPUtime=0.29 cores=1,3
/proc/18601/stat : 18601 (python) S 18559 18559 17591 0 -1 4202560 1079 0 0 0 15 14 0 0 19 0 2 0 637748283 600608768 77466 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18601/statm: 146633 77466 399 364 0 82545 0
[pid=18603] ppid=18601 vsize=573728 CPUtime=100.02 cores=1,3
/proc/18603/stat : 18603 (precosat) T 18601 18603 18603 0 -1 4202496 173937 0 0 0 9980 22 0 0 25 0 1 0 637748284 587497472 139738 33554432000 4194304 4890832 140736348825952 18446744073709551615 4298394 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18603/statm: 143432 139738 86 171 0 143259 0
[pid=18601/tid=18613] ppid=18559 vsize=586532 CPUtime=0 cores=1,3
/proc/18601/task/18613/stat : 18613 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637758313 600608768 77466 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604471135148864 0 0 -1 3 0 0 0
[pid=18614] ppid=18559 vsize=596788 CPUtime=0.29 cores=1,3
/proc/18614/stat : 18614 (python) S 18559 18559 17591 0 -1 4202560 1094 0 0 0 14 15 0 0 19 0 2 0 637758314 611110912 77470 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18614/statm: 149197 77470 399 364 0 85106 0
[pid=18616] ppid=18614 vsize=584540 CPUtime=100.06 cores=1,3
/proc/18616/stat : 18616 (precosat) T 18614 18616 18616 0 -1 4202496 163950 0 0 0 9984 22 0 0 25 0 1 0 637758314 598568960 142454 33554432000 4194304 4890832 140735512099072 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18616/statm: 146135 142454 86 171 0 145962 0
[pid=18614/tid=18620] ppid=18559 vsize=596788 CPUtime=0 cores=1,3
/proc/18614/task/18620/stat : 18620 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637768343 611110912 77470 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604461545096256 0 0 -1 3 0 0 0
[pid=18621] ppid=18559 vsize=607044 CPUtime=0.29 cores=1,3
/proc/18621/stat : 18621 (python) S 18559 18559 17591 0 -1 4202560 1095 0 0 0 14 15 0 0 19 0 2 0 637768344 621613056 77474 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18621/statm: 151761 77474 399 364 0 87667 0
[pid=18623] ppid=18621 vsize=585404 CPUtime=100.04 cores=1,3
/proc/18623/stat : 18623 (precosat) T 18621 18623 18623 0 -1 4202496 176924 0 0 0 9982 22 0 0 25 0 1 0 637768345 599453696 142719 33554432000 4194304 4890832 140734295176896 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/18623/statm: 146351 142719 86 171 0 146178 0
[pid=18621/tid=18626] ppid=18559 vsize=607044 CPUtime=0 cores=1,3
/proc/18621/task/18626/stat : 18626 (python) S 18559 18559 17591 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 637778373 621613056 77474 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604460621920128 0 0 -1 3 0 0 0
[pid=18627] ppid=18559 vsize=617300 CPUtime=0.31 cores=1,3
/proc/18627/stat : 18627 (python) S 18559 18559 17591 0 -1 4202560 1097 0 0 0 14 17 0 0 19 0 2 0 637778374 632115200 77478 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/18627/statm: 154325 77478 399 364 0 90228 0
[pid=18629] ppid=18627 vsize=607968 CPUtime=99.32 cores=1,3
/proc/18629/stat : 18629 (precosat) T 18627 18629 18629 0 -1 4202496 185232 0 0 0 9907 25 0 0 25 0 1 0 637778375 622559232 150923 33554432000 4194304 4890832 140736730853376 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/18629/statm: 151992 150923 86 171 0 151819 0
[pid=18627/tid=18642] ppid=18559 vsize=617300 CPUtime=0 cores=1,3
/proc/18627/task/18642/stat : 18642 (python) S 18559 18559 17591 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 637788309 632115200 77478 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 514 18446604469056654208 0 0 -1 1 0 0 0
[pid=18643] ppid=18559 vsize=627556 CPUtime=0 cores=1,3
/proc/18643/stat : 18643 (python) S 18559 18559 17591 0 -1 4202560 747 0 0 0 0 0 0 0 19 0 1 0 637788310 642617344 77425 33554432000 4194304 5683644 140736551299424 18446744073709551615 212039675462 0 0 16781312 514 13207914494157651967 0 0 17 1 0 0 0
/proc/18643/statm: 156889 77425 343 364 0 92789 0
[pid=18645] ppid=18643 vsize=127960 CPUtime=0.26 cores=1,3
/proc/18645/stat : 18645 (precosat) R 18643 18645 18645 0 -1 4202496 31878 0 0 0 22 4 0 0 21 0 1 0 637788311 131031040 31613 33554432000 4194304 4890832 140737402649760 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/18645/statm: 31990 31614 66 171 0 31817 0
[pid=18559/tid=18584] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18584/stat : 18584 (python) S 18557 18559 17591 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 8 0 637728224 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18593] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18593/stat : 18593 (python) S 18557 18559 17591 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 8 0 637738254 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18602] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18602/stat : 18602 (python) S 18557 18559 17591 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 8 0 637748284 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18615] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18615/stat : 18615 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637758314 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18622] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18622/stat : 18622 (python) S 18557 18559 17591 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 8 0 637768345 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
[pid=18559/tid=18628] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18628/stat : 18628 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637778375 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 3 0 0 0
[pid=18559/tid=18644] ppid=18557 vsize=637800 CPUtime=0 cores=1,3
/proc/18559/task/18644/stat : 18644 (python) S 18557 18559 17591 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 8 0 637788311 653107200 78968 33554432000 4194304 5683644 140736551299424 18446744073709551615 212051478961 0 0 16781312 2 18446604471160826752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 946.05
Current children cumulated vsize (KiB) 8495168

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18559 and gives
#  childrusage.ru_utime.tv_sec=344
#  childrusage.ru_utime.tv_usec=322655
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=310952
# CPU time returned by wait4() is 344.634
# while last known CPU time is 946.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 945.985
CPU time (s): 946.05
CPU user time (s): 943.47
CPU system time (s): 2.58
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 8495168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.323
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127789
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= 2876
involuntary context switches= 547

runsolver used 3.43148 second user time and 8.5547 second system time

The end

Begin job on node146 at 2011-05-15 11:46:15
IDJOB=3377848
IDBENCH=20423
IDSOLVER=1858
FILE ID=node146/3377848-1305452773
RUNJOBID= node146-1305452590-18458
PBS_JOBID= 13324873
Free space on /tmp= 73172 MiB

SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed)
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3377848-1305452773/watcher-3377848-1305452773 -o /tmp/evaluation-result-3377848-1305452773/solver-3377848-1305452773 -C 2400 -W 1300 -M 7680  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3377848-1305452773.cnf -seed 2034766865 -budget 2400

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=2034766865

node146.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.830
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.830
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.75
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.86
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:      28703620 kB
Buffers:        121416 kB
Cached:        1037448 kB
SwapCached:      56148 kB
Active:        1612332 kB
Inactive:      2391372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28703620 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           59188 kB
Writeback:           0 kB
AnonPages:     2795980 kB
Mapped:          23804 kB
Slab:           111564 kB
PageTables:      64828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82960000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73140 MiB
End job on node146 at 2011-05-15 12:02:03