0.35/0.68 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.35/0.68 c INFO: solving HOME/instance-3321315-1304335865.cnf
0.35/0.68 c INFO: computing task features
5.92/6.28 c INFO: computed variable-clause graph statistics
6.12/6.45 c INFO: computed clause balance statistics
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.12/6.45 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.53 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.23/6.54 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.33/6.62 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.70 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.42/6.78 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.86 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.52/6.87 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.94 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.62/6.95 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.02 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.72/7.03 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.10 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.15 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.18 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.82/7.19 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.20 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
6.92/7.21 Warning: invalid value encountered in divide
29.92/30.22 c INFO: computed variable balance statistics
47.42/47.74 c INFO: computed small-clause counts
48.22/48.51 c INFO: computed Horn-clause counts
343.33/343.67 c INFO: computed variable graph statistics
343.33/343.67 c INFO: collected features for HOME/instance-3321315-1304335865.cnf in 342.87 s
343.33/343.69 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.43/343.72 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.43/343.75 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.43/343.77 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.53/343.80 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.53/343.83 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.53/343.86 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
343.53/343.89 c INFO: running precosat-570@0 for 97 with 39656 remaining (b = nan)
1127.24/441.93 c INFO: running precosat-570@0 for 97 with 39558 remaining (b = nan)
1136.02/443.03 c INFO: running precosat-570@0 for 97 with 39557 remaining (b = nan)
1142.39/443.88 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1143.16/443.92 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1143.16/443.95 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1143.16/443.99 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1143.75/444.10 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1144.11/444.14 c INFO: running precosat-570@0 for 97 with 39556 remaining (b = nan)
1926.07/542.13 c INFO: running precosat-570@0 for 97 with 39458 remaining (b = nan)
1934.80/543.23 c INFO: running precosat-570@0 for 97 with 39457 remaining (b = nan)
1941.13/544.08 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
1941.92/544.12 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
1941.92/544.17 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
1942.50/544.22 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
1942.94/544.36 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
1944.21/544.42 c INFO: running precosat-570@0 for 97 with 39456 remaining (b = nan)
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321315-1304335865/watcher-3321315-1304335865 -o /tmp/evaluation-result-3321315-1304335865/solver-3321315-1304335865 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3321315-1304335865.cnf -seed 1097364304 -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: 8.13 8.14 8.02 2/185 30614
/proc/meminfo: memFree=25023356/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=15184 CPUtime=0 cores=0-7
/proc/30614/stat : 30614 (python) S 30612 30614 30440 0 -1 4202496 728 0 0 0 0 0 0 0 17 0 1 0 545184520 15548416 617 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/30614/statm: 3796 617 322 364 0 283 0
[startup+0.069301 s]
/proc/loadavg: 8.13 8.14 8.02 2/185 30614
/proc/meminfo: memFree=25023356/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=36508 CPUtime=0.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 1564 0 0 0 3 0 0 0 17 0 1 0 545184520 37384192 1398 33554432000 4194304 5683644 140733837279520 18446744073709551615 4562986 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 9127 1400 452 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36508
[startup+0.100297 s]
/proc/loadavg: 8.13 8.14 8.02 2/185 30614
/proc/meminfo: memFree=25023356/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=85620 CPUtime=0.06 cores=0-7
/proc/30614/stat : 30614 (python) S 30612 30614 30440 0 -1 4202496 2631 0 0 0 4 2 0 0 17 0 1 0 545184520 87674880 2348 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/30614/statm: 21405 2348 713 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300332 s]
/proc/loadavg: 8.13 8.14 8.02 2/185 30614
/proc/meminfo: memFree=25023356/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=135748 CPUtime=0.18 cores=0-7
/proc/30614/stat : 30614 (python) S 30612 30614 30440 0 -1 4202496 5964 934 1 0 14 4 0 0 18 0 1 0 545184520 139005952 4150 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377297413 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/30614/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748
[startup+0.700224 s]
/proc/loadavg: 8.13 8.14 8.02 2/185 30614
/proc/meminfo: memFree=25023356/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=305672 CPUtime=0.43 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 16083 934 1 0 31 12 0 0 17 0 1 0 545184520 313008128 13761 33554432000 4194304 5683644 140733837279520 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 76418 13761 1761 364 0 12342 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 305672
[startup+1.50104 s]
/proc/loadavg: 7.56 8.02 7.98 2/186 30619
/proc/meminfo: memFree=24954900/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=361068 CPUtime=1.23 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 29528 934 1 0 109 14 0 0 18 0 1 0 545184520 369733632 27206 33554432000 4194304 5683644 140733837279520 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 90267 27206 1761 364 0 26191 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 361068
[startup+3.10075 s]
/proc/loadavg: 7.56 8.02 7.98 2/186 30619
/proc/meminfo: memFree=24881492/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=467868 CPUtime=2.83 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 55867 934 1 0 266 17 0 0 21 0 1 0 545184520 479096832 53545 33554432000 4194304 5683644 140733837279520 18446744073709551615 255376962245 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 116967 53545 1761 364 0 52891 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 467868
[startup+6.30017 s]
/proc/loadavg: 7.56 8.02 7.98 2/186 30619
/proc/meminfo: memFree=24692156/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=6.02 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121704 934 1 0 578 24 0 0 25 0 1 0 545184520 603545600 84727 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267510963658 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84727 1818 364 0 83274 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 589400
[startup+12.701 s]
/proc/loadavg: 6.55 7.79 7.91 2/186 30620
/proc/meminfo: memFree=24693128/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=12.42 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121714 934 1 0 1218 24 0 0 25 0 1 0 545184520 603545600 84737 33554432000 4194304 5683644 140733837279520 18446744073709551615 4418281 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84737 1828 364 0 83274 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 589400
[startup+25.5006 s]
/proc/loadavg: 5.69 7.57 7.83 2/186 30620
/proc/meminfo: memFree=24694936/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=25.22 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121714 934 1 0 2498 24 0 0 25 0 1 0 545184520 603545600 84737 33554432000 4194304 5683644 140733837279520 18446744073709551615 5005930 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84737 1828 364 0 83274 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 589400
[startup+51.1009 s]
/proc/loadavg: 4.09 7.04 7.65 2/186 30621
/proc/meminfo: memFree=24694516/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=50.82 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 5058 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317184 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 589400
[startup+102.306 s]
/proc/loadavg: 2.23 6.02 7.27 2/186 30622
/proc/meminfo: memFree=24694424/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=102.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 10179 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317196 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 589400
[startup+162.3 s]
/proc/loadavg: 1.51 5.12 6.88 2/186 30624
/proc/meminfo: memFree=24694544/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=162.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 16179 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317196 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 589400
[startup+222.301 s]
/proc/loadavg: 1.18 4.37 6.51 2/186 30625
/proc/meminfo: memFree=24694520/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=222.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 22179 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317196 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 589400
[startup+282.301 s]
/proc/loadavg: 1.07 3.75 6.16 2/186 30627
/proc/meminfo: memFree=24694640/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=282.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 28179 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317196 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 589400
[startup+342.301 s]
/proc/loadavg: 1.02 3.25 5.83 2/186 30628
/proc/meminfo: memFree=24694608/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=589400 CPUtime=342.03 cores=0-7
/proc/30614/stat : 30614 (python) R 30612 30614 30440 0 -1 4202496 121721 934 1 0 34179 24 0 0 25 0 1 0 545184520 603545600 84744 33554432000 4194304 5683644 140733837279520 18446744073709551615 47267478317184 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30614/statm: 147350 84744 1835 364 0 83274 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 589400
[startup+402.302 s]
/proc/loadavg: 5.62 4.17 5.99 9/210 30654
/proc/meminfo: memFree=20084120/32951124 swapFree=67111352/67111528
[pid=30614] ppid=30612 vsize=713592 CPUtime=343.63 cores=0-7
/proc/30614/stat : 30614 (python) S 30612 30614 30440 0 -1 4202496 127793 934 1 0 34330 33 0 0 25 0 9 0 545184520 730718208 79079 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30614/statm: 178398 79079 1883 364 0 114295 0
[pid=30629] ppid=30614 vsize=566020 CPUtime=0.09 cores=0-7
/proc/30629/stat : 30629 (python) S 30614 30614 30440 0 -1 4202560 904 0 0 0 4 5 0 0 18 0 1 0 545218890 579604480 77434 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321487 0 0 16781312 514 5636166972723921156 0 0 17 1 0 0 0
/proc/30629/statm: 141505 77434 376 364 0 77423 0
[pid=30631] ppid=30629 vsize=592704 CPUtime=58.57 cores=0-7
/proc/30631/stat : 30631 (precosat) R 30629 30631 30631 0 -1 4202496 165262 0 0 0 5832 25 0 0 25 0 1 0 545218891 606928896 144034 33554432000 4194304 4890832 140735313176096 18446744073709551615 4213019 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/30631/statm: 148176 144034 86 171 0 148003 0
[pid=30632] ppid=30614 vsize=576276 CPUtime=0.08 cores=0-7
/proc/30632/stat : 30632 (python) S 30614 30614 30440 0 -1 4202560 897 0 0 0 5 3 0 0 18 0 1 0 545218892 590106624 77432 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921156 0 0 17 6 0 0 0
/proc/30632/statm: 144069 77432 370 364 0 79984 0
[pid=30634] ppid=30632 vsize=593396 CPUtime=58.55 cores=0-7
/proc/30634/stat : 30634 (precosat) R 30632 30634 30634 0 -1 4202496 165711 0 0 0 5831 24 0 0 25 0 1 0 545218893 607637504 144311 33554432000 4194304 4890832 140733326368416 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/30634/statm: 148349 144311 86 171 0 148176 0
[pid=30635] ppid=30614 vsize=586532 CPUtime=0.08 cores=0-7
/proc/30635/stat : 30635 (python) S 30614 30614 30440 0 -1 4202560 906 0 0 0 4 4 0 0 18 0 1 0 545218895 600608768 77436 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921156 0 0 17 7 0 0 0
/proc/30635/statm: 146633 77436 370 364 0 82545 0
[pid=30637] ppid=30635 vsize=582476 CPUtime=58.52 cores=0-7
/proc/30637/stat : 30637 (precosat) R 30635 30637 30637 0 -1 4202496 165874 0 0 0 5827 25 0 0 25 0 1 0 545218896 596455424 144442 33554432000 4194304 4890832 140734923862464 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/30637/statm: 145619 144442 86 171 0 145446 0
[pid=30638] ppid=30614 vsize=596788 CPUtime=0.08 cores=0-7
/proc/30638/stat : 30638 (python) S 30614 30614 30440 0 -1 4202560 914 0 0 0 4 4 0 0 18 0 1 0 545218898 611110912 77440 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921156 0 0 17 2 0 0 0
/proc/30638/statm: 149197 77440 370 364 0 85106 0
[pid=30640] ppid=30638 vsize=567640 CPUtime=58.41 cores=0-7
/proc/30640/stat : 30640 (precosat) R 30638 30640 30640 0 -1 4202496 162050 0 0 0 5817 24 0 0 25 0 1 0 545218899 581263360 140545 33554432000 4194304 4890832 140737342255760 18446744073709551615 4298394 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/30640/statm: 141910 140545 86 171 0 141737 0
[pid=30641] ppid=30614 vsize=607044 CPUtime=0.09 cores=0-7
/proc/30641/stat : 30641 (python) S 30614 30614 30440 0 -1 4202560 911 0 0 0 4 5 0 0 18 0 1 0 545218901 621613056 77444 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921156 0 0 17 1 0 0 0
/proc/30641/statm: 151761 77444 370 364 0 87667 0
[pid=30643] ppid=30641 vsize=598444 CPUtime=58.38 cores=0-7
/proc/30643/stat : 30643 (precosat) R 30641 30643 30643 0 -1 4202496 167049 0 0 0 5815 23 0 0 25 0 1 0 545218902 612806656 145648 33554432000 4194304 4890832 140733410109824 18446744073709551615 4291904 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/30643/statm: 149611 145648 86 171 0 149438 0
[pid=30644] ppid=30614 vsize=617300 CPUtime=0.09 cores=0-7
################
# More data... #
################
[pid=30657/tid=30691] ppid=30614 vsize=713604 CPUtime=0 cores=0-7
/proc/30657/task/30691/stat : 30691 (python) S 30614 30614 30440 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 545238731 730730496 77610 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604440278457024 0 0 -1 0 0 0 0
[pid=30661] ppid=30614 vsize=723860 CPUtime=0.15 cores=0-7
/proc/30661/stat : 30661 (python) S 30614 30614 30440 0 -1 4202560 1028 0 0 0 8 7 0 0 19 0 2 0 545228824 741232640 77629 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/30661/statm: 180965 77629 399 364 0 116856 0
[pid=30663] ppid=30661 vsize=592952 CPUtime=100.13 cores=0-7
/proc/30663/stat : 30663 (precosat) T 30661 30663 30663 0 -1 4202496 178779 0 0 0 9983 30 0 0 25 0 1 0 545228825 607182848 144579 33554432000 4194304 4890832 140736632167648 18446744073709551615 4238627 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/30663/statm: 148238 144579 86 171 0 148065 0
[pid=30661/tid=30695] ppid=30614 vsize=723860 CPUtime=0 cores=0-7
/proc/30661/task/30695/stat : 30695 (python) S 30614 30614 30440 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 2 0 545238841 741232640 77629 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604453841413376 0 0 -1 3 0 0 0
[pid=30666] ppid=30614 vsize=734116 CPUtime=0.15 cores=0-7
/proc/30666/stat : 30666 (python) S 30614 30614 30440 0 -1 4202560 1032 0 0 0 7 8 0 0 18 0 2 0 545228909 751734784 77650 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/30666/statm: 183529 77650 399 364 0 119417 0
[pid=30668] ppid=30666 vsize=594784 CPUtime=100.1 cores=0-7
/proc/30668/stat : 30668 (precosat) T 30666 30668 30668 0 -1 4202496 168776 0 0 0 9985 25 0 0 25 0 1 0 545228910 609058816 147556 33554432000 4194304 4890832 140736781308176 18446744073709551615 4295707 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/30668/statm: 148696 147556 86 171 0 148523 0
[pid=30666/tid=30699] ppid=30614 vsize=734116 CPUtime=0 cores=0-7
/proc/30666/task/30699/stat : 30699 (python) S 30614 30614 30440 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 545238925 751734784 77650 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604452908389632 0 0 -1 3 0 0 0
[pid=30669] ppid=30614 vsize=744372 CPUtime=0.15 cores=0-7
/proc/30669/stat : 30669 (python) S 30614 30614 30440 0 -1 4202560 1049 0 0 0 7 8 0 0 19 0 2 0 545228912 762236928 77670 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/30669/statm: 186093 77670 399 364 0 121978 0
[pid=30672] ppid=30669 vsize=584780 CPUtime=99.97 cores=0-7
/proc/30672/stat : 30672 (precosat) T 30669 30672 30672 0 -1 4202496 176657 0 0 0 9967 30 0 0 25 0 1 0 545228913 598814720 142460 33554432000 4194304 4890832 140733294736128 18446744073709551615 4238592 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/30672/statm: 146195 142460 86 171 0 146022 0
[pid=30669/tid=30701] ppid=30614 vsize=744372 CPUtime=0 cores=0-7
/proc/30669/task/30701/stat : 30701 (python) S 30614 30614 30440 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 545238929 762236928 77670 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604453979063232 0 0 -1 1 0 0 0
[pid=30673] ppid=30614 vsize=754628 CPUtime=0.15 cores=0-7
/proc/30673/stat : 30673 (python) S 30614 30614 30440 0 -1 4202560 1053 0 0 0 8 7 0 0 19 0 2 0 545228916 772739072 77661 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/30673/statm: 188657 77661 399 364 0 124539 0
[pid=30675] ppid=30673 vsize=587884 CPUtime=99.99 cores=0-7
/proc/30675/stat : 30675 (precosat) T 30673 30675 30675 0 -1 4202496 177327 0 0 0 9973 26 0 0 25 0 1 0 545228917 601993216 143193 33554432000 4194304 4890832 140733871324016 18446744073709551615 4229325 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0
/proc/30675/statm: 146971 143193 86 171 0 146798 0
[pid=30673/tid=30705] ppid=30614 vsize=754628 CPUtime=0 cores=0-7
/proc/30673/task/30705/stat : 30705 (python) S 30614 30614 30440 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 545238934 772739072 77661 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604453841269696 0 0 -1 1 0 0 0
[pid=30677] ppid=30614 vsize=764884 CPUtime=0.16 cores=0-7
/proc/30677/stat : 30677 (python) S 30614 30614 30440 0 -1 4202560 1105 0 0 0 8 8 0 0 19 0 2 0 545228920 783241216 77707 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/30677/statm: 191221 77707 405 364 0 127100 0
[pid=30679] ppid=30677 vsize=585524 CPUtime=99.99 cores=0-7
/proc/30679/stat : 30679 (precosat) T 30677 30679 30679 0 -1 4202496 175975 0 0 0 9973 26 0 0 25 0 1 0 545228921 599576576 142525 33554432000 4194304 4890832 140735679124304 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/30679/statm: 146381 142525 86 171 0 146208 0
[pid=30677/tid=30709] ppid=30614 vsize=764884 CPUtime=0 cores=0-7
/proc/30677/task/30709/stat : 30709 (python) S 30614 30614 30440 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 545238938 783241216 77707 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604444339434816 0 0 -1 1 0 0 0
[pid=30682] ppid=30614 vsize=775140 CPUtime=0.19 cores=0-7
/proc/30682/stat : 30682 (python) S 30614 30614 30440 0 -1 4202560 4572 0 0 0 8 11 0 0 19 0 2 0 545228930 793743360 77746 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/30682/statm: 193785 77746 406 364 0 129661 0
[pid=30684] ppid=30682 vsize=589768 CPUtime=99.99 cores=0-7
/proc/30684/stat : 30684 (precosat) T 30682 30684 30684 0 -1 4202496 177866 0 0 0 9973 26 0 0 25 0 1 0 545228933 603922432 143728 33554432000 4194304 4890832 140733256319456 18446744073709551615 4213019 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/30684/statm: 147442 143728 86 171 0 147269 0
[pid=30682/tid=30716] ppid=30614 vsize=775140 CPUtime=0 cores=0-7
/proc/30682/task/30716/stat : 30716 (python) S 30614 30614 30440 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 545238953 793743360 77746 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604452908390528 0 0 -1 5 0 0 0
[pid=30685] ppid=30614 vsize=785396 CPUtime=0.16 cores=0-7
/proc/30685/stat : 30685 (python) S 30614 30614 30440 0 -1 4202560 1121 0 0 0 8 8 0 0 19 0 2 0 545228934 804245504 77776 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/30685/statm: 196349 77776 406 364 0 132222 0
[pid=30687] ppid=30685 vsize=592776 CPUtime=99.5 cores=0-7
/proc/30687/stat : 30687 (precosat) T 30685 30687 30687 0 -1 4202496 178826 0 0 0 9923 27 0 0 25 0 1 0 545228935 607002624 144524 33554432000 4194304 4890832 140733651191792 18446744073709551615 4236621 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/30687/statm: 148194 144524 86 171 0 148021 0
[pid=30685/tid=30715] ppid=30614 vsize=785396 CPUtime=0 cores=0-7
/proc/30685/task/30715/stat : 30715 (python) S 30614 30614 30440 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 545238952 804245504 77776 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 514 18446604447659971776 0 0 -1 0 0 0 0
[pid=30692] ppid=30614 vsize=795652 CPUtime=0.07 cores=0-7
/proc/30692/stat : 30692 (python) S 30614 30614 30440 0 -1 4202560 903 0 0 0 3 4 0 0 18 0 1 0 545238734 814747648 77723 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921155 0 0 17 1 0 0 0
/proc/30692/statm: 198913 77723 372 364 0 134783 0
[pid=30694] ppid=30692 vsize=419776 CPUtime=44.02 cores=0-7
/proc/30694/stat : 30694 (precosat) R 30692 30694 30694 0 -1 4202496 122475 0 0 0 4381 21 0 0 25 0 1 0 545238735 429850624 101238 33554432000 4194304 4890832 140736982390096 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/30694/statm: 104944 101238 86 171 0 104771 0
[pid=30696] ppid=30614 vsize=805908 CPUtime=0.08 cores=0-7
/proc/30696/stat : 30696 (python) S 30614 30614 30440 0 -1 4202560 918 0 0 0 4 4 0 0 18 0 1 0 545238844 825249792 77762 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921154 0 0 17 0 0 0 0
/proc/30696/statm: 201477 77762 373 364 0 137344 0
[pid=30698] ppid=30696 vsize=399416 CPUtime=43.12 cores=0-7
/proc/30698/stat : 30698 (precosat) R 30696 30698 30698 0 -1 4202496 120413 0 0 0 4294 18 0 0 25 0 1 0 545238845 409001984 98950 33554432000 4194304 4890832 140733990819904 18446744073709551615 4238544 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/30698/statm: 99854 98950 86 171 0 99681 0
[pid=30700] ppid=30614 vsize=816164 CPUtime=0.07 cores=0-7
/proc/30700/stat : 30700 (python) S 30614 30614 30440 0 -1 4202560 921 0 0 0 3 4 0 0 18 0 1 0 545238928 835751936 77745 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921154 0 0 17 6 0 0 0
/proc/30700/statm: 204041 77745 373 364 0 139905 0
[pid=30703] ppid=30700 vsize=480060 CPUtime=42.22 cores=0-7
/proc/30703/stat : 30703 (precosat) R 30700 30703 30703 0 -1 4202496 137349 0 0 0 4203 19 0 0 25 0 1 0 545238930 491581440 115976 33554432000 4194304 4890832 140734422033664 18446744073709551615 4238505 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/30703/statm: 120015 115976 86 171 0 119842 0
[pid=30704] ppid=30614 vsize=826420 CPUtime=0.07 cores=0-7
/proc/30704/stat : 30704 (python) S 30614 30614 30440 0 -1 4202560 926 0 0 0 3 4 0 0 18 0 1 0 545238933 846254080 77783 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921153 0 0 17 0 0 0 0
/proc/30704/statm: 206605 77783 372 364 0 142466 0
[pid=30707] ppid=30704 vsize=473568 CPUtime=42.16 cores=0-7
/proc/30707/stat : 30707 (precosat) R 30704 30707 30707 0 -1 4202496 135958 0 0 0 4197 19 0 0 25 0 1 0 545238934 484933632 114654 33554432000 4194304 4890832 140733703052576 18446744073709551615 4452247 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/30707/statm: 118392 114654 86 171 0 118219 0
[pid=30708] ppid=30614 vsize=836676 CPUtime=0.07 cores=0-7
/proc/30708/stat : 30708 (python) S 30614 30614 30440 0 -1 4202560 929 0 0 0 3 4 0 0 18 0 1 0 545238938 856756224 77760 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921155 0 0 17 2 0 0 0
/proc/30708/statm: 209169 77760 373 364 0 145027 0
[pid=30711] ppid=30708 vsize=497912 CPUtime=42.13 cores=0-7
/proc/30711/stat : 30711 (precosat) R 30708 30711 30711 0 -1 4202496 141735 0 0 0 4194 19 0 0 25 0 1 0 545238939 509861888 120494 33554432000 4194304 4890832 140736953978864 18446744073709551615 4229367 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/30711/statm: 124478 120494 86 171 0 124305 0
[pid=30712] ppid=30614 vsize=846932 CPUtime=0.07 cores=0-7
/proc/30712/stat : 30712 (python) S 30614 30614 30440 0 -1 4202560 980 0 0 0 4 3 0 0 18 0 1 0 545238943 867258368 77812 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921153 0 0 17 4 0 0 0
/proc/30712/statm: 211733 77812 378 364 0 147588 0
[pid=30714] ppid=30712 vsize=489536 CPUtime=42.08 cores=0-7
/proc/30714/stat : 30714 (precosat) R 30712 30714 30714 0 -1 4202496 139905 0 0 0 4189 19 0 0 25 0 1 0 545238944 501284864 118497 33554432000 4194304 4890832 140734117535872 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/30714/statm: 122384 118497 86 171 0 122211 0
[pid=30717] ppid=30614 vsize=857188 CPUtime=0.07 cores=0-7
/proc/30717/stat : 30717 (python) S 30614 30614 30440 0 -1 4202560 981 0 0 0 3 4 0 0 18 0 1 0 545238957 877760512 77780 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921159 0 0 17 5 0 0 0
/proc/30717/statm: 214297 77780 378 364 0 150149 0
[pid=30719] ppid=30717 vsize=502672 CPUtime=40.47 cores=0-7
/proc/30719/stat : 30719 (precosat) R 30717 30719 30719 0 -1 4202496 143028 0 0 0 4024 23 0 0 25 0 1 0 545238958 514736128 121701 33554432000 4194304 4890832 140734655297408 18446744073709551615 4299135 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/30719/statm: 125668 121701 86 171 0 125495 0
[pid=30720] ppid=30614 vsize=867444 CPUtime=0.07 cores=0-7
/proc/30720/stat : 30720 (python) S 30614 30614 30440 0 -1 4202560 988 0 0 0 4 3 0 0 18 0 1 0 545238962 888262656 77842 33554432000 4194304 5683644 140733837279520 18446744073709551615 255377321542 0 0 16781312 514 5636166972723921159 0 0 17 0 0 0 0
/proc/30720/statm: 216861 77842 378 364 0 152710 0
[pid=30722] ppid=30720 vsize=528096 CPUtime=41.89 cores=0-7
/proc/30722/stat : 30722 (precosat) R 30720 30722 30722 0 -1 4202496 152177 0 0 0 4166 23 0 0 25 0 1 0 545238964 540770304 130866 33554432000 4194304 4890832 140734243870848 18446744073709551615 4229168 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/30722/statm: 132024 130866 86 171 0 131851 0
[pid=30614/tid=30630] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30630/stat : 30630 (python) S 30612 30614 30440 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 25 0 545218891 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 2 0 0 0
[pid=30614/tid=30633] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30633/stat : 30633 (python) S 30612 30614 30440 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 25 0 545218893 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 4 0 0 0
[pid=30614/tid=30636] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30636/stat : 30636 (python) S 30612 30614 30440 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 25 0 545218896 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 6 0 0 0
[pid=30614/tid=30639] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30639/stat : 30639 (python) S 30612 30614 30440 0 -1 4202560 21 934 0 0 0 0 0 0 20 0 25 0 545218899 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 6 0 0 0
[pid=30614/tid=30642] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30642/stat : 30642 (python) S 30612 30614 30440 0 -1 4202560 23 934 0 0 0 0 0 0 21 0 25 0 545218902 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 2 0 0 0
[pid=30614/tid=30645] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30645/stat : 30645 (python) S 30612 30614 30440 0 -1 4202560 27 934 0 0 0 0 0 0 22 0 25 0 545218905 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 7 0 0 0
[pid=30614/tid=30648] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30648/stat : 30648 (python) S 30612 30614 30440 0 -1 4202560 103 934 0 0 0 0 0 0 23 0 25 0 545218908 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 1 0 0 0
[pid=30614/tid=30650] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30650/stat : 30650 (python) S 30612 30614 30440 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 25 0 545218911 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30658] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30658/stat : 30658 (python) S 30612 30614 30440 0 -1 4202560 33 934 0 0 0 0 0 0 20 0 25 0 545228715 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 1 0 0 0
[pid=30614/tid=30662] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30662/stat : 30662 (python) S 30612 30614 30440 0 -1 4202560 34 934 0 0 0 0 0 0 20 0 25 0 545228825 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30667] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30667/stat : 30667 (python) S 30612 30614 30440 0 -1 4202560 33 934 0 0 0 0 0 0 20 0 25 0 545228910 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30671] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30671/stat : 30671 (python) S 30612 30614 30440 0 -1 4202560 34 934 0 0 0 0 0 0 22 0 25 0 545228913 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 6 0 0 0
[pid=30614/tid=30674] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30674/stat : 30674 (python) S 30612 30614 30440 0 -1 4202560 34 934 0 0 0 0 0 0 25 0 25 0 545228917 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 2 0 0 0
[pid=30614/tid=30678] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30678/stat : 30678 (python) S 30612 30614 30440 0 -1 4202560 35 934 0 0 0 0 0 0 25 0 25 0 545228921 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 4 0 0 0
[pid=30614/tid=30683] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30683/stat : 30683 (python) S 30612 30614 30440 0 -1 4202560 36 934 0 0 0 0 0 0 25 0 25 0 545228931 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30686] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30686/stat : 30686 (python) S 30612 30614 30440 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 25 0 545228935 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30693] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30693/stat : 30693 (python) S 30612 30614 30440 0 -1 4202560 33 934 0 0 0 0 0 0 19 0 25 0 545238735 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30697] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30697/stat : 30697 (python) S 30612 30614 30440 0 -1 4202560 35 934 0 0 0 0 0 0 20 0 25 0 545238845 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30702] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30702/stat : 30702 (python) S 30612 30614 30440 0 -1 4202560 40 934 0 0 0 0 0 0 20 0 25 0 545238929 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 6 0 0 0
[pid=30614/tid=30706] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30706/stat : 30706 (python) S 30612 30614 30440 0 -1 4202560 32 934 0 0 0 0 0 0 22 0 25 0 545238934 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 0 0 0 0
[pid=30614/tid=30710] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30710/stat : 30710 (python) S 30612 30614 30440 0 -1 4202560 34 934 0 0 0 0 0 0 24 0 25 0 545238939 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 2 0 0 0
[pid=30614/tid=30713] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30713/stat : 30713 (python) S 30612 30614 30440 0 -1 4202560 37 934 0 0 0 0 0 0 25 0 25 0 545238944 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 4 0 0 0
[pid=30614/tid=30718] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30718/stat : 30718 (python) S 30612 30614 30440 0 -1 4202560 33 934 0 0 0 0 0 0 25 0 25 0 545238958 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 5 0 0 0
[pid=30614/tid=30721] ppid=30612 vsize=877688 CPUtime=0 cores=0-7
/proc/30614/task/30721/stat : 30721 (python) S 30612 30614 30440 0 -1 4202560 35 934 0 0 0 0 0 0 19 0 25 0 545238964 898752512 79384 33554432000 4194304 5683644 140733837279520 18446744073709551615 255389125041 0 0 16781312 2 18446604453528311040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2278.61
Current children cumulated vsize (KiB) 31757028
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30614 and gives
# childrusage.ru_utime.tv_sec=343
# childrusage.ru_utime.tv_usec=752741
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=574912
# CPU time returned by wait4() is 344.328
# while last known CPU time is 2278.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 586.57
CPU time (s): 2278.61
CPU user time (s): 2270.52
CPU system time (s): 8.09
CPU usage (%): 388.463
Max. virtual memory (cumulated for all children) (KiB): 31757028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 343.753
system time used= 0.574912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144136
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= 3267
involuntary context switches= 653
runsolver used 2.04869 second user time and 4.55931 second system time
The end
Begin job on node135 at 2011-05-02 13:31:06
IDJOB=3321315
IDBENCH=20423
IDSOLVER=1710
FILE ID=node135/3321315-1304335865
RUNJOBID= node135-1304333949-30454
PBS_JOBID= 13178012
Free space on /tmp= 73068 MiB
SOLVER NAME= borg-sat 11.03.02-industrial
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-3321315-1304335865/watcher-3321315-1304335865 -o /tmp/evaluation-result-3321315-1304335865/solver-3321315-1304335865 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3321315-1304335865.cnf -seed 1097364304 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=1097364304
node135.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.851
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.70
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.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
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.851
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 : 6640.14
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.851
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.78
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.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
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.851
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25023644 kB
Buffers: 990384 kB
Cached: 2595144 kB
SwapCached: 172 kB
Active: 4317936 kB
Inactive: 3062272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25023644 kB
SwapTotal: 67111528 kB
SwapFree: 67111352 kB
Dirty: 59408 kB
Writeback: 4 kB
AnonPages: 3794560 kB
Mapped: 17080 kB
Slab: 471144 kB
PageTables: 13972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 4669532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73040 MiB
End job on node135 at 2011-05-02 13:40:55