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-3321317-1304335921.cnf
0.35/0.68 c INFO: computing task features
3.42/3.73 c INFO: computed variable-clause graph statistics
3.52/3.83 c INFO: computed clause balance statistics
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.83 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.84 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.85 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.86 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.87 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.52/3.88 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.90 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.91 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.93 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.94 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.95 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.96 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.98 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.61/3.99 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.01 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.02 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
3.71/4.04 Warning: invalid value encountered in divide
17.22/17.55 c INFO: computed variable balance statistics
26.72/27.09 c INFO: computed small-clause counts
26.92/27.26 c INFO: computed Horn-clause counts
51.01/51.39 c INFO: computed variable graph statistics
51.01/51.39 c INFO: collected features for HOME/instance-3321317-1304335921.cnf in 50.61 s
51.11/51.41 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.11/51.44 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.11/51.46 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.11/51.49 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.21/51.51 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.21/51.54 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.21/51.56 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
51.21/51.59 c INFO: running precosat-570@0 for 97 with 39949 remaining (b = nan)
208.27/71.20 s UNSATISFIABLE
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-3321317-1304335921/watcher-3321317-1304335921 -o /tmp/evaluation-result-3321317-1304335921/solver-3321317-1304335921 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3321317-1304335921.cnf -seed 1348541373 -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: 4.00 5.01 6.36 2/184 24417
/proc/meminfo: memFree=22893368/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=15184 CPUtime=0 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 724 0 0 0 0 0 0 0 17 0 1 0 623822887 15548416 615 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/24417/statm: 3796 615 321 364 0 283 0
[startup+0.0930241 s]
/proc/loadavg: 4.00 5.01 6.36 2/184 24417
/proc/meminfo: memFree=22893368/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=84472 CPUtime=0.05 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 2325 0 0 0 4 1 0 0 17 0 1 0 623822887 86499328 2055 33554432000 4194304 5683644 140734342173824 18446744073709551615 251484930208 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 21118 2060 667 364 0 1335 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84472
[startup+0.101021 s]
/proc/loadavg: 4.00 5.01 6.36 2/184 24417
/proc/meminfo: memFree=22893368/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=85620 CPUtime=0.07 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 2630 0 0 0 5 2 0 0 17 0 1 0 623822887 87674880 2348 33554432000 4194304 5683644 140734342173824 18446744073709551615 251362623111 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 21926 2352 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300986 s]
/proc/loadavg: 4.00 5.01 6.36 2/184 24417
/proc/meminfo: memFree=22893368/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=135748 CPUtime=0.18 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 5961 932 1 0 13 5 0 0 18 0 1 0 623822887 139005952 4150 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367542789 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/24417/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748
[startup+0.700916 s]
/proc/loadavg: 4.00 5.01 6.36 2/184 24417
/proc/meminfo: memFree=22893368/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=295220 CPUtime=0.42 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 13470 932 1 0 31 11 0 0 17 0 1 0 623822887 302305280 11152 33554432000 4194304 5683644 140734342173824 18446744073709551615 4602421 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 73805 11152 1761 364 0 9729 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 295220
[startup+1.50076 s]
/proc/loadavg: 4.00 5.01 6.36 2/185 24422
/proc/meminfo: memFree=22835292/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=348124 CPUtime=1.21 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 26452 932 1 0 109 12 0 0 18 0 1 0 623822887 356478976 24134 33554432000 4194304 5683644 140734342173824 18446744073709551615 4602349 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 87031 24135 1761 364 0 22955 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 348124
[startup+3.10048 s]
/proc/loadavg: 3.76 4.94 6.33 2/185 24422
/proc/meminfo: memFree=22763248/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=450036 CPUtime=2.81 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 51285 932 1 0 265 16 0 0 21 0 1 0 623822887 460836864 48967 33554432000 4194304 5683644 140734342173824 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 112509 48967 1761 364 0 48433 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 450036
[startup+6.30087 s]
/proc/loadavg: 3.76 4.94 6.33 2/185 24422
/proc/meminfo: memFree=22671868/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=478348 CPUtime=6.02 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 81930 932 1 0 582 20 0 0 21 0 1 0 623822887 489828352 56974 33554432000 4194304 5683644 140734342173824 18446744073709551615 47428685306805 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 119587 56974 1828 364 0 55511 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 478348
[startup+12.7007 s]
/proc/loadavg: 3.34 4.81 6.27 2/185 24422
/proc/meminfo: memFree=22672668/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=478348 CPUtime=12.42 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 81930 932 1 0 1222 20 0 0 25 0 1 0 623822887 489828352 56974 33554432000 4194304 5683644 140734342173824 18446744073709551615 47428685311682 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 119587 56974 1828 364 0 55511 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 478348
[startup+25.5003 s]
/proc/loadavg: 2.98 4.69 6.21 2/185 24423
/proc/meminfo: memFree=22674068/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=478348 CPUtime=25.22 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 81931 932 1 0 2502 20 0 0 25 0 1 0 623822887 489828352 56975 33554432000 4194304 5683644 140734342173824 18446744073709551615 47428685307540 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24417/statm: 119587 56975 1829 364 0 55511 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 478348
[startup+51.1005 s]
/proc/loadavg: 2.30 4.39 6.07 2/185 24423
/proc/meminfo: memFree=22673928/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=478348 CPUtime=50.81 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 81937 932 1 0 5061 20 0 0 25 0 1 0 623822887 489828352 56981 33554432000 4194304 5683644 140734342173824 18446744073709551615 47428685162636 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24417/statm: 119587 56981 1835 364 0 55511 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 478348
Solver just ended. Dumping a history of the last processes samples
[startup+63.9011 s]
/proc/loadavg: 3.59 4.57 6.10 9/209 24448
/proc/meminfo: memFree=21010028/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=610448 CPUtime=51.31 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 87606 932 1 0 5104 27 0 0 21 0 9 0 623822887 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24417/statm: 152612 53312 1883 364 0 88509 0
[pid=24424] ppid=24417 vsize=462876 CPUtime=0.01 cores=0-7
/proc/24424/stat : 24424 (python) S 24417 24417 24391 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 623828029 473985024 51648 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566863 0 0 16781312 514 15484765301597241602 0 0 17 1 0 0 0
/proc/24424/statm: 115719 51648 376 364 0 51637 0
[pid=24426] ppid=24424 vsize=218844 CPUtime=12.46 cores=0-7
/proc/24426/stat : 24426 (precosat) R 24424 24426 24426 0 -1 4202496 53699 0 0 0 1238 8 0 0 25 0 1 0 623828030 224096256 51298 33554432000 4194304 4890832 140735392188336 18446744073709551615 4212784 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/24426/statm: 54711 51298 86 171 0 54538 0
[pid=24427] ppid=24417 vsize=473132 CPUtime=0.01 cores=0-7
/proc/24427/stat : 24427 (python) S 24417 24417 24391 0 -1 4202560 888 0 0 0 0 1 0 0 18 0 1 0 623828031 484487168 51646 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 6 0 0 0
/proc/24427/statm: 118283 51646 370 364 0 54198 0
[pid=24429] ppid=24427 vsize=218524 CPUtime=12.43 cores=0-7
/proc/24429/stat : 24429 (precosat) R 24427 24429 24429 0 -1 4202496 53651 0 0 0 1236 7 0 0 25 0 1 0 623828032 223768576 51246 33554432000 4194304 4890832 140736411196944 18446744073709551615 4235813 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/24429/statm: 54631 51246 86 171 0 54458 0
[pid=24430] ppid=24417 vsize=483388 CPUtime=0.01 cores=0-7
/proc/24430/stat : 24430 (python) S 24417 24417 24391 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 623828034 494989312 51650 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241603 0 0 17 1 0 0 0
/proc/24430/statm: 120847 51650 370 364 0 56759 0
[pid=24432] ppid=24430 vsize=221324 CPUtime=12.39 cores=0-7
/proc/24432/stat : 24432 (precosat) R 24430 24432 24432 0 -1 4202496 54383 0 0 0 1231 8 0 0 25 0 1 0 623828034 226635776 51954 33554432000 4194304 4890832 140734441821456 18446744073709551615 4273149 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/24432/statm: 55331 51954 86 171 0 55158 0
[pid=24433] ppid=24417 vsize=493644 CPUtime=0.02 cores=0-7
/proc/24433/stat : 24433 (python) S 24417 24417 24391 0 -1 4202560 906 0 0 0 0 2 0 0 18 0 1 0 623828036 505491456 51654 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 7 0 0 0
/proc/24433/statm: 123411 51654 370 364 0 59320 0
[pid=24435] ppid=24433 vsize=217736 CPUtime=12.39 cores=0-7
/proc/24435/stat : 24435 (precosat) R 24433 24435 24435 0 -1 4202496 53451 0 0 0 1231 8 0 0 25 0 1 0 623828037 222961664 51049 33554432000 4194304 4890832 140735475346368 18446744073709551615 4229325 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/24435/statm: 54434 51049 86 171 0 54261 0
[pid=24436] ppid=24417 vsize=569436 CPUtime=0.01 cores=0-7
/proc/24436/stat : 24436 (python) S 24417 24417 24391 0 -1 4202560 798 0 0 0 0 1 0 0 18 0 1 0 623828039 583102464 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24436/statm: 142359 51776 371 364 0 78265 0
[pid=24438] ppid=24436 vsize=219332 CPUtime=12.35 cores=0-7
/proc/24438/stat : 24438 (precosat) R 24436 24438 24438 0 -1 4202496 53857 0 0 0 1226 9 0 0 25 0 1 0 623828040 224595968 51462 33554432000 4194304 4890832 140737232950240 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/24438/statm: 54833 51462 86 171 0 54660 0
[pid=24439] ppid=24417 vsize=579692 CPUtime=0.02 cores=0-7
/proc/24439/stat : 24439 (python) S 24417 24417 24391 0 -1 4202560 809 0 0 0 1 1 0 0 18 0 1 0 623828041 593604608 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24439/statm: 144923 51776 371 364 0 80826 0
[pid=24441] ppid=24439 vsize=218820 CPUtime=12.22 cores=0-7
/proc/24441/stat : 24441 (precosat) R 24439 24441 24441 0 -1 4202496 53747 0 0 0 1214 8 0 0 25 0 1 0 623828042 224071680 51352 33554432000 4194304 4890832 140735722064832 18446744073709551615 4273055 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/24441/statm: 54705 51352 86 171 0 54532 0
[pid=24442] ppid=24417 vsize=589948 CPUtime=0.02 cores=0-7
/proc/24442/stat : 24442 (python) S 24417 24417 24391 0 -1 4202560 816 0 0 0 1 1 0 0 18 0 1 0 623828044 604106752 51792 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24442/statm: 147487 51792 371 364 0 83387 0
[pid=24447] ppid=24442 vsize=219856 CPUtime=12.27 cores=0-7
/proc/24447/stat : 24447 (precosat) R 24442 24447 24447 0 -1 4202496 53954 0 0 0 1220 7 0 0 25 0 1 0 623828047 225132544 51553 33554432000 4194304 4890832 140734467215344 18446744073709551615 4238592 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/24447/statm: 54964 51553 86 171 0 54791 0
[pid=24444] ppid=24417 vsize=600204 CPUtime=0.01 cores=0-7
/proc/24444/stat : 24444 (python) S 24417 24417 24391 0 -1 4202560 848 0 0 0 0 1 0 0 18 0 1 0 623828046 614608896 51802 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 0 0 0 0
/proc/24444/statm: 150051 51802 377 364 0 85948 0
[pid=24446] ppid=24444 vsize=218620 CPUtime=12.2 cores=0-7
/proc/24446/stat : 24446 (precosat) R 24444 24446 24446 0 -1 4202496 53628 0 0 0 1212 8 0 0 25 0 1 0 623828047 223866880 51229 33554432000 4194304 4890832 140733362466576 18446744073709551615 4212935 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/24446/statm: 54655 51229 86 171 0 54482 0
[pid=24417/tid=24425] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24425/stat : 24425 (python) S 24415 24417 24391 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 9 0 623828029 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
[pid=24417/tid=24428] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24428/stat : 24428 (python) S 24415 24417 24391 0 -1 4202560 22 932 0 0 0 0 0 0 18 0 9 0 623828032 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24431] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24431/stat : 24431 (python) S 24415 24417 24391 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 9 0 623828034 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24434] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24434/stat : 24434 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 18 0 9 0 623828037 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 5 0 0 0
[pid=24417/tid=24437] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24437/stat : 24437 (python) S 24415 24417 24391 0 -1 4202560 98 932 0 0 0 0 0 0 19 0 9 0 623828039 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24440] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24440/stat : 24440 (python) S 24415 24417 24391 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 9 0 623828042 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 7 0 0 0
[pid=24417/tid=24443] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24443/stat : 24443 (python) S 24415 24417 24391 0 -1 4202560 44 932 0 0 0 0 0 0 19 0 9 0 623828044 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24445] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24445/stat : 24445 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 21 0 9 0 623828047 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 150.13
Current children cumulated vsize (KiB) 6615824
[startup+67.1075 s]
/proc/loadavg: 3.94 4.62 6.11 9/209 24448
/proc/meminfo: memFree=21008868/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=610448 CPUtime=51.31 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 87606 932 1 0 5104 27 0 0 21 0 9 0 623822887 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24417/statm: 152612 53312 1883 364 0 88509 0
[pid=24424] ppid=24417 vsize=462876 CPUtime=0.01 cores=0-7
################
# More data... #
################
[pid=24417] ppid=24415 vsize=610448 CPUtime=51.31 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 87606 932 1 0 5104 27 0 0 21 0 9 0 623822887 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24417/statm: 152612 53312 1883 364 0 88509 0
[pid=24424] ppid=24417 vsize=462876 CPUtime=0.02 cores=0-7
/proc/24424/stat : 24424 (python) S 24417 24417 24391 0 -1 4202560 882 0 0 0 1 1 0 0 18 0 1 0 623828029 473985024 51648 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566863 0 0 16781312 514 15484765301597241602 0 0 17 1 0 0 0
/proc/24424/statm: 115719 51648 376 364 0 51637 0
[pid=24426] ppid=24424 vsize=218844 CPUtime=19.26 cores=0-7
/proc/24426/stat : 24426 (precosat) R 24424 24426 24426 0 -1 4202496 53793 0 0 0 1918 8 0 0 25 0 1 0 623828030 224096256 51392 33554432000 4194304 4890832 140735392188336 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/24426/statm: 54711 51392 86 171 0 54538 0
[pid=24427] ppid=24417 vsize=473132 CPUtime=0.02 cores=0-7
/proc/24427/stat : 24427 (python) S 24417 24417 24391 0 -1 4202560 890 0 0 0 0 2 0 0 18 0 1 0 623828031 484487168 51646 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 6 0 0 0
/proc/24427/statm: 118283 51646 370 364 0 54198 0
[pid=24429] ppid=24427 vsize=218524 CPUtime=19.24 cores=0-7
/proc/24429/stat : 24429 (precosat) R 24427 24429 24429 0 -1 4202496 53745 0 0 0 1917 7 0 0 25 0 1 0 623828032 223768576 51340 33554432000 4194304 4890832 140736411196944 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/24429/statm: 54631 51340 86 171 0 54458 0
[pid=24430] ppid=24417 vsize=483388 CPUtime=0.03 cores=0-7
/proc/24430/stat : 24430 (python) S 24417 24417 24391 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 623828034 494989312 51650 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241603 0 0 17 1 0 0 0
/proc/24430/statm: 120847 51650 370 364 0 56759 0
[pid=24432] ppid=24430 vsize=221324 CPUtime=19.18 cores=0-7
/proc/24432/stat : 24432 (precosat) R 24430 24432 24432 0 -1 4202496 54420 0 0 0 1910 8 0 0 25 0 1 0 623828034 226635776 51991 33554432000 4194304 4890832 140734441821456 18446744073709551615 4238622 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/24432/statm: 55331 51991 86 171 0 55158 0
[pid=24433] ppid=24417 vsize=493644 CPUtime=0.02 cores=0-7
/proc/24433/stat : 24433 (python) S 24417 24417 24391 0 -1 4202560 908 0 0 0 0 2 0 0 18 0 1 0 623828036 505491456 51654 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 7 0 0 0
/proc/24433/statm: 123411 51654 370 364 0 59320 0
[pid=24435] ppid=24433 vsize=217736 CPUtime=19.19 cores=0-7
/proc/24435/stat : 24435 (precosat) R 24433 24435 24435 0 -1 4202496 53509 0 0 0 1911 8 0 0 25 0 1 0 623828037 222961664 51107 33554432000 4194304 4890832 140735475346368 18446744073709551615 4238268 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/24435/statm: 54434 51107 86 171 0 54261 0
[pid=24436] ppid=24417 vsize=569436 CPUtime=0.03 cores=0-7
/proc/24436/stat : 24436 (python) S 24417 24417 24391 0 -1 4202560 798 0 0 0 1 2 0 0 18 0 1 0 623828039 583102464 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24436/statm: 142359 51776 371 364 0 78265 0
[pid=24438] ppid=24436 vsize=219332 CPUtime=19.15 cores=0-7
/proc/24438/stat : 24438 (precosat) R 24436 24438 24438 0 -1 4202496 53914 0 0 0 1906 9 0 0 25 0 1 0 623828040 224595968 51519 33554432000 4194304 4890832 140737232950240 18446744073709551615 4238719 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/24438/statm: 54833 51519 86 171 0 54660 0
[pid=24439] ppid=24417 vsize=579692 CPUtime=0.02 cores=0-7
/proc/24439/stat : 24439 (python) S 24417 24417 24391 0 -1 4202560 809 0 0 0 1 1 0 0 18 0 1 0 623828041 593604608 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24439/statm: 144923 51776 371 364 0 80826 0
[pid=24441] ppid=24439 vsize=218820 CPUtime=18.96 cores=0-7
/proc/24441/stat : 24441 (precosat) R 24439 24441 24441 0 -1 4202496 53809 0 0 0 1888 8 0 0 25 0 1 0 623828042 224071680 51414 33554432000 4194304 4890832 140735722064832 18446744073709551615 4238918 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/24441/statm: 54705 51414 86 171 0 54532 0
[pid=24442] ppid=24417 vsize=589948 CPUtime=0.02 cores=0-7
/proc/24442/stat : 24442 (python) S 24417 24417 24391 0 -1 4202560 816 0 0 0 1 1 0 0 18 0 1 0 623828044 604106752 51792 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24442/statm: 147487 51792 371 364 0 83387 0
[pid=24447] ppid=24442 vsize=219856 CPUtime=19.06 cores=0-7
/proc/24447/stat : 24447 (precosat) R 24442 24447 24447 0 -1 4202496 54080 0 0 0 1899 7 0 0 25 0 1 0 623828047 225132544 51679 33554432000 4194304 4890832 140734467215344 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/24447/statm: 54964 51679 86 171 0 54791 0
[pid=24444] ppid=24417 vsize=600204 CPUtime=0.02 cores=0-7
/proc/24444/stat : 24444 (python) S 24417 24417 24391 0 -1 4202560 848 0 0 0 1 1 0 0 18 0 1 0 623828046 614608896 51802 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 0 0 0 0
/proc/24444/statm: 150051 51802 377 364 0 85948 0
[pid=24446] ppid=24444 vsize=218620 CPUtime=18.96 cores=0-7
/proc/24446/stat : 24446 (precosat) R 24444 24446 24446 0 -1 4202496 53739 0 0 0 1888 8 0 0 25 0 1 0 623828047 223866880 51340 33554432000 4194304 4890832 140733362466576 18446744073709551615 4238614 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/24446/statm: 54655 51340 86 171 0 54482 0
[pid=24417/tid=24425] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24425/stat : 24425 (python) S 24415 24417 24391 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 9 0 623828029 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
[pid=24417/tid=24428] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24428/stat : 24428 (python) S 24415 24417 24391 0 -1 4202560 22 932 0 0 0 0 0 0 18 0 9 0 623828032 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24431] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24431/stat : 24431 (python) S 24415 24417 24391 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 9 0 623828034 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24434] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24434/stat : 24434 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 18 0 9 0 623828037 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 5 0 0 0
[pid=24417/tid=24437] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24437/stat : 24437 (python) S 24415 24417 24391 0 -1 4202560 98 932 0 0 0 0 0 0 19 0 9 0 623828039 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24440] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24440/stat : 24440 (python) S 24415 24417 24391 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 9 0 623828042 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 7 0 0 0
[pid=24417/tid=24443] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24443/stat : 24443 (python) S 24415 24417 24391 0 -1 4202560 44 932 0 0 0 0 0 0 19 0 9 0 623828044 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24445] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24445/stat : 24445 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 21 0 9 0 623828047 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 6615824
[startup+71.1017 s]
/proc/loadavg: 3.94 4.62 6.11 9/209 24448
/proc/meminfo: memFree=21008372/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=610448 CPUtime=51.31 cores=0-7
/proc/24417/stat : 24417 (python) S 24415 24417 24391 0 -1 4202496 87606 932 1 0 5104 27 0 0 21 0 9 0 623822887 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24417/statm: 152612 53312 1883 364 0 88509 0
[pid=24424] ppid=24417 vsize=462876 CPUtime=0.02 cores=0-7
/proc/24424/stat : 24424 (python) S 24417 24417 24391 0 -1 4202560 883 0 0 0 1 1 0 0 15 0 1 0 623828029 473985024 51648 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566863 0 0 16781312 514 5631549028182229250 0 0 17 1 0 0 0
/proc/24424/statm: 115719 51648 376 364 0 51637 0
[pid=24426] ppid=24424 vsize=0 CPUtime=19.66 cores=0-7
/proc/24426/stat : 24426 (precosat) R 24424 24426 24426 0 -1 4202500 53794 0 0 0 1957 9 0 0 25 0 1 0 623828030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/24426/statm: 0 0 0 0 0 0 0
[pid=24427] ppid=24417 vsize=473132 CPUtime=0.02 cores=0-7
/proc/24427/stat : 24427 (python) S 24417 24417 24391 0 -1 4202560 890 0 0 0 0 2 0 0 18 0 1 0 623828031 484487168 51646 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 6 0 0 0
/proc/24427/statm: 118283 51646 370 364 0 54198 0
[pid=24429] ppid=24427 vsize=218524 CPUtime=19.64 cores=0-7
/proc/24429/stat : 24429 (precosat) R 24427 24429 24429 0 -1 4202496 53745 0 0 0 1957 7 0 0 25 0 1 0 623828032 223768576 51340 33554432000 4194304 4890832 140736411196944 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/24429/statm: 54631 51340 86 171 0 54458 0
[pid=24430] ppid=24417 vsize=483388 CPUtime=0.03 cores=0-7
/proc/24430/stat : 24430 (python) S 24417 24417 24391 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 623828034 494989312 51650 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241603 0 0 17 1 0 0 0
/proc/24430/statm: 120847 51650 370 364 0 56759 0
[pid=24432] ppid=24430 vsize=221324 CPUtime=19.58 cores=0-7
/proc/24432/stat : 24432 (precosat) R 24430 24432 24432 0 -1 4202496 54420 0 0 0 1950 8 0 0 25 0 1 0 623828034 226635776 51991 33554432000 4194304 4890832 140734441821456 18446744073709551615 4229325 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/24432/statm: 55331 51991 86 171 0 55158 0
[pid=24433] ppid=24417 vsize=493644 CPUtime=0.02 cores=0-7
/proc/24433/stat : 24433 (python) S 24417 24417 24391 0 -1 4202560 908 0 0 0 0 2 0 0 18 0 1 0 623828036 505491456 51654 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 7 0 0 0
/proc/24433/statm: 123411 51654 370 364 0 59320 0
[pid=24435] ppid=24433 vsize=217736 CPUtime=19.59 cores=0-7
/proc/24435/stat : 24435 (precosat) R 24433 24435 24435 0 -1 4202496 53509 0 0 0 1951 8 0 0 25 0 1 0 623828037 222961664 51107 33554432000 4194304 4890832 140735475346368 18446744073709551615 4238529 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/24435/statm: 54434 51107 86 171 0 54261 0
[pid=24436] ppid=24417 vsize=569436 CPUtime=0.03 cores=0-7
/proc/24436/stat : 24436 (python) S 24417 24417 24391 0 -1 4202560 798 0 0 0 1 2 0 0 18 0 1 0 623828039 583102464 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24436/statm: 142359 51776 371 364 0 78265 0
[pid=24438] ppid=24436 vsize=219332 CPUtime=19.55 cores=0-7
/proc/24438/stat : 24438 (precosat) R 24436 24438 24438 0 -1 4202496 53914 0 0 0 1946 9 0 0 25 0 1 0 623828040 224595968 51519 33554432000 4194304 4890832 140737232950240 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/24438/statm: 54833 51519 86 171 0 54660 0
[pid=24439] ppid=24417 vsize=579692 CPUtime=0.02 cores=0-7
/proc/24439/stat : 24439 (python) S 24417 24417 24391 0 -1 4202560 809 0 0 0 1 1 0 0 18 0 1 0 623828041 593604608 51776 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24439/statm: 144923 51776 371 364 0 80826 0
[pid=24441] ppid=24439 vsize=218820 CPUtime=19.36 cores=0-7
/proc/24441/stat : 24441 (precosat) R 24439 24441 24441 0 -1 4202496 53809 0 0 0 1928 8 0 0 25 0 1 0 623828042 224071680 51414 33554432000 4194304 4890832 140735722064832 18446744073709551615 4295928 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/24441/statm: 54705 51414 86 171 0 54532 0
[pid=24442] ppid=24417 vsize=589948 CPUtime=0.02 cores=0-7
/proc/24442/stat : 24442 (python) S 24417 24417 24391 0 -1 4202560 816 0 0 0 1 1 0 0 18 0 1 0 623828044 604106752 51792 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 1 0 0 0
/proc/24442/statm: 147487 51792 371 364 0 83387 0
[pid=24447] ppid=24442 vsize=219856 CPUtime=19.46 cores=0-7
/proc/24447/stat : 24447 (precosat) R 24442 24447 24447 0 -1 4202496 54080 0 0 0 1939 7 0 0 25 0 1 0 623828047 225132544 51679 33554432000 4194304 4890832 140734467215344 18446744073709551615 4449400 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/24447/statm: 54964 51679 86 171 0 54791 0
[pid=24444] ppid=24417 vsize=600204 CPUtime=0.02 cores=0-7
/proc/24444/stat : 24444 (python) S 24417 24417 24391 0 -1 4202560 848 0 0 0 1 1 0 0 18 0 1 0 623828046 614608896 51802 33554432000 4194304 5683644 140734342173824 18446744073709551615 251367566918 0 0 16781312 514 15484765301597241604 0 0 17 0 0 0 0
/proc/24444/statm: 150051 51802 377 364 0 85948 0
[pid=24446] ppid=24444 vsize=218620 CPUtime=19.36 cores=0-7
/proc/24446/stat : 24446 (precosat) R 24444 24446 24446 0 -1 4202496 53739 0 0 0 1928 8 0 0 25 0 1 0 623828047 223866880 51340 33554432000 4194304 4890832 140733362466576 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/24446/statm: 54655 51340 86 171 0 54482 0
[pid=24417/tid=24425] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24425/stat : 24425 (python) S 24415 24417 24391 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 9 0 623828029 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
[pid=24417/tid=24428] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24428/stat : 24428 (python) S 24415 24417 24391 0 -1 4202560 22 932 0 0 0 0 0 0 18 0 9 0 623828032 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24431] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24431/stat : 24431 (python) S 24415 24417 24391 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 9 0 623828034 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24434] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24434/stat : 24434 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 18 0 9 0 623828037 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 5 0 0 0
[pid=24417/tid=24437] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24437/stat : 24437 (python) S 24415 24417 24391 0 -1 4202560 98 932 0 0 0 0 0 0 19 0 9 0 623828039 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24440] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24440/stat : 24440 (python) S 24415 24417 24391 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 9 0 623828042 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 7 0 0 0
[pid=24417/tid=24443] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24443/stat : 24443 (python) S 24415 24417 24391 0 -1 4202560 44 932 0 0 0 0 0 0 19 0 9 0 623828044 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24445] ppid=24415 vsize=610448 CPUtime=0 cores=0-7
/proc/24417/task/24445/stat : 24445 (python) S 24415 24417 24391 0 -1 4202560 23 932 0 0 0 0 0 0 21 0 9 0 623828047 625098752 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 207.69
Current children cumulated vsize (KiB) 6396980
[startup+71.2059 s]
/proc/loadavg: 3.94 4.62 6.11 9/209 24448
/proc/meminfo: memFree=21008372/32950928 swapFree=67111352/67111528
[pid=24417] ppid=24415 vsize=610448 CPUtime=188.58 cores=0-7
/proc/24417/stat : 24417 (python) R 24415 24417 24391 0 -1 4202496 87637 384504 1 0 5104 27 13643 84 16 0 9 0 623822887 625098752 53313 33554432000 4194304 5683644 140734342173824 18446744073709551615 5114663 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24417/statm: 152612 53313 1884 364 0 88509 0
[pid=24424] ppid=24417 vsize=0 CPUtime=19.69 cores=0-7
/proc/24424/stat : 24424 (python) Z 24417 24417 24391 0 -1 4202588 1110 53794 0 0 1 2 1957 9 15 0 1 0 623828029 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24424/statm: 0 0 0 0 0 0 0
[pid=24417/tid=24425] ppid=24415 vsize=610448 CPUtime=137.27 cores=0-7
/proc/24417/task/24425/stat : 24425 (python) S 24415 24417 24391 0 -1 4202560 25 384504 0 0 0 0 13643 84 25 0 9 0 623828029 625098752 53313 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
[pid=24417/tid=24428] ppid=24415 vsize=610448 CPUtime=137.27 cores=0-7
/proc/24417/task/24428/stat : 24428 (python) S 24415 24417 24391 0 -1 4202560 22 384504 0 0 0 0 13643 84 18 0 9 0 623828032 625098752 53313 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 1 0 0 0
[pid=24417/tid=24431] ppid=24415 vsize=610448 CPUtime=137.27 cores=0-7
/proc/24417/task/24431/stat : 24431 (python) S 24415 24417 24391 0 -1 4202560 21 384504 0 0 0 0 13643 84 20 0 9 0 623828034 625098752 53313 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24434] ppid=24415 vsize=610444 CPUtime=137.27 cores=0-7
/proc/24417/task/24434/stat : 24434 (python) S 24415 24417 24391 0 -1 4202560 23 384504 0 0 0 0 13643 84 18 0 9 0 623828037 625094656 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 5 0 0 0
[pid=24417/tid=24437] ppid=24415 vsize=610440 CPUtime=137.27 cores=0-7
/proc/24417/task/24437/stat : 24437 (python) S 24415 24417 24391 0 -1 4202560 98 384504 0 0 0 0 13643 84 19 0 9 0 623828039 625090560 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 2 0 0 0
[pid=24417/tid=24440] ppid=24415 vsize=610440 CPUtime=137.27 cores=0-7
/proc/24417/task/24440/stat : 24440 (python) S 24415 24417 24391 0 -1 4202560 31 384504 0 0 0 0 13643 84 20 0 9 0 623828042 625090560 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 7 0 0 0
[pid=24417/tid=24443] ppid=24415 vsize=610440 CPUtime=137.27 cores=0-7
/proc/24417/task/24443/stat : 24443 (python) R 24415 24417 24391 0 -1 4202560 44 384504 0 0 0 0 13643 84 18 0 9 0 623828044 625090560 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 0 0 0 -1 1 0 0 0
[pid=24417/tid=24445] ppid=24415 vsize=610440 CPUtime=137.27 cores=0-7
/proc/24417/task/24445/stat : 24445 (python) S 24415 24417 24391 0 -1 4202560 23 384504 0 0 0 0 13643 84 18 0 9 0 623828047 625090560 53312 33554432000 4194304 5683644 140734342173824 18446744073709551615 251379370417 0 0 16781312 2 18446604453846222144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 208.27
Current children cumulated vsize (KiB) 610448
Child status: 0
Real time (s): 71.2659
CPU time (s): 208.372
CPU user time (s): 207.106
CPU system time (s): 1.26681
CPU usage (%): 292.387
Max. virtual memory (cumulated for all children) (KiB): 6615824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.106
system time used= 1.26681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551491
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= 3393
involuntary context switches= 1049
runsolver used 0.117982 second user time and 0.284956 second system time
The end
Begin job on node113 at 2011-05-02 13:32:02
IDJOB=3321317
IDBENCH=20431
IDSOLVER=1710
FILE ID=node113/3321317-1304335921
RUNJOBID= node113-1304335921-24405
PBS_JOBID= 13178023
Free space on /tmp= 73568 MiB
SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321317-1304335921/watcher-3321317-1304335921 -o /tmp/evaluation-result-3321317-1304335921/solver-3321317-1304335921 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3321317-1304335921.cnf -seed 1348541373 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1348541373
node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
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.846
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.83
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.846
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 22893780 kB
Buffers: 822484 kB
Cached: 2755884 kB
SwapCached: 12 kB
Active: 6569476 kB
Inactive: 2973600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 22893780 kB
SwapTotal: 67111528 kB
SwapFree: 67111352 kB
Dirty: 48144 kB
Writeback: 0 kB
AnonPages: 5964976 kB
Mapped: 17480 kB
Slab: 434568 kB
PageTables: 18752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 6909440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73536 MiB
End job on node113 at 2011-05-02 13:33:13