0.39/0.72 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.39/0.72 c INFO: solving HOME/instance-3380520-1305481205.cnf
0.39/0.72 c INFO: computing task features
5.98/6.39 c INFO: computed variable-clause graph statistics
6.19/6.56 c INFO: computed clause balance statistics
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.19/6.56 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.29/6.64 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.38/6.73 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.81 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.48/6.89 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.97 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.58/6.98 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.68/7.06 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.78/7.14 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.21 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.26 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.88/7.27 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.30 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.31 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.32 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
6.98/7.33 Warning: invalid value encountered in divide
30.58/30.94 c INFO: computed variable balance statistics
48.78/49.13 c INFO: computed small-clause counts
49.58/49.90 c INFO: computed Horn-clause counts
344.68/345.07 c INFO: computed variable graph statistics
344.68/345.07 c INFO: collected features for HOME/instance-3380520-1305481205.cnf in 344.20 s
344.68/345.09 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.78/345.11 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.78/345.13 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.78/345.16 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.78/345.18 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.88/345.20 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.88/345.23 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
344.88/345.26 c INFO: running precosat-570@0 for 97 with 4655 remaining (b = nan)
1137.00/444.41 c INFO: running precosat-570@0 for 97 with 4556 remaining (b = nan)
1143.22/445.37 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1143.22/445.40 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1144.93/445.43 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1144.93/445.48 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1145.41/445.51 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1145.41/445.55 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1145.77/445.71 c INFO: running precosat-570@0 for 97 with 4555 remaining (b = nan)
1943.12/545.68 c INFO: running precosat-570@0 for 97 with 4455 remaining (b = nan)
1943.82/545.72 c INFO: running precosat-570@0 for 97 with 4455 remaining (b = nan)
1943.82/545.75 c INFO: running precosat-570@0 for 97 with 4454 remaining (b = nan)
1943.82/545.79 c INFO: running precosat-570@0 for 97 with 4454 remaining (b = nan)
1944.39/545.86 c INFO: running precosat-570@0 for 97 with 4454 remaining (b = nan)
1944.75/545.90 c INFO: running precosat-570@0 for 97 with 4454 remaining (b = nan)
1944.98/546.02 c INFO: running precosat-570@0 for 97 with 4454 remaining (b = nan)
1975.39/549.75 c INFO: running precosat-570@0 for 97 with 4450 remaining (b = nan)
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-3380520-1305481205/watcher-3380520-1305481205 -o /tmp/evaluation-result-3380520-1305481205/solver-3380520-1305481205 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380520-1305481205.cnf -seed 386725302 -budget 40000 -cores 8
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/305 19933
/proc/meminfo: memFree=18228748/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=15756 CPUtime=0 cores=0-7
/proc/19933/stat : 19933 (python) S 19931 19933 19907 0 -1 4202496 838 0 0 0 0 0 0 0 17 0 1 0 659720415 16134144 723 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/19933/statm: 3939 723 334 364 0 426 0
[startup+0.02089 s]
/proc/loadavg: 0.08 0.02 0.01 2/305 19933
/proc/meminfo: memFree=18228748/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=16244 CPUtime=0 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 1037 0 0 0 0 0 0 0 17 0 1 0 659720415 16633856 910 33554432000 4194304 5683644 140736903177168 18446744073709551615 4531719 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 4061 910 380 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244
[startup+0.10088 s]
/proc/loadavg: 0.08 0.02 0.01 2/305 19933
/proc/meminfo: memFree=18228748/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=85360 CPUtime=0.05 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 2580 0 0 0 4 1 0 0 17 0 1 0 659720415 87408640 2307 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089696256 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 21341 2308 707 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300838 s]
/proc/loadavg: 0.08 0.02 0.01 2/305 19933
/proc/meminfo: memFree=18228748/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=135752 CPUtime=0.17 cores=0-7
/proc/19933/stat : 19933 (python) S 19931 19933 19907 0 -1 4202496 5960 931 1 0 13 4 0 0 18 0 1 0 659720415 139010048 4150 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089694213 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/19933/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135752
[startup+0.700686 s]
/proc/loadavg: 0.08 0.02 0.01 2/305 19933
/proc/meminfo: memFree=18228748/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=259460 CPUtime=0.39 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 8640 931 1 0 28 11 0 0 17 0 1 0 659720415 265687040 6474 33554432000 4194304 5683644 140736903177168 18446744073709551615 4438554 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 64865 6474 1656 364 0 5223 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 259460
[startup+1.50055 s]
/proc/loadavg: 0.08 0.02 0.01 2/306 19938
/proc/meminfo: memFree=18161532/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=356516 CPUtime=1.18 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 28678 931 1 0 104 14 0 0 17 0 1 0 659720415 365072384 26360 33554432000 4194304 5683644 140736903177168 18446744073709551615 4571087 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 89129 26361 1761 364 0 25053 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 356516
[startup+3.10034 s]
/proc/loadavg: 0.08 0.02 0.01 2/306 19938
/proc/meminfo: memFree=18088248/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=464832 CPUtime=2.77 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 54709 931 1 0 260 17 0 0 20 0 1 0 659720415 475987968 52391 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089359045 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 116208 52392 1761 364 0 52132 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 464832
[startup+6.30078 s]
/proc/loadavg: 0.15 0.03 0.01 2/306 19938
/proc/meminfo: memFree=17895192/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=5.98 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121695 931 1 0 571 27 0 0 25 0 1 0 659720415 603545600 84723 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313265020 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19933/statm: 147350 84723 1815 364 0 83274 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 589400
[startup+12.7006 s]
/proc/loadavg: 0.22 0.05 0.02 2/306 19938
/proc/meminfo: memFree=17895756/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=12.38 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121709 931 1 0 1211 27 0 0 25 0 1 0 659720415 603545600 84736 33554432000 4194304 5683644 140736903177168 18446744073709551615 4602366 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84736 1828 364 0 83274 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 589400
[startup+25.5003 s]
/proc/loadavg: 0.39 0.09 0.03 2/306 19939
/proc/meminfo: memFree=17896852/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=25.18 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121709 931 1 0 2491 27 0 0 25 0 1 0 659720415 603545600 84736 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089358875 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84736 1828 364 0 83274 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 589400
[startup+51.1009 s]
/proc/loadavg: 0.60 0.17 0.05 2/306 19939
/proc/meminfo: memFree=17896572/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=50.78 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 5051 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 589400
[startup+102.311 s]
/proc/loadavg: 0.82 0.29 0.10 2/306 19941
/proc/meminfo: memFree=17896900/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=101.99 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 10172 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 589400
[startup+162.3 s]
/proc/loadavg: 0.93 0.42 0.15 2/306 19942
/proc/meminfo: memFree=17896484/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=161.98 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 16171 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279619 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 589400
[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/306 19944
/proc/meminfo: memFree=17897056/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=221.98 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 22171 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 589400
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/306 19946
/proc/meminfo: memFree=17897008/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=281.98 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 28171 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 589400
[startup+342.3 s]
/proc/loadavg: 0.99 0.67 0.30 2/306 19947
/proc/meminfo: memFree=17897068/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=589400 CPUtime=341.98 cores=0-7
/proc/19933/stat : 19933 (python) R 19931 19933 19907 0 -1 4202496 121716 931 1 0 34171 27 0 0 25 0 1 0 659720415 603545600 84743 33554432000 4194304 5683644 140736903177168 18446744073709551615 47882313279628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19933/statm: 147350 84743 1835 364 0 83274 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 589400
[startup+402.302 s]
/proc/loadavg: 5.24 1.92 0.74 9/330 19973
/proc/meminfo: memFree=13311920/32950928 swapFree=64721848/67111528
[pid=19933] ppid=19931 vsize=713592 CPUtime=344.95 cores=0-7
/proc/19933/stat : 19933 (python) S 19931 19933 19907 0 -1 4202496 127271 931 1 0 34460 35 0 0 25 0 9 0 659720415 730718208 79087 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19933/statm: 178398 79087 1883 364 0 114295 0
[pid=19948] ppid=19933 vsize=566020 CPUtime=0.12 cores=0-7
/proc/19948/stat : 19948 (python) S 19933 19933 19907 0 -1 4202560 982 0 0 0 5 7 0 0 18 0 1 0 659754924 579604480 77438 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718287 0 0 16781312 514 8447820515086663940 0 0 17 7 0 0 0
/proc/19948/statm: 141505 77438 381 364 0 77423 0
[pid=19950] ppid=19948 vsize=573756 CPUtime=57.18 cores=0-7
/proc/19950/stat : 19950 (precosat) R 19948 19950 19950 0 -1 4202496 160109 0 0 0 5691 27 0 0 25 0 1 0 659754925 587526144 139647 33554432000 4194304 4890832 140735067009680 18446744073709551615 4229367 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/19950/statm: 143439 139647 86 171 0 143266 0
[pid=19951] ppid=19933 vsize=576276 CPUtime=0.13 cores=0-7
/proc/19951/stat : 19951 (python) S 19933 19933 19907 0 -1 4202560 906 0 0 0 5 8 0 0 18 0 1 0 659754927 590106624 77431 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663940 0 0 17 0 0 0 0
/proc/19951/statm: 144069 77431 370 364 0 79984 0
[pid=19953] ppid=19951 vsize=594280 CPUtime=57.16 cores=0-7
/proc/19953/stat : 19953 (precosat) R 19951 19953 19953 0 -1 4202496 166086 0 0 0 5695 21 0 0 25 0 1 0 659754927 608542720 144794 33554432000 4194304 4890832 140737019808288 18446744073709551615 4238761 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/19953/statm: 148570 144794 86 171 0 148397 0
[pid=19954] ppid=19933 vsize=586532 CPUtime=0.14 cores=0-7
/proc/19954/stat : 19954 (python) R 19933 19933 19907 0 -1 4202560 911 0 0 0 6 8 0 0 18 0 1 0 659754929 600608768 77435 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521800 0 0 16781312 514 0 0 0 17 7 0 0 0
/proc/19954/statm: 146633 77435 370 364 0 82545 0
[pid=19956] ppid=19954 vsize=580100 CPUtime=57.13 cores=0-7
/proc/19956/stat : 19956 (precosat) R 19954 19956 19956 0 -1 4202496 162464 0 0 0 5687 26 0 0 25 0 1 0 659754930 594022400 140997 33554432000 4194304 4890832 140736695943888 18446744073709551615 4238592 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/19956/statm: 145025 140997 86 171 0 144852 0
[pid=19957] ppid=19933 vsize=596788 CPUtime=0.12 cores=0-7
/proc/19957/stat : 19957 (python) S 19933 19933 19907 0 -1 4202560 918 0 0 0 7 5 0 0 18 0 1 0 659754931 611110912 77439 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663938 0 0 17 0 0 0 0
/proc/19957/statm: 149197 77439 370 364 0 85106 0
[pid=19959] ppid=19957 vsize=582956 CPUtime=57.11 cores=0-7
/proc/19959/stat : 19959 (precosat) R 19957 19959 19959 0 -1 4202496 163211 0 0 0 5687 24 0 0 25 0 1 0 659754932 596946944 141796 33554432000 4194304 4890832 140734930417776 18446744073709551615 4229367 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/19959/statm: 145739 141796 86 171 0 145566 0
[pid=19960] ppid=19933 vsize=672580 CPUtime=0.13 cores=0-7
/proc/19960/stat : 19960 (python) S 19933 19933 19907 0 -1 4202560 797 0 0 0 7 6 0 0 18 0 1 0 659754934 688721920 77561 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663937 0 0 17 1 0 0 0
/proc/19960/statm: 168145 77561 371 364 0 104051 0
[pid=19962] ppid=19960 vsize=564904 CPUtime=56.03 cores=0-7
/proc/19962/stat : 19962 (precosat) R 19960 19962 19962 0 -1 4202496 161448 0 0 0 5577 26 0 0 25 0 1 0 659754934 578461696 140087 33554432000 4194304 4890832 140733480360848 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/19962/statm: 141226 140087 86 171 0 141053 0
[pid=19963] ppid=19933 vsize=682836 CPUtime=0.12 cores=0-7
################
# More data... #
################
[pid=19983] ppid=19981 vsize=585992 CPUtime=100.22 cores=0-7
/proc/19983/stat : 19983 (precosat) T 19981 19983 19983 0 -1 4202496 179005 0 0 0 9994 28 0 0 25 0 1 0 659764954 600055808 145475 33554432000 4194304 4890832 140736039292576 18446744073709551615 4239007 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/19983/statm: 146498 145475 86 171 0 146325 0
[pid=19981/tid=20010] ppid=19933 vsize=723860 CPUtime=0 cores=0-7
/proc/19981/task/20010/stat : 20010 (python) S 19933 19933 19907 0 -1 4202560 69 0 0 0 0 0 0 0 19 0 2 0 659774981 741232640 77632 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604463509612416 0 0 -1 1 0 0 0
[pid=19984] ppid=19933 vsize=734116 CPUtime=0.25 cores=0-7
/proc/19984/stat : 19984 (python) S 19933 19933 19907 0 -1 4202560 1035 0 0 0 11 14 0 0 19 0 2 0 659764955 751734784 77640 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19984/statm: 183529 77640 399 364 0 119417 0
[pid=19987] ppid=19984 vsize=596876 CPUtime=100.22 cores=0-7
/proc/19987/stat : 19987 (precosat) T 19984 19987 19987 0 -1 4202496 182331 0 0 0 9993 29 0 0 25 0 1 0 659764957 611201024 148196 33554432000 4194304 4890832 140736278468080 18446744073709551615 4229338 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/19987/statm: 149219 148196 86 171 0 149046 0
[pid=19984/tid=20011] ppid=19933 vsize=734116 CPUtime=0 cores=0-7
/proc/19984/task/20011/stat : 20011 (python) S 19933 19933 19907 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 2 0 659774982 751734784 77640 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604453986881664 0 0 -1 5 0 0 0
[pid=19988] ppid=19933 vsize=744372 CPUtime=0.25 cores=0-7
/proc/19988/stat : 19988 (python) S 19933 19933 19907 0 -1 4202560 1043 0 0 0 11 14 0 0 19 0 2 0 659764959 762236928 77685 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/19988/statm: 186093 77685 399 364 0 121978 0
[pid=19990] ppid=19988 vsize=590804 CPUtime=99.98 cores=0-7
/proc/19990/stat : 19990 (precosat) T 19988 19990 19990 0 -1 4202496 178053 0 0 0 9972 26 0 0 25 0 1 0 659764960 604983296 143919 33554432000 4194304 4890832 140737243358480 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19990/statm: 147701 143919 86 171 0 147528 0
[pid=19988/tid=20015] ppid=19933 vsize=744372 CPUtime=0 cores=0-7
/proc/19988/task/20015/stat : 20015 (python) S 19933 19933 19907 0 -1 4202560 70 0 0 0 0 0 0 0 19 0 2 0 659774987 762236928 77685 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604459632370112 0 0 -1 0 0 0 0
[pid=19993] ppid=19933 vsize=754628 CPUtime=0.26 cores=0-7
/proc/19993/stat : 19993 (python) S 19933 19933 19907 0 -1 4202560 1053 0 0 0 14 12 0 0 19 0 2 0 659764963 772739072 77668 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19993/statm: 188657 77668 399 364 0 124539 0
[pid=19995] ppid=19993 vsize=586448 CPUtime=100.19 cores=0-7
/proc/19995/stat : 19995 (precosat) T 19993 19995 19995 0 -1 4202496 164211 0 0 0 9995 24 0 0 25 0 1 0 659764964 600522752 142810 33554432000 4194304 4890832 140737425971056 18446744073709551615 4213873 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/19995/statm: 146612 142810 86 171 0 146439 0
[pid=19993/tid=20018] ppid=19933 vsize=754628 CPUtime=0 cores=0-7
/proc/19993/task/20018/stat : 20018 (python) S 19933 19933 19907 0 -1 4202560 75 0 0 0 0 0 0 0 19 0 2 0 659774990 772739072 77668 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604459632371008 0 0 -1 1 0 0 0
[pid=19997] ppid=19933 vsize=764884 CPUtime=0.31 cores=0-7
/proc/19997/stat : 19997 (python) S 19933 19933 19907 0 -1 4202560 6584 0 0 0 14 17 0 0 19 0 2 0 659764966 783241216 77742 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/19997/statm: 191221 77742 399 364 0 127100 0
[pid=19999] ppid=19997 vsize=586224 CPUtime=100 cores=0-7
/proc/19999/stat : 19999 (precosat) T 19997 19999 19999 0 -1 4202496 164285 0 0 0 9975 25 0 0 25 0 1 0 659764968 600293376 142906 33554432000 4194304 4890832 140734018413408 18446744073709551615 4212759 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/19999/statm: 146556 142906 86 171 0 146383 0
[pid=19997/tid=20026] ppid=19933 vsize=764884 CPUtime=0 cores=0-7
/proc/19997/task/20026/stat : 20026 (python) S 19933 19933 19907 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 659774999 783241216 77742 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604459632371904 0 0 -1 3 0 0 0
[pid=20000] ppid=19933 vsize=775140 CPUtime=0.26 cores=0-7
/proc/20000/stat : 20000 (python) S 19933 19933 19907 0 -1 4202560 1118 0 0 0 12 14 0 0 19 0 2 0 659764970 793743360 77698 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/20000/statm: 193785 77698 406 364 0 129661 0
[pid=20002] ppid=20000 vsize=593476 CPUtime=99.51 cores=0-7
/proc/20002/stat : 20002 (precosat) T 20000 20002 20002 0 -1 4202496 178846 0 0 0 9923 28 0 0 25 0 1 0 659764971 607719424 144610 33554432000 4194304 4890832 140736391928320 18446744073709551615 4238592 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20002/statm: 148369 144610 86 171 0 148196 0
[pid=20000/tid=20027] ppid=19933 vsize=775140 CPUtime=0 cores=0-7
/proc/20000/task/20027/stat : 20027 (python) S 19933 19933 19907 0 -1 4202560 78 0 0 0 0 0 0 0 19 0 2 0 659775000 793743360 77698 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604455231494016 0 0 -1 5 0 0 0
[pid=20004] ppid=19933 vsize=785396 CPUtime=0.26 cores=0-7
/proc/20004/stat : 20004 (python) S 19933 19933 19907 0 -1 4202560 1127 0 0 0 12 14 0 0 19 0 2 0 659764987 804245504 77728 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/20004/statm: 196349 77728 406 364 0 132222 0
[pid=20006] ppid=20004 vsize=602184 CPUtime=99.71 cores=0-7
/proc/20006/stat : 20006 (precosat) T 20004 20006 20006 0 -1 4202496 183967 0 0 0 9943 28 0 0 25 0 1 0 659764988 616636416 149577 33554432000 4194304 4890832 140736775549184 18446744073709551615 4212759 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20006/statm: 150546 149577 86 171 0 150373 0
[pid=20004/tid=20034] ppid=19933 vsize=785396 CPUtime=0 cores=0-7
/proc/20004/task/20034/stat : 20034 (python) S 19933 19933 19907 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 659775014 804245504 77728 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 514 18446604437940640640 0 0 -1 2 0 0 0
[pid=20012] ppid=19933 vsize=795652 CPUtime=0.15 cores=0-7
/proc/20012/stat : 20012 (python) S 19933 19933 19907 0 -1 4202560 908 0 0 0 7 8 0 0 18 0 1 0 659774984 814747648 77693 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663940 0 0 17 5 0 0 0
/proc/20012/statm: 198913 77693 372 364 0 134783 0
[pid=20014] ppid=20012 vsize=455288 CPUtime=52.28 cores=0-7
/proc/20014/stat : 20014 (precosat) R 20012 20014 20014 0 -1 4202496 118841 0 0 0 5201 27 0 0 25 0 1 0 659774987 466214912 110260 33554432000 4194304 4890832 140736298232672 18446744073709551615 4203986 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/20014/statm: 113822 110260 86 171 0 113649 0
[pid=20016] ppid=19933 vsize=805908 CPUtime=0.15 cores=0-7
/proc/20016/stat : 20016 (python) S 19933 19933 19907 0 -1 4202560 911 0 0 0 7 8 0 0 18 0 1 0 659774987 825249792 77737 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663940 0 0 17 5 0 0 0
/proc/20016/statm: 201477 77737 373 364 0 137344 0
[pid=20019] ppid=20016 vsize=437292 CPUtime=51.99 cores=0-7
/proc/20019/stat : 20019 (precosat) R 20016 20019 20019 0 -1 4202496 127133 0 0 0 5176 23 0 0 25 0 1 0 659774990 447787008 105765 33554432000 4194304 4890832 140735335133280 18446744073709551615 4299152 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/20019/statm: 109323 105765 86 171 0 109150 0
[pid=20020] ppid=19933 vsize=816164 CPUtime=0.15 cores=0-7
/proc/20020/stat : 20020 (python) S 19933 19933 19907 0 -1 4202560 931 0 0 0 8 7 0 0 18 0 1 0 659774991 835751936 77735 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663942 0 0 17 5 0 0 0
/proc/20020/statm: 204041 77735 373 364 0 139905 0
[pid=20024] ppid=20020 vsize=532920 CPUtime=52.19 cores=0-7
/proc/20024/stat : 20024 (precosat) R 20020 20024 20024 0 -1 4202496 150576 0 0 0 5195 24 0 0 25 0 1 0 659774996 545710080 129221 33554432000 4194304 4890832 140733995388880 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/20024/statm: 133230 129221 86 171 0 133057 0
[pid=20022] ppid=19933 vsize=826420 CPUtime=0.14 cores=0-7
/proc/20022/stat : 20022 (python) S 19933 19933 19907 0 -1 4202560 931 0 0 0 7 7 0 0 18 0 1 0 659774995 846254080 77806 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663942 0 0 17 7 0 0 0
/proc/20022/statm: 206605 77806 372 364 0 142466 0
[pid=20025] ppid=20022 vsize=467244 CPUtime=49.8 cores=0-7
/proc/20025/stat : 20025 (precosat) R 20022 20025 20025 0 -1 4202496 134330 0 0 0 4958 22 0 0 25 0 1 0 659774996 478457856 112941 33554432000 4194304 4890832 140736548859536 18446744073709551615 4238946 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/20025/statm: 116811 112941 86 171 0 116638 0
[pid=20028] ppid=19933 vsize=836676 CPUtime=0.13 cores=0-7
/proc/20028/stat : 20028 (python) S 19933 19933 19907 0 -1 4202560 932 0 0 0 6 7 0 0 18 0 1 0 659775002 856756224 77838 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663942 0 0 17 5 0 0 0
/proc/20028/statm: 209169 77838 373 364 0 145027 0
[pid=20032] ppid=20028 vsize=497124 CPUtime=51.52 cores=0-7
/proc/20032/stat : 20032 (precosat) R 20028 20032 20032 0 -1 4202496 141668 0 0 0 5128 24 0 0 25 0 1 0 659775007 509054976 120325 33554432000 4194304 4890832 140733529295408 18446744073709551615 4238946 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/20032/statm: 124281 120325 86 171 0 124108 0
[pid=20030] ppid=19933 vsize=846932 CPUtime=0.12 cores=0-7
/proc/20030/stat : 20030 (python) S 19933 19933 19907 0 -1 4202560 973 0 0 0 5 7 0 0 18 0 1 0 659775006 867258368 77889 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663943 0 0 17 7 0 0 0
/proc/20030/statm: 211733 77889 378 364 0 147588 0
[pid=20033] ppid=20030 vsize=390944 CPUtime=52.05 cores=0-7
/proc/20033/stat : 20033 (precosat) R 20030 20033 20033 0 -1 4202496 114558 0 0 0 5180 25 0 0 25 0 1 0 659775007 400326656 94210 33554432000 4194304 4890832 140737326410576 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/20033/statm: 97736 94210 86 171 0 97563 0
[pid=20035] ppid=19933 vsize=857188 CPUtime=0.13 cores=0-7
/proc/20035/stat : 20035 (python) S 19933 19933 19907 0 -1 4202560 987 0 0 0 6 7 0 0 18 0 1 0 659775017 877760512 77934 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663940 0 0 17 2 0 0 0
/proc/20035/statm: 214297 77934 379 364 0 150149 0
[pid=20037] ppid=20035 vsize=429644 CPUtime=51.94 cores=0-7
/proc/20037/stat : 20037 (precosat) R 20035 20037 20037 0 -1 4202496 125206 0 0 0 5165 29 0 0 25 0 1 0 659775018 439955456 103844 33554432000 4194304 4890832 140734211261056 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/20037/statm: 107411 103844 86 171 0 107238 0
[pid=20039] ppid=19933 vsize=867444 CPUtime=0.13 cores=0-7
/proc/20039/stat : 20039 (python) S 19933 19933 19907 0 -1 4202560 989 0 0 0 7 6 0 0 18 0 1 0 659775390 888262656 77975 33554432000 4194304 5683644 140736903177168 18446744073709551615 248089718342 0 0 16781312 514 8447820515086663938 0 0 17 2 0 0 0
/proc/20039/statm: 216861 77975 378 364 0 152710 0
[pid=20041] ppid=20039 vsize=475052 CPUtime=48.23 cores=0-7
/proc/20041/stat : 20041 (precosat) R 20039 20041 20041 0 -1 4202496 139105 0 0 0 4801 22 0 0 25 0 1 0 659775392 486453248 117753 33554432000 4194304 4890832 140733502670688 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/20041/statm: 118763 117753 86 171 0 118590 0
[pid=19933/tid=19949] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19949/stat : 19949 (python) S 19931 19933 19907 0 -1 4202560 21 931 0 0 0 0 0 0 25 0 25 0 659754925 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 6 0 0 0
[pid=19933/tid=19952] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19952/stat : 19952 (python) S 19931 19933 19907 0 -1 4202560 24 931 0 0 0 0 0 0 25 0 25 0 659754927 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=19955] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19955/stat : 19955 (python) S 19931 19933 19907 0 -1 4202560 23 931 0 0 0 0 0 0 25 0 25 0 659754930 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19958] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19958/stat : 19958 (python) S 19931 19933 19907 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 25 0 659754932 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 1 0 0 0
[pid=19933/tid=19961] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19961/stat : 19961 (python) S 19931 19933 19907 0 -1 4202560 93 931 0 0 0 0 0 0 25 0 25 0 659754934 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19964] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19964/stat : 19964 (python) S 19931 19933 19907 0 -1 4202560 33 931 0 0 0 0 0 0 25 0 25 0 659754937 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19967] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19967/stat : 19967 (python) S 19931 19933 19907 0 -1 4202560 34 931 0 0 0 0 0 0 25 0 25 0 659754939 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 1 0 0 0
[pid=19933/tid=19970] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19970/stat : 19970 (python) S 19931 19933 19907 0 -1 4202560 34 931 0 0 0 0 0 0 25 0 25 0 659754942 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19977] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19977/stat : 19977 (python) S 19931 19933 19907 0 -1 4202560 38 931 0 0 0 0 0 0 19 0 25 0 659764857 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 1 0 0 0
[pid=19933/tid=19982] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19982/stat : 19982 (python) S 19931 19933 19907 0 -1 4202560 35 931 0 0 0 0 0 0 19 0 25 0 659764954 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19986] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19986/stat : 19986 (python) S 19931 19933 19907 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 25 0 659764957 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 3 0 0 0
[pid=19933/tid=19989] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19989/stat : 19989 (python) S 19931 19933 19907 0 -1 4202560 33 931 0 0 0 0 0 0 21 0 25 0 659764960 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19994] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19994/stat : 19994 (python) S 19931 19933 19907 0 -1 4202560 31 931 0 0 0 0 0 0 21 0 25 0 659764964 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 0 0 0 0
[pid=19933/tid=19998] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/19998/stat : 19998 (python) S 19931 19933 19907 0 -1 4202560 36 931 0 0 0 0 0 0 23 0 25 0 659764968 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 3 0 0 0
[pid=19933/tid=20001] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20001/stat : 20001 (python) S 19931 19933 19907 0 -1 4202560 36 931 0 0 0 0 0 0 25 0 25 0 659764971 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 1 0 0 0
[pid=19933/tid=20005] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20005/stat : 20005 (python) S 19931 19933 19907 0 -1 4202560 34 931 0 0 0 0 0 0 25 0 25 0 659764988 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=20013] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20013/stat : 20013 (python) S 19931 19933 19907 0 -1 4202560 32 931 0 0 0 0 0 0 19 0 25 0 659774985 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=20017] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20017/stat : 20017 (python) S 19931 19933 19907 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 25 0 659774988 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 1 0 0 0
[pid=19933/tid=20021] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20021/stat : 20021 (python) S 19931 19933 19907 0 -1 4202560 43 931 0 0 0 0 0 0 21 0 25 0 659774992 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 7 0 0 0
[pid=19933/tid=20023] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20023/stat : 20023 (python) S 19931 19933 19907 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 25 0 659774996 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=20029] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20029/stat : 20029 (python) S 19931 19933 19907 0 -1 4202560 45 931 0 0 0 0 0 0 22 0 25 0 659775003 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=20031] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20031/stat : 20031 (python) S 19931 19933 19907 0 -1 4202560 22 931 0 0 0 0 0 0 23 0 25 0 659775007 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 7 0 0 0
[pid=19933/tid=20036] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20036/stat : 20036 (python) S 19931 19933 19907 0 -1 4202560 37 931 0 0 0 0 0 0 25 0 25 0 659775018 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
[pid=19933/tid=20040] ppid=19931 vsize=877688 CPUtime=0 cores=0-7
/proc/19933/task/20040/stat : 20040 (python) S 19931 19933 19907 0 -1 4202560 35 931 0 0 0 0 0 0 20 0 25 0 659775392 898752512 79517 33554432000 4194304 5683644 140736903177168 18446744073709551615 248101521841 0 0 16781312 2 18446604453837949120 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2359.89
Current children cumulated vsize (KiB) 31750324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19933 and gives
# childrusage.ru_utime.tv_sec=344
# childrusage.ru_utime.tv_usec=963557
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=568913
# CPU time returned by wait4() is 345.532
# while last known CPU time is 2359.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 598.173
CPU time (s): 2359.89
CPU user time (s): 2350.38
CPU system time (s): 9.51
CPU usage (%): 394.516
Max. virtual memory (cumulated for all children) (KiB): 31750324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.964
system time used= 0.568913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143337
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= 3361
involuntary context switches= 632
runsolver used 3.00954 second user time and 6.68398 second system time
The end
Begin job on node123 at 2011-05-15 19:40:06
IDJOB=3380520
IDBENCH=20423
IDSOLVER=1864
FILE ID=node123/3380520-1305481205
RUNJOBID= node123-1305481205-19921
PBS_JOBID= 13325357
Free space on /tmp= 73376 MiB
SOLVER NAME= borg-sat 11.03.02-par-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 -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380520-1305481205/watcher-3380520-1305481205 -o /tmp/evaluation-result-3380520-1305481205/solver-3380520-1305481205 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380520-1305481205.cnf -seed 386725302 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=386725302
node123.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.838
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.67
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
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.838
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.80
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.838
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.74
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 18229160 kB
Buffers: 329660 kB
Cached: 4429616 kB
SwapCached: 10528 kB
Active: 11420664 kB
Inactive: 3014828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 18229160 kB
SwapTotal: 67111528 kB
SwapFree: 64721848 kB
Dirty: 59400 kB
Writeback: 0 kB
AnonPages: 9673792 kB
Mapped: 24420 kB
Slab: 180984 kB
PageTables: 40612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 60396340 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= 73348 MiB
End job on node123 at 2011-05-15 19:50:06