0.42/0.73 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.42/0.73 c INFO: solving HOME/instance-3380522-1305481205.cnf
0.42/0.73 c INFO: computing task features
3.40/3.70 c INFO: computed variable-clause graph statistics
3.50/3.81 c INFO: computed clause balance statistics
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.81 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.82 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.83 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.84 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.86 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.87 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.50/3.89 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.91 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.92 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.93 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.94 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.96 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.97 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.60/3.99 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.00 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
3.70/4.02 Warning: invalid value encountered in divide
17.40/17.70 c INFO: computed variable balance statistics
27.00/27.34 c INFO: computed small-clause counts
27.21/27.52 c INFO: computed Horn-clause counts
50.48/50.87 c INFO: computed variable graph statistics
50.48/50.87 c INFO: collected features for HOME/instance-3380522-1305481205.cnf in 50.03 s
50.48/50.88 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.58/50.90 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.58/50.92 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.58/50.95 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.58/50.97 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.58/50.99 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.68/51.01 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
50.68/51.03 c INFO: running precosat-570@0 for 97 with 4949 remaining (b = nan)
195.24/69.14 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3380522-1305481205/watcher-3380522-1305481205 -o /tmp/evaluation-result-3380522-1305481205/solver-3380522-1305481205 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380522-1305481205.cnf -seed 386725302 -budget 40000 -cores 8
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 1/338 28813
/proc/meminfo: memFree=13191844/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=15184 CPUtime=0 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 724 0 0 0 0 0 0 0 20 0 1 0 659719389 15548416 615 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/28813/statm: 3796 615 321 364 0 283 0
[startup+0.017069 s]
/proc/loadavg: 0.00 0.00 0.03 1/338 28813
/proc/meminfo: memFree=13191844/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=15776 CPUtime=0 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 893 0 0 0 0 0 0 0 20 0 1 0 659719389 16154624 775 33554432000 4194304 5683644 140736101756128 18446744073709551615 4603775 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 3944 776 343 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+0.10109 s]
/proc/loadavg: 0.00 0.00 0.03 1/338 28813
/proc/meminfo: memFree=13191844/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=66892 CPUtime=0.05 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 2131 0 0 0 4 1 0 0 20 0 1 0 659719389 68497408 1885 33554432000 4194304 5683644 140736101756128 18446744073709551615 235589942919 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 17384 1889 524 364 0 1323 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 66892
[startup+0.301033 s]
/proc/loadavg: 0.00 0.00 0.03 1/338 28813
/proc/meminfo: memFree=13191844/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=135752 CPUtime=0.19 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 5958 934 1 0 15 4 0 0 17 0 1 0 659719389 139010048 4151 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594862597 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752
[startup+0.700963 s]
/proc/loadavg: 0.00 0.00 0.03 1/338 28813
/proc/meminfo: memFree=13191844/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=259460 CPUtime=0.42 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 8604 934 1 0 31 11 0 0 16 0 1 0 659719389 265687040 6443 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/28813/statm: 64865 6443 1656 364 0 5223 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 259460
[startup+1.50075 s]
/proc/loadavg: 0.00 0.00 0.03 2/339 28818
/proc/meminfo: memFree=13136284/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=347204 CPUtime=1.2 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 26055 934 1 0 106 14 0 0 16 0 1 0 659719389 355536896 23740 33554432000 4194304 5683644 140736101756128 18446744073709551615 4942130 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 86801 23741 1761 364 0 22725 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 347204
[startup+3.10046 s]
/proc/loadavg: 0.00 0.00 0.03 2/339 28818
/proc/meminfo: memFree=13061528/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=450040 CPUtime=2.8 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 51367 934 1 0 263 17 0 0 18 0 1 0 659719389 460840960 49052 33554432000 4194304 5683644 140736101756128 18446744073709551615 47210330872133 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 112510 49052 1761 364 0 48434 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 450040
[startup+6.30098 s]
/proc/loadavg: 0.08 0.02 0.04 2/339 28818
/proc/meminfo: memFree=12969516/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=478352 CPUtime=6 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 81928 934 1 0 579 21 0 0 25 0 1 0 659719389 489832448 56975 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594533855 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28813/statm: 119588 56975 1828 364 0 55512 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 478352
[startup+12.7008 s]
/proc/loadavg: 0.15 0.03 0.04 2/339 28818
/proc/meminfo: memFree=12969476/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=478352 CPUtime=12.4 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 81928 934 1 0 1219 21 0 0 25 0 1 0 659719389 489832448 56975 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594227460 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28813/statm: 119588 56975 1828 364 0 55512 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 478352
[startup+25.5005 s]
/proc/loadavg: 0.34 0.08 0.05 2/339 28818
/proc/meminfo: memFree=12970080/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=478352 CPUtime=25.2 cores=0-7
/proc/28813/stat : 28813 (python) R 28811 28813 28787 0 -1 4202496 81929 934 1 0 2499 21 0 0 25 0 1 0 659719389 489832448 56976 33554432000 4194304 5683644 140736101756128 18446744073709551615 4619592 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28813/statm: 119588 56976 1829 364 0 55512 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 478352
[startup+51.101 s]
/proc/loadavg: 0.56 0.15 0.08 2/339 28819
/proc/meminfo: memFree=12970532/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=544916 CPUtime=50.72 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 88075 934 1 0 5046 26 0 0 25 0 9 0 659719389 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28813/statm: 136229 53188 1883 364 0 72126 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 544916
Solver just ended. Dumping a history of the last processes samples
[startup+57.5019 s]
/proc/loadavg: 1.16 0.28 0.12 9/363 28843
/proc/meminfo: memFree=11359856/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=544916 CPUtime=50.72 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 88075 934 1 0 5046 26 0 0 25 0 9 0 659719389 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28813/statm: 136229 53188 1883 364 0 72126 0
[pid=28820] ppid=28813 vsize=462880 CPUtime=0.01 cores=0-7
/proc/28820/stat : 28820 (python) S 28813 28813 28787 0 -1 4202560 954 0 0 0 0 1 0 0 18 0 1 0 659724478 473989120 51654 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886671 0 0 16781312 514 1771112300892094723 0 0 17 1 0 0 0
/proc/28820/statm: 115720 51654 381 364 0 51638 0
[pid=28822] ppid=28820 vsize=219984 CPUtime=6.58 cores=0-7
/proc/28822/stat : 28822 (precosat) R 28820 28822 28822 0 -1 4202496 53988 0 0 0 650 8 0 0 25 0 1 0 659724479 225263616 51587 33554432000 4194304 4890832 140736030883712 18446744073709551615 4216615 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/28822/statm: 54996 51587 86 171 0 54823 0
[pid=28823] ppid=28813 vsize=473136 CPUtime=0.01 cores=0-7
/proc/28823/stat : 28823 (python) S 28813 28813 28787 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 659724480 484491264 51647 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 10653682187502584066 0 0 17 6 0 0 0
/proc/28823/statm: 118284 51647 370 364 0 54199 0
[pid=28827] ppid=28823 vsize=217148 CPUtime=6.55 cores=0-7
/proc/28827/stat : 28827 (precosat) R 28823 28827 28827 0 -1 4202496 53266 0 0 0 647 8 0 0 25 0 1 0 659724483 222359552 50863 33554432000 4194304 4890832 140736492250144 18446744073709551615 4203520 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/28827/statm: 54287 50863 86 171 0 54114 0
[pid=28825] ppid=28813 vsize=483392 CPUtime=0.01 cores=0-7
/proc/28825/stat : 28825 (python) S 28813 28813 28787 0 -1 4202560 895 0 0 0 0 1 0 0 18 0 1 0 659724482 494993408 51651 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 9750610681534578947 0 0 17 6 0 0 0
/proc/28825/statm: 120848 51651 370 364 0 56760 0
[pid=28828] ppid=28825 vsize=216868 CPUtime=6.54 cores=0-7
/proc/28828/stat : 28828 (precosat) R 28825 28828 28828 0 -1 4202496 53187 0 0 0 647 7 0 0 25 0 1 0 659724483 222072832 50782 33554432000 4194304 4890832 140733614348000 18446744073709551615 4230350 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/28828/statm: 54217 50782 86 171 0 54044 0
[pid=28829] ppid=28813 vsize=493648 CPUtime=0.01 cores=0-7
/proc/28829/stat : 28829 (python) S 28813 28813 28787 0 -1 4202560 902 0 0 0 0 1 0 0 18 0 1 0 659724485 505495552 51655 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 9810220154678640897 0 0 17 0 0 0 0
/proc/28829/statm: 123412 51655 370 364 0 59321 0
[pid=28833] ppid=28829 vsize=218116 CPUtime=6.5 cores=0-7
/proc/28833/stat : 28833 (precosat) R 28829 28833 28833 0 -1 4202496 53489 0 0 0 643 7 0 0 25 0 1 0 659724489 223350784 51086 33554432000 4194304 4890832 140733820625648 18446744073709551615 4442674 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28833/statm: 54529 51086 86 171 0 54356 0
[pid=28831] ppid=28813 vsize=503904 CPUtime=0.02 cores=0-7
/proc/28831/stat : 28831 (python) S 28813 28813 28787 0 -1 4202560 910 0 0 0 1 1 0 0 18 0 1 0 659724487 515997696 51659 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 8228969601820492033 0 0 17 1 0 0 0
/proc/28831/statm: 125976 51659 370 364 0 61882 0
[pid=28834] ppid=28831 vsize=218356 CPUtime=6.4 cores=0-7
/proc/28834/stat : 28834 (precosat) R 28831 28834 28834 0 -1 4202496 53542 0 0 0 633 7 0 0 25 0 1 0 659724489 223596544 51136 33554432000 4194304 4890832 140736835851248 18446744073709551615 4231738 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/28834/statm: 54589 51136 86 171 0 54416 0
[pid=28835] ppid=28813 vsize=514160 CPUtime=0.01 cores=0-7
/proc/28835/stat : 28835 (python) S 28813 28813 28787 0 -1 4202560 903 0 0 0 0 1 0 0 18 0 1 0 659724489 526499840 51663 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 4598077917061153027 0 0 17 1 0 0 0
/proc/28835/statm: 128540 51663 370 364 0 64443 0
[pid=28837] ppid=28835 vsize=216728 CPUtime=6.43 cores=0-7
/proc/28837/stat : 28837 (precosat) R 28835 28837 28837 0 -1 4202496 53218 0 0 0 636 7 0 0 25 0 1 0 659724490 221929472 50810 33554432000 4194304 4890832 140736872096144 18446744073709551615 4280272 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28837/statm: 54182 50810 86 171 0 54009 0
[pid=28838] ppid=28813 vsize=524416 CPUtime=0.01 cores=0-7
/proc/28838/stat : 28838 (python) S 28813 28813 28787 0 -1 4202560 920 0 0 0 0 1 0 0 18 0 1 0 659724491 537001984 51667 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 4186467217988092161 0 0 17 6 0 0 0
/proc/28838/statm: 131104 51667 370 364 0 67004 0
[pid=28840] ppid=28838 vsize=218204 CPUtime=6.41 cores=0-7
/proc/28840/stat : 28840 (precosat) R 28838 28840 28840 0 -1 4202496 53612 0 0 0 632 9 0 0 25 0 1 0 659724492 223440896 51209 33554432000 4194304 4890832 140735002486832 18446744073709551615 4216482 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/28840/statm: 54551 51209 86 171 0 54378 0
[pid=28841] ppid=28813 vsize=534672 CPUtime=0.01 cores=0-7
/proc/28841/stat : 28841 (python) S 28813 28813 28787 0 -1 4202560 981 0 0 0 0 1 0 0 18 0 1 0 659724493 547504128 51677 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 8228965753529794819 0 0 17 0 0 0 0
/proc/28841/statm: 133668 51677 376 364 0 69565 0
[pid=28843] ppid=28841 vsize=216264 CPUtime=6.4 cores=0-7
/proc/28843/stat : 28843 (precosat) R 28841 28843 28843 0 -1 4202496 53060 0 0 0 632 8 0 0 25 0 1 0 659724494 221454336 50651 33554432000 4194304 4890832 140735621108144 18446744073709551615 4293275 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/28843/statm: 54066 50651 86 171 0 53893 0
[pid=28813/tid=28821] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28821/stat : 28821 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724479 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28824] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28824/stat : 28824 (python) S 28811 28813 28787 0 -1 4202560 38 934 0 0 0 0 0 0 25 0 9 0 659724481 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28826] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28826/stat : 28826 (python) S 28811 28813 28787 0 -1 4202560 16 934 0 0 0 0 0 0 25 0 9 0 659724483 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28830] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28830/stat : 28830 (python) S 28811 28813 28787 0 -1 4202560 33 934 0 0 0 0 0 0 25 0 9 0 659724485 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28832] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28832/stat : 28832 (python) S 28811 28813 28787 0 -1 4202560 19 934 0 0 0 0 0 0 25 0 9 0 659724487 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 7 0 0 0
[pid=28813/tid=28836] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28836/stat : 28836 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724489 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28839] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28839/stat : 28839 (python) S 28811 28813 28787 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 659724492 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28842] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28842/stat : 28842 (python) S 28811 28813 28787 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 9 0 659724494 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.62
Current children cumulated vsize (KiB) 6276792
[startup+63.9018 s]
/proc/loadavg: 2.21 0.54 0.21 9/363 28843
/proc/meminfo: memFree=11305784/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=544916 CPUtime=50.72 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 88075 934 1 0 5046 26 0 0 25 0 9 0 659719389 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28813/statm: 136229 53188 1883 364 0 72126 0
[pid=28820] ppid=28813 vsize=462880 CPUtime=0.03 cores=0-7
################
# More data... #
################
[pid=28829] ppid=28813 vsize=493648 CPUtime=0.04 cores=0-7
/proc/28829/stat : 28829 (python) S 28813 28813 28787 0 -1 4202560 910 0 0 0 2 2 0 0 18 0 1 0 659724485 505495552 51655 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 0 0 0 0
/proc/28829/statm: 123412 51655 370 364 0 59321 0
[pid=28833] ppid=28829 vsize=218116 CPUtime=16.9 cores=0-7
/proc/28833/stat : 28833 (precosat) R 28829 28833 28833 0 -1 4202496 53583 0 0 0 1683 7 0 0 25 0 1 0 659724489 223350784 51180 33554432000 4194304 4890832 140733820625648 18446744073709551615 4477403 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28833/statm: 54529 51180 86 171 0 54356 0
[pid=28831] ppid=28813 vsize=503904 CPUtime=0.04 cores=0-7
/proc/28831/stat : 28831 (python) S 28813 28813 28787 0 -1 4202560 916 0 0 0 2 2 0 0 18 0 1 0 659724487 515997696 51659 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 1 0 0 0
/proc/28831/statm: 125976 51659 370 364 0 61882 0
[pid=28834] ppid=28831 vsize=219532 CPUtime=16.66 cores=0-7
/proc/28834/stat : 28834 (precosat) R 28831 28834 28834 0 -1 4202496 53970 0 0 0 1659 7 0 0 25 0 1 0 659724489 224800768 51564 33554432000 4194304 4890832 140736835851248 18446744073709551615 4229325 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/28834/statm: 54883 51564 86 171 0 54710 0
[pid=28835] ppid=28813 vsize=514160 CPUtime=0.05 cores=0-7
/proc/28835/stat : 28835 (python) S 28813 28813 28787 0 -1 4202560 907 0 0 0 2 3 0 0 18 0 1 0 659724489 526499840 51663 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 1 0 0 0
/proc/28835/statm: 128540 51663 370 364 0 64443 0
[pid=28837] ppid=28835 vsize=218084 CPUtime=16.73 cores=0-7
/proc/28837/stat : 28837 (precosat) R 28835 28837 28837 0 -1 4202496 53626 0 0 0 1666 7 0 0 25 0 1 0 659724490 223318016 51218 33554432000 4194304 4890832 140736872096144 18446744073709551615 4477403 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28837/statm: 54521 51218 86 171 0 54348 0
[pid=28838] ppid=28813 vsize=524416 CPUtime=0.05 cores=0-7
/proc/28838/stat : 28838 (python) S 28813 28813 28787 0 -1 4202560 924 0 0 0 2 3 0 0 18 0 1 0 659724491 537001984 51667 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 6 0 0 0
/proc/28838/statm: 131104 51667 370 364 0 67004 0
[pid=28840] ppid=28838 vsize=219608 CPUtime=16.72 cores=0-7
/proc/28840/stat : 28840 (precosat) R 28838 28840 28840 0 -1 4202496 54000 0 0 0 1663 9 0 0 25 0 1 0 659724492 224878592 51597 33554432000 4194304 4890832 140735002486832 18446744073709551615 4295294 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/28840/statm: 54902 51597 86 171 0 54729 0
[pid=28841] ppid=28813 vsize=534672 CPUtime=0.04 cores=0-7
/proc/28841/stat : 28841 (python) S 28813 28813 28787 0 -1 4202560 986 0 0 0 2 2 0 0 18 0 1 0 659724493 547504128 51677 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 0 0 0 0
/proc/28841/statm: 133668 51677 376 364 0 69565 0
[pid=28843] ppid=28841 vsize=217596 CPUtime=16.73 cores=0-7
/proc/28843/stat : 28843 (precosat) R 28841 28843 28843 0 -1 4202496 53497 0 0 0 1665 8 0 0 25 0 1 0 659724494 222818304 51088 33554432000 4194304 4890832 140735621108144 18446744073709551615 4295802 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/28843/statm: 54399 51088 86 171 0 54226 0
[pid=28813/tid=28821] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28821/stat : 28821 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724479 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28824] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28824/stat : 28824 (python) S 28811 28813 28787 0 -1 4202560 38 934 0 0 0 0 0 0 25 0 9 0 659724481 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28826] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28826/stat : 28826 (python) S 28811 28813 28787 0 -1 4202560 16 934 0 0 0 0 0 0 25 0 9 0 659724483 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28830] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28830/stat : 28830 (python) S 28811 28813 28787 0 -1 4202560 33 934 0 0 0 0 0 0 25 0 9 0 659724485 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28832] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28832/stat : 28832 (python) S 28811 28813 28787 0 -1 4202560 19 934 0 0 0 0 0 0 25 0 9 0 659724487 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 7 0 0 0
[pid=28813/tid=28836] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28836/stat : 28836 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724489 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28839] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28839/stat : 28839 (python) S 28811 28813 28787 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 659724492 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28842] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28842/stat : 28842 (python) S 28811 28813 28787 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 9 0 659724494 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 185.7
Current children cumulated vsize (KiB) 6285528
[startup+68.7019 s]
/proc/loadavg: 2.21 0.54 0.21 9/363 28843
/proc/meminfo: memFree=11304048/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=544916 CPUtime=50.72 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 88075 934 1 0 5046 26 0 0 25 0 9 0 659719389 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28813/statm: 136229 53188 1883 364 0 72126 0
[pid=28820] ppid=28813 vsize=462880 CPUtime=0.04 cores=0-7
/proc/28820/stat : 28820 (python) S 28813 28813 28787 0 -1 4202560 961 0 0 0 2 2 0 0 18 0 1 0 659724478 473989120 51654 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886671 0 0 16781312 514 18443841363012190467 0 0 17 1 0 0 0
/proc/28820/statm: 115720 51654 381 364 0 51638 0
[pid=28822] ppid=28820 vsize=221228 CPUtime=17.78 cores=0-7
/proc/28822/stat : 28822 (precosat) R 28820 28822 28822 0 -1 4202496 54395 0 0 0 1770 8 0 0 25 0 1 0 659724479 226537472 51994 33554432000 4194304 4890832 140736030883712 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/28822/statm: 55307 51994 86 171 0 55134 0
[pid=28823] ppid=28813 vsize=473136 CPUtime=0.05 cores=0-7
/proc/28823/stat : 28823 (python) S 28813 28813 28787 0 -1 4202560 890 0 0 0 3 2 0 0 18 0 1 0 659724480 484491264 51647 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190466 0 0 17 6 0 0 0
/proc/28823/statm: 118284 51647 370 364 0 54199 0
[pid=28827] ppid=28823 vsize=218180 CPUtime=17.75 cores=0-7
/proc/28827/stat : 28827 (precosat) R 28823 28827 28827 0 -1 4202496 53644 0 0 0 1767 8 0 0 25 0 1 0 659724483 223416320 51241 33554432000 4194304 4890832 140736492250144 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/28827/statm: 54545 51241 86 171 0 54372 0
[pid=28825] ppid=28813 vsize=483392 CPUtime=0.05 cores=0-7
/proc/28825/stat : 28825 (python) S 28813 28813 28787 0 -1 4202560 901 0 0 0 2 3 0 0 18 0 1 0 659724482 494993408 51651 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 6 0 0 0
/proc/28825/statm: 120848 51651 370 364 0 56760 0
[pid=28828] ppid=28825 vsize=218060 CPUtime=17.75 cores=0-7
/proc/28828/stat : 28828 (precosat) R 28825 28828 28828 0 -1 4202496 53598 0 0 0 1767 8 0 0 25 0 1 0 659724483 223293440 51193 33554432000 4194304 4890832 140733614348000 18446744073709551615 4229292 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/28828/statm: 54515 51193 86 171 0 54342 0
[pid=28829] ppid=28813 vsize=493648 CPUtime=0.04 cores=0-7
/proc/28829/stat : 28829 (python) S 28813 28813 28787 0 -1 4202560 910 0 0 0 2 2 0 0 18 0 1 0 659724485 505495552 51655 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 0 0 0 0
/proc/28829/statm: 123412 51655 370 364 0 59321 0
[pid=28833] ppid=28829 vsize=218116 CPUtime=17.7 cores=0-7
/proc/28833/stat : 28833 (precosat) R 28829 28833 28833 0 -1 4202496 53659 0 0 0 1763 7 0 0 25 0 1 0 659724489 223350784 51256 33554432000 4194304 4890832 140733820625648 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/28833/statm: 54529 51256 86 171 0 54356 0
[pid=28831] ppid=28813 vsize=503904 CPUtime=0.04 cores=0-7
/proc/28831/stat : 28831 (python) S 28813 28813 28787 0 -1 4202560 916 0 0 0 2 2 0 0 18 0 1 0 659724487 515997696 51659 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 1 0 0 0
/proc/28831/statm: 125976 51659 370 364 0 61882 0
[pid=28834] ppid=28831 vsize=219532 CPUtime=17.45 cores=0-7
/proc/28834/stat : 28834 (precosat) R 28831 28834 28834 0 -1 4202496 53970 0 0 0 1738 7 0 0 25 0 1 0 659724489 224800768 51564 33554432000 4194304 4890832 140736835851248 18446744073709551615 4212935 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/28834/statm: 54883 51564 86 171 0 54710 0
[pid=28835] ppid=28813 vsize=514160 CPUtime=0.05 cores=0-7
/proc/28835/stat : 28835 (python) S 28813 28813 28787 0 -1 4202560 907 0 0 0 2 3 0 0 18 0 1 0 659724489 526499840 51663 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 1 0 0 0
/proc/28835/statm: 128540 51663 370 364 0 64443 0
[pid=28837] ppid=28835 vsize=218084 CPUtime=17.53 cores=0-7
/proc/28837/stat : 28837 (precosat) R 28835 28837 28837 0 -1 4202496 53626 0 0 0 1746 7 0 0 25 0 1 0 659724490 223318016 51218 33554432000 4194304 4890832 140736872096144 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/28837/statm: 54521 51218 86 171 0 54348 0
[pid=28838] ppid=28813 vsize=524416 CPUtime=0.05 cores=0-7
/proc/28838/stat : 28838 (python) S 28813 28813 28787 0 -1 4202560 924 0 0 0 2 3 0 0 18 0 1 0 659724491 537001984 51667 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 6 0 0 0
/proc/28838/statm: 131104 51667 370 364 0 67004 0
[pid=28840] ppid=28838 vsize=219608 CPUtime=17.52 cores=0-7
/proc/28840/stat : 28840 (precosat) R 28838 28840 28840 0 -1 4202496 54000 0 0 0 1743 9 0 0 25 0 1 0 659724492 224878592 51597 33554432000 4194304 4890832 140735002486832 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/28840/statm: 54902 51597 86 171 0 54729 0
[pid=28841] ppid=28813 vsize=534672 CPUtime=0.04 cores=0-7
/proc/28841/stat : 28841 (python) S 28813 28813 28787 0 -1 4202560 986 0 0 0 2 2 0 0 18 0 1 0 659724493 547504128 51677 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 0 0 0 0
/proc/28841/statm: 133668 51677 376 364 0 69565 0
[pid=28843] ppid=28841 vsize=217596 CPUtime=17.53 cores=0-7
/proc/28843/stat : 28843 (precosat) R 28841 28843 28843 0 -1 4202496 53497 0 0 0 1745 8 0 0 25 0 1 0 659724494 222818304 51088 33554432000 4194304 4890832 140735621108144 18446744073709551615 4213060 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/28843/statm: 54399 51088 86 171 0 54226 0
[pid=28813/tid=28821] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28821/stat : 28821 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724479 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28824] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28824/stat : 28824 (python) S 28811 28813 28787 0 -1 4202560 38 934 0 0 0 0 0 0 25 0 9 0 659724481 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28826] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28826/stat : 28826 (python) S 28811 28813 28787 0 -1 4202560 16 934 0 0 0 0 0 0 25 0 9 0 659724483 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28830] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28830/stat : 28830 (python) S 28811 28813 28787 0 -1 4202560 33 934 0 0 0 0 0 0 25 0 9 0 659724485 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28832] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28832/stat : 28832 (python) S 28811 28813 28787 0 -1 4202560 19 934 0 0 0 0 0 0 25 0 9 0 659724487 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 7 0 0 0
[pid=28813/tid=28836] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28836/stat : 28836 (python) S 28811 28813 28787 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 659724489 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28839] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28839/stat : 28839 (python) S 28811 28813 28787 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 659724492 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28842] ppid=28811 vsize=544916 CPUtime=0 cores=0-7
/proc/28813/task/28842/stat : 28842 (python) S 28811 28813 28787 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 9 0 659724494 557993984 53188 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 192.09
Current children cumulated vsize (KiB) 6285528
[startup+69.1018 s]
/proc/loadavg: 2.21 0.54 0.21 9/363 28843
/proc/meminfo: memFree=11304048/32950928 swapFree=61888748/67111528
[pid=28813] ppid=28811 vsize=544916 CPUtime=105.23 cores=0-7
/proc/28813/stat : 28813 (python) S 28811 28813 28787 0 -1 4202496 88155 164679 1 0 5046 26 5415 36 17 0 9 0 659719389 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606696767 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28813/statm: 136229 53189 1884 364 0 72126 0
[pid=28820] ppid=28813 vsize=0 CPUtime=18.23 cores=0-7
/proc/28820/stat : 28820 (python) R 28813 28813 28787 0 -1 4202564 1005 54395 0 0 2 3 1809 9 16 0 1 0 659724478 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28820/statm: 0 0 0 0 0 0 0
[pid=28831] ppid=28813 vsize=0 CPUtime=17.86 cores=0-7
/proc/28831/stat : 28831 (python) Z 28813 28813 28787 0 -1 4202588 1149 53971 0 0 3 3 1772 8 17 0 1 0 659724487 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28831/statm: 0 0 0 0 0 0 0
[pid=28835] ppid=28813 vsize=514160 CPUtime=0.05 cores=0-7
/proc/28835/stat : 28835 (python) S 28813 28813 28787 0 -1 4202560 907 0 0 0 2 3 0 0 18 0 1 0 659724489 526499840 51663 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 1 0 0 0
/proc/28835/statm: 128540 51663 370 364 0 64443 0
[pid=28837] ppid=28835 vsize=218084 CPUtime=17.93 cores=0-7
/proc/28837/stat : 28837 (precosat) R 28835 28837 28837 0 -1 4202496 53626 0 0 0 1786 7 0 0 25 0 1 0 659724490 223318016 51218 33554432000 4194304 4890832 140736872096144 18446744073709551615 4239048 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/28837/statm: 54521 51218 86 171 0 54348 0
[pid=28838] ppid=28813 vsize=524416 CPUtime=0.05 cores=0-7
/proc/28838/stat : 28838 (python) S 28813 28813 28787 0 -1 4202560 924 0 0 0 2 3 0 0 18 0 1 0 659724491 537001984 51667 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190465 0 0 17 6 0 0 0
/proc/28838/statm: 131104 51667 370 364 0 67004 0
[pid=28840] ppid=28838 vsize=219608 CPUtime=17.92 cores=0-7
/proc/28840/stat : 28840 (precosat) R 28838 28840 28840 0 -1 4202496 54000 0 0 0 1783 9 0 0 25 0 1 0 659724492 224878592 51597 33554432000 4194304 4890832 140735002486832 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/28840/statm: 54902 51597 86 171 0 54729 0
[pid=28841] ppid=28813 vsize=534672 CPUtime=0.04 cores=0-7
/proc/28841/stat : 28841 (python) S 28813 28813 28787 0 -1 4202560 986 0 0 0 2 2 0 0 18 0 1 0 659724493 547504128 51677 33554432000 4194304 5683644 140736101756128 18446744073709551615 235594886726 0 0 16781312 514 18443841363012190467 0 0 17 0 0 0 0
/proc/28841/statm: 133668 51677 376 364 0 69565 0
[pid=28843] ppid=28841 vsize=217596 CPUtime=17.93 cores=0-7
/proc/28843/stat : 28843 (precosat) R 28841 28843 28843 0 -1 4202496 53497 0 0 0 1785 8 0 0 25 0 1 0 659724494 222818304 51088 33554432000 4194304 4890832 140735621108144 18446744073709551615 4229202 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/28843/statm: 54399 51088 86 171 0 54226 0
[pid=28813/tid=28821] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28821/stat : 28821 (python) S 28811 28813 28787 0 -1 4202560 21 164679 0 0 0 0 5415 36 25 0 9 0 659724479 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28824] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28824/stat : 28824 (python) S 28811 28813 28787 0 -1 4202560 38 164679 0 0 0 0 5415 36 25 0 9 0 659724481 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28826] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28826/stat : 28826 (python) S 28811 28813 28787 0 -1 4202560 16 164679 0 0 0 0 5415 36 25 0 9 0 659724483 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 2 0 0 0
[pid=28813/tid=28830] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28830/stat : 28830 (python) S 28811 28813 28787 0 -1 4202560 33 164679 0 0 0 0 5415 36 25 0 9 0 659724485 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28832] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28832/stat : 28832 (python) S 28811 28813 28787 0 -1 4202560 19 164679 0 0 0 0 5415 36 25 0 9 0 659724487 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 7 0 0 0
[pid=28813/tid=28836] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28836/stat : 28836 (python) S 28811 28813 28787 0 -1 4202560 21 164679 0 0 0 0 5415 36 25 0 9 0 659724489 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28839] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28839/stat : 28839 (python) S 28811 28813 28787 0 -1 4202560 25 164679 0 0 0 0 5415 36 25 0 9 0 659724492 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
[pid=28813/tid=28842] ppid=28811 vsize=544916 CPUtime=54.51 cores=0-7
/proc/28813/task/28842/stat : 28842 (python) S 28811 28813 28787 0 -1 4202560 26 164679 0 0 0 0 5415 36 25 0 9 0 659724494 557993984 53189 33554432000 4194304 5683644 140736101756128 18446744073709551615 235606690225 0 0 16781312 2 18446604443644724288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.24
Current children cumulated vsize (KiB) 2773452
Child status: 0
Real time (s): 69.1981
CPU time (s): 195.504
CPU user time (s): 194.206
CPU system time (s): 1.2978
CPU usage (%): 282.528
Max. virtual memory (cumulated for all children) (KiB): 6285532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.206
system time used= 1.2978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551870
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= 3561
involuntary context switches= 1024
runsolver used 0.222966 second user time and 0.556915 second system time
The end
Begin job on node120 at 2011-05-15 19:40:06
IDJOB=3380522
IDBENCH=20431
IDSOLVER=1864
FILE ID=node120/3380522-1305481205
RUNJOBID= node120-1305481205-28801
PBS_JOBID= 13325360
Free space on /tmp= 73628 MiB
SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
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-3380522-1305481205/watcher-3380522-1305481205 -o /tmp/evaluation-result-3380522-1305481205/solver-3380522-1305481205 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380522-1305481205.cnf -seed 386725302 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=386725302
node120.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.809
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.61
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
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.809
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.82
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.809
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13192132 kB
Buffers: 57636 kB
Cached: 1018340 kB
SwapCached: 75716 kB
Active: 7309260 kB
Inactive: 12237460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13192132 kB
SwapTotal: 67111528 kB
SwapFree: 61888748 kB
Dirty: 48116 kB
Writeback: 4 kB
AnonPages: 18401016 kB
Mapped: 19492 kB
Slab: 83876 kB
PageTables: 63412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 58953196 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= 73596 MiB
End job on node120 at 2011-05-15 19:41:16