0.53/15.84	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.53/15.84	c INFO: solving HOME/instance-3317692-1304267284.cnf
0.53/15.84	c INFO: computing task features
6.08/21.48	c INFO: computed variable-clause graph statistics
6.28/21.65	c INFO: computed clause balance statistics
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.28/21.65	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.38/21.73	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.82	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.48/21.90	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.59/21.98	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.69/22.06	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.78/22.14	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.22	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.88/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.30	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.35	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.38	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.39	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
6.98/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.40	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
7.08/22.41	Warning: invalid value encountered in divide
32.08/47.44	c INFO: computed variable balance statistics
51.28/66.65	c INFO: computed small-clause counts
52.18/67.51	c INFO: computed Horn-clause counts
357.17/372.52	c INFO: computed variable graph statistics
357.17/372.52	c INFO: collected features for HOME/instance-3317692-1304267284.cnf in 356.53 s
357.17/372.53	c INFO: running precosat-570@0 for 97 with 4443 remaining (b = nan)
357.17/372.55	c INFO: running precosat-570@0 for 97 with 4443 remaining (b = nan)
357.17/372.58	c INFO: running precosat-570@0 for 97 with 4443 remaining (b = nan)
357.27/372.60	c INFO: running precosat-570@0 for 97 with 4443 remaining (b = nan)
757.04/472.70	c INFO: running precosat-570@0 for 97 with 4343 remaining (b = nan)
757.04/472.73	c INFO: running precosat-570@0 for 97 with 4343 remaining (b = nan)
757.04/472.77	c INFO: running precosat-570@0 for 97 with 4343 remaining (b = nan)
757.04/472.79	c INFO: running precosat-570@0 for 97 with 4343 remaining (b = nan)
1155.77/572.88	c INFO: running precosat-570@0 for 97 with 4242 remaining (b = nan)
1156.15/572.93	c INFO: running precosat-570@0 for 97 with 4242 remaining (b = nan)
1156.15/572.97	c INFO: running precosat-570@0 for 97 with 4242 remaining (b = nan)
1156.15/573.00	c INFO: running precosat-570@0 for 97 with 4242 remaining (b = nan)
1554.81/673.09	c INFO: running precosat-570@0 for 97 with 4142 remaining (b = nan)
1555.22/673.13	c INFO: running precosat-570@0 for 97 with 4142 remaining (b = nan)

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

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317692-1304267284/watcher-3317692-1304267284 -o /tmp/evaluation-result-3317692-1304267284/solver-3317692-1304267284 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317692-1304267284.cnf -seed 344144970 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=11800 CPUtime=0 cores=0,2,4,6
/proc/20604/stat : 20604 (runsolver) D 20602 20604 20569 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538327670 12083200 55 33554432000 4194304 5434984 140733819342576 18446744073709551615 5055495 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/20604/statm: 2950 55 34 303 0 2644 0

[startup+0.020695 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=11800 CPUtime=0 cores=0,2,4,6
/proc/20604/stat : 20604 (runsolver) S 20602 20604 20569 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538327670 12083200 55 33554432000 4194304 5434984 140733819342576 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699215550 0 0 17 4 0 0 0
/proc/20604/statm: 2950 55 34 303 0 2644 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11800

[startup+0.100743 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 506 0 6 0 0 0 0 0 20 0 1 0 538327670 15175680 419 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594872039 0 2147483391 4096 0 18446744071699215550 0 0 17 4 0 0 4
/proc/20604/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820

[startup+0.300757 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 719 0 6 0 0 0 0 0 18 0 1 0 538327670 15548416 615 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 6
/proc/20604/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.700698 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 20606
/proc/meminfo: memFree=30707996/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/20604/stat : 20604 (python) D 20602 20604 20569 0 -1 4202496 814 0 6 0 0 0 0 0 16 0 1 0 538327670 15753216 704 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594866432 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 10
/proc/20604/statm: 3846 704 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384

[startup+1.50055 s]
/proc/loadavg: 0.16 0.03 0.01 2/178 20608
/proc/meminfo: memFree=30701908/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 1112 0 6 0 1 0 0 0 16 0 1 0 538327670 16789504 985 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 22
/proc/20604/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396

[startup+3.10027 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 20608
/proc/meminfo: memFree=30697900/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=85356 CPUtime=0.08 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 2561 0 21 0 6 2 0 0 16 0 1 0 538327670 87404544 2307 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 30
/proc/20604/statm: 21339 2307 707 364 0 1556 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85356
heavy processes:

[startup+6.3007 s]
/proc/loadavg: 0.31 0.07 0.02 2/178 20608
/proc/meminfo: memFree=30676316/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=119072 CPUtime=0.16 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 3874 0 37 0 9 7 0 0 15 0 1 0 538327670 121929728 3541 33554432000 4194304 5683644 140735138462032 18446744073709551615 235589942919 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 53
/proc/20604/statm: 29768 3541 940 364 0 2652 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 119072
heavy processes:

[startup+12.7006 s]
/proc/loadavg: 0.36 0.08 0.03 2/178 20616
/proc/meminfo: memFree=30653336/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=204088 CPUtime=0.39 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 7198 927 80 9 23 16 0 0 15 0 1 0 538327670 208986112 5301 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 91
/proc/20604/statm: 51022 5301 1496 364 0 4010 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 204088
heavy processes:

[startup+25.5003 s]
/proc/loadavg: 0.66 0.16 0.05 4/178 20616
/proc/meminfo: memFree=30073436/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=10.18 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121596 927 115 9 984 34 0 0 25 0 1 0 538327670 603541504 84736 33554432000 4194304 5683644 140735138462032 18446744073709551615 4571074 0 0 16781312 2 0 0 0 17 2 0 0 120
/proc/20604/statm: 147349 84736 1828 364 0 83273 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 589396
heavy processes:

[startup+51.1007 s]
/proc/loadavg: 1.11 0.30 0.10 4/178 20617
/proc/meminfo: memFree=30074084/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=35.78 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121597 927 115 9 3544 34 0 0 25 0 1 0 538327670 603541504 84737 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472684257488 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84737 1829 364 0 83273 0
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (KiB) 589396
heavy processes:

[startup+102.307 s]
/proc/loadavg: 1.61 0.56 0.20 4/178 20618
/proc/meminfo: memFree=30064352/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=86.98 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121603 927 115 9 8664 34 0 0 25 0 1 0 538327670 603541504 84743 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472676849792 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84743 1835 364 0 83273 0
Current children cumulated CPU time (s) 86.98
Current children cumulated vsize (KiB) 589396

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 4/178 20620
/proc/meminfo: memFree=30064576/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=146.97 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121603 927 115 9 14663 34 0 0 25 0 1 0 538327670 603541504 84743 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472676849792 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84743 1835 364 0 83273 0
Current children cumulated CPU time (s) 146.97
Current children cumulated vsize (KiB) 589396

[startup+222.3 s]
/proc/loadavg: 2.80 1.23 0.48 6/190 20634
/proc/meminfo: memFree=28567968/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=206.98 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121603 927 115 9 20664 34 0 0 25 0 1 0 538327670 603541504 84743 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472676849792 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84743 1835 364 0 83273 0
Current children cumulated CPU time (s) 206.98
Current children cumulated vsize (KiB) 589396

[startup+282.301 s]
/proc/loadavg: 4.30 1.94 0.77 6/190 20635
/proc/meminfo: memFree=28563484/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=266.98 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121603 927 115 9 26664 34 0 0 25 0 1 0 538327670 603541504 84743 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472676849804 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84743 1835 364 0 83273 0
Current children cumulated CPU time (s) 266.98
Current children cumulated vsize (KiB) 589396

[startup+342.3 s]
/proc/loadavg: 4.81 2.51 1.03 6/206 20653
/proc/meminfo: memFree=27033420/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=589396 CPUtime=326.98 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 121603 927 115 9 32664 34 0 0 25 0 1 0 538327670 603541504 84743 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472676849804 0 0 16781312 2 0 0 0 17 0 0 0 120
/proc/20604/statm: 147349 84743 1835 364 0 83273 0
Current children cumulated CPU time (s) 326.98
Current children cumulated vsize (KiB) 589396

[startup+402.301 s]
/proc/loadavg: 6.25 3.28 1.39 9/218 20666
/proc/meminfo: memFree=25422284/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=607028 CPUtime=357.27 cores=0,2,4,6
/proc/20604/stat : 20604 (python) S 20602 20604 20569 0 -1 4202496 124373 927 115 9 35690 37 0 0 25 0 5 0 538327670 621596672 78948 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 120
/proc/20604/statm: 151757 78948 1875 364 0 87666 0
[pid=20655] ppid=20604 vsize=566016 CPUtime=0.03 cores=0,2,4,6
/proc/20655/stat : 20655 (python) S 20604 20604 20569 0 -1 4202560 963 0 0 0 1 2 0 0 18 0 1 0 538364923 579600384 77438 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886671 0 0 16781312 514 1513438173215031556 0 0 17 4 0 0 0
/proc/20655/statm: 141504 77438 381 364 0 77422 0
[pid=20657] ppid=20655 vsize=421092 CPUtime=29.54 cores=0,2,4,6
/proc/20657/stat : 20657 (precosat) R 20655 20657 20657 0 -1 4202496 123099 0 0 0 2937 17 0 0 25 0 1 0 538364925 431198208 101729 33554432000 4194304 4890832 140736287073808 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/20657/statm: 105273 101729 86 171 0 105100 0
[pid=20658] ppid=20604 vsize=576272 CPUtime=0.04 cores=0,2,4,6
/proc/20658/stat : 20658 (python) S 20604 20604 20569 0 -1 4202560 906 0 0 0 2 2 0 0 18 0 1 0 538364926 590102528 77431 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886726 0 0 16781312 514 1513438173215031556 0 0 17 4 0 0 0
/proc/20658/statm: 144068 77431 370 364 0 79983 0
[pid=20660] ppid=20658 vsize=432912 CPUtime=29.71 cores=0,2,4,6
/proc/20660/stat : 20660 (precosat) R 20658 20660 20660 0 -1 4202496 126038 0 0 0 2953 18 0 0 25 0 1 0 538364927 443301888 104659 33554432000 4194304 4890832 140735780043792 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/20660/statm: 108228 104659 86 171 0 108055 0
[pid=20661] ppid=20604 vsize=586528 CPUtime=0.04 cores=0,2,4,6
/proc/20661/stat : 20661 (python) S 20604 20604 20569 0 -1 4202560 900 0 0 0 1 3 0 0 18 0 1 0 538364928 600604672 77435 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886726 0 0 16781312 514 1513438173215031556 0 0 17 2 0 0 0
/proc/20661/statm: 146632 77435 370 364 0 82544 0
[pid=20663] ppid=20661 vsize=412912 CPUtime=29.61 cores=0,2,4,6
/proc/20663/stat : 20663 (precosat) R 20661 20663 20663 0 -1 4202496 120836 0 0 0 2944 17 0 0 25 0 1 0 538364929 422821888 99442 33554432000 4194304 4890832 140737220903248 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/20663/statm: 103228 99442 86 171 0 103055 0
[pid=20664] ppid=20604 vsize=596784 CPUtime=0.04 cores=0,2,4,6
/proc/20664/stat : 20664 (python) S 20604 20604 20569 0 -1 4202560 910 0 0 0 2 2 0 0 18 0 1 0 538364930 611106816 77439 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886726 0 0 16781312 514 1513438173215031556 0 0 17 2 0 0 0
/proc/20664/statm: 149196 77439 370 364 0 85105 0
[pid=20666] ppid=20664 vsize=405532 CPUtime=29.59 cores=0,2,4,6
/proc/20666/stat : 20666 (precosat) R 20664 20666 20666 0 -1 4202496 118168 0 0 0 2942 17 0 0 25 0 1 0 538364931 415264768 97711 33554432000 4194304 4890832 140737322379744 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/20666/statm: 101383 97711 86 171 0 101210 0
[pid=20604/tid=20656] ppid=20602 vsize=607028 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20656/stat : 20656 (python) S 20602 20604 20569 0 -1 4202560 21 927 0 9 0 0 0 0 25 0 5 0 538364924 621596672 78948 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0

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

/proc/20604/task/20665/stat : 20665 (python) S 20602 20604 20569 0 -1 4202560 27 927 0 9 0 0 0 0 25 0 14 0 538364931 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 2 0 0 0
[pid=20604/tid=20688] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20688/stat : 20688 (python) S 20602 20604 20569 0 -1 4202560 22 927 0 9 0 0 0 0 20 0 14 0 538374941 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
[pid=20604/tid=20692] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20692/stat : 20692 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 22 0 14 0 538374945 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 2 0 0 0
[pid=20604/tid=20696] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20696/stat : 20696 (python) S 20602 20604 20569 0 -1 4202560 33 927 0 9 0 0 0 0 24 0 14 0 538374948 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20699] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20699/stat : 20699 (python) S 20602 20604 20569 0 -1 4202560 27 927 0 9 0 0 0 0 25 0 14 0 538374951 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20854] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20854/stat : 20854 (python) S 20602 20604 20569 0 -1 4202560 39 927 0 9 0 0 0 0 20 0 14 0 538384959 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20858] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20858/stat : 20858 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 21 0 14 0 538384964 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20863] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20863/stat : 20863 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 23 0 14 0 538384968 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20866] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20866/stat : 20866 (python) S 20602 20604 20569 0 -1 4202560 26 927 0 9 0 0 0 0 25 0 14 0 538384972 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
[pid=20604/tid=20878] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20878/stat : 20878 (python) S 20602 20604 20569 0 -1 4202560 24 927 0 9 0 0 0 0 20 0 14 0 538394980 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1555.22
Current children cumulated vsize (KiB) 15900772

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

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

[startup+673.102 s]
/proc/loadavg: 7.97 6.06 3.03 11/254 20879
/proc/meminfo: memFree=18680448/32950928 swapFree=67111404/67111528
[pid=20604] ppid=20602 vsize=699332 CPUtime=357.54 cores=0,2,4,6
/proc/20604/stat : 20604 (python) R 20602 20604 20569 0 -1 4202496 132592 927 115 9 35707 47 0 0 20 0 14 0 538327670 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 47472679601479 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 120
/proc/20604/statm: 174833 79003 1894 364 0 110715 0
[pid=20655] ppid=20604 vsize=576260 CPUtime=0.14 cores=0,2,4,6
/proc/20655/stat : 20655 (python) S 20604 20604 20569 0 -1 4202560 1154 0 0 0 7 7 0 0 19 0 2 0 538364923 590090240 77476 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20655/statm: 144065 77476 414 364 0 79983 0
[pid=20657] ppid=20655 vsize=577544 CPUtime=99.49 cores=0,2,4,6
/proc/20657/stat : 20657 (precosat) T 20655 20657 20657 0 -1 4202496 174874 0 0 0 9924 25 0 0 25 0 1 0 538364925 591405056 140599 33554432000 4194304 4890832 140736287073808 18446744073709551615 4238403 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20657/statm: 144386 140599 86 171 0 144213 0
[pid=20655/tid=20685] ppid=20604 vsize=576260 CPUtime=0 cores=0,2,4,6
/proc/20655/task/20685/stat : 20685 (python) S 20604 20604 20569 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538374939 590090240 77476 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453918989376 0 0 -1 4 0 0 0
[pid=20658] ppid=20604 vsize=576272 CPUtime=0.14 cores=0,2,4,6
/proc/20658/stat : 20658 (python) S 20604 20604 20569 0 -1 4202560 1086 0 0 0 7 7 0 0 19 0 2 0 538364926 590102528 77461 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20658/statm: 144068 77461 399 364 0 79983 0
[pid=20660] ppid=20658 vsize=583188 CPUtime=100.13 cores=0,2,4,6
/proc/20660/stat : 20660 (precosat) T 20658 20660 20660 0 -1 4202496 176345 0 0 0 9985 28 0 0 25 0 1 0 538364927 597184512 142061 33554432000 4194304 4890832 140735780043792 18446744073709551615 4238505 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/20660/statm: 145797 142061 86 171 0 145624 0
[pid=20658/tid=20687] ppid=20604 vsize=576272 CPUtime=0 cores=0,2,4,6
/proc/20658/task/20687/stat : 20687 (python) S 20604 20604 20569 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 538374941 590102528 77461 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453918986688 0 0 -1 4 0 0 0
[pid=20661] ppid=20604 vsize=586528 CPUtime=0.15 cores=0,2,4,6
/proc/20661/stat : 20661 (python) S 20604 20604 20569 0 -1 4202560 1086 0 0 0 7 8 0 0 19 0 2 0 538364928 600604672 77465 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/20661/statm: 146632 77465 399 364 0 82544 0
[pid=20663] ppid=20661 vsize=562724 CPUtime=99.85 cores=0,2,4,6
/proc/20663/stat : 20663 (precosat) T 20661 20663 20663 0 -1 4202496 171063 0 0 0 9960 25 0 0 25 0 1 0 538364929 576229376 136764 33554432000 4194304 4890832 140737220903248 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/20663/statm: 140681 136764 86 171 0 140508 0
[pid=20661/tid=20691] ppid=20604 vsize=586528 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20691/stat : 20691 (python) S 20604 20604 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538374945 600604672 77465 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453903974464 0 0 -1 2 0 0 0
[pid=20664] ppid=20604 vsize=596784 CPUtime=0.16 cores=0,2,4,6
/proc/20664/stat : 20664 (python) S 20604 20604 20569 0 -1 4202560 1098 0 0 0 9 7 0 0 19 0 2 0 538364930 611106816 77469 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/20664/statm: 149196 77469 399 364 0 85105 0
[pid=20666] ppid=20664 vsize=589320 CPUtime=99.84 cores=0,2,4,6
/proc/20666/stat : 20666 (precosat) T 20664 20666 20666 0 -1 4202496 177065 0 0 0 9960 24 0 0 25 0 1 0 538364931 603463680 143703 33554432000 4194304 4890832 140737322379744 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20666/statm: 147330 143703 86 171 0 147157 0
[pid=20664/tid=20694] ppid=20604 vsize=596784 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20694/stat : 20694 (python) S 20604 20604 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538374946 611106816 77469 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453903975360 0 0 -1 2 0 0 0
[pid=20686] ppid=20604 vsize=607040 CPUtime=0.15 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20604 20604 20569 0 -1 4202560 1110 0 0 0 8 7 0 0 19 0 2 0 538374941 621608960 77473 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 151760 77473 399 364 0 87666 0
[pid=20689] ppid=20686 vsize=588524 CPUtime=99.98 cores=0,2,4,6
/proc/20689/stat : 20689 (precosat) T 20686 20689 20689 0 -1 4202496 176610 0 0 0 9971 27 0 0 25 0 1 0 538374942 602648576 143467 33554432000 4194304 4890832 140735634188032 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/20689/statm: 147131 143467 86 171 0 146958 0
[pid=20686/tid=20852] ppid=20604 vsize=607040 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20852/stat : 20852 (python) S 20604 20604 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538384957 621608960 77473 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453983265792 0 0 -1 0 0 0 0
[pid=20690] ppid=20604 vsize=617296 CPUtime=0.15 cores=0,2,4,6
/proc/20690/stat : 20690 (python) S 20604 20604 20569 0 -1 4202560 1128 0 0 0 8 7 0 0 19 0 2 0 538374943 632111104 77486 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20690/statm: 154324 77486 408 364 0 90227 0
[pid=20693] ppid=20690 vsize=588176 CPUtime=100.12 cores=0,2,4,6
/proc/20693/stat : 20693 (precosat) T 20690 20693 20693 0 -1 4202496 176566 0 0 0 9979 33 0 0 25 0 1 0 538374945 602292224 143368 33554432000 4194304 4890832 140733784593840 18446744073709551615 4238327 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0
/proc/20693/statm: 147044 143368 86 171 0 146871 0
[pid=20690/tid=20856] ppid=20604 vsize=617296 CPUtime=0 cores=0,2,4,6
/proc/20690/task/20856/stat : 20856 (python) S 20604 20604 20569 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538384961 632111104 77486 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604452335258368 0 0 -1 4 0 0 0
[pid=20695] ppid=20604 vsize=627552 CPUtime=0.15 cores=0,2,4,6
/proc/20695/stat : 20695 (python) S 20604 20604 20569 0 -1 4202560 1159 0 0 0 8 7 0 0 19 0 2 0 538374947 642613248 77496 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20695/statm: 156888 77496 414 364 0 92788 0
[pid=20697] ppid=20695 vsize=592988 CPUtime=98.42 cores=0,2,4,6
/proc/20697/stat : 20697 (precosat) T 20695 20697 20697 0 -1 4202496 178580 0 0 0 9819 23 0 0 25 0 1 0 538374948 607219712 144418 33554432000 4194304 4890832 140737195325312 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20697/statm: 148247 144418 86 171 0 148074 0
[pid=20695/tid=20860] ppid=20604 vsize=627552 CPUtime=0 cores=0,2,4,6
/proc/20695/task/20860/stat : 20860 (python) S 20604 20604 20569 0 -1 4202560 89 0 0 0 0 0 0 0 19 0 2 0 538384964 642613248 77496 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453927223488 0 0 -1 6 0 0 0
[pid=20698] ppid=20604 vsize=637808 CPUtime=0.15 cores=0,2,4,6
/proc/20698/stat : 20698 (python) S 20604 20604 20569 0 -1 4202560 1171 0 0 0 7 8 0 0 19 0 2 0 538374949 653115392 77491 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20698/statm: 159452 77491 405 364 0 95349 0
[pid=20700] ppid=20698 vsize=582744 CPUtime=99.86 cores=0,2,4,6
/proc/20700/stat : 20700 (precosat) T 20698 20700 20700 0 -1 4202496 176121 0 0 0 9960 26 0 0 25 0 1 0 538374951 596729856 141921 33554432000 4194304 4890832 140734415928176 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/20700/statm: 145686 141921 86 171 0 145513 0
[pid=20698/tid=20861] ppid=20604 vsize=637808 CPUtime=0 cores=0,2,4,6
/proc/20698/task/20861/stat : 20861 (python) S 20604 20604 20569 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538384967 653115392 77491 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604440279245184 0 0 -1 4 0 0 0
[pid=20853] ppid=20604 vsize=648064 CPUtime=0.15 cores=0,2,4,6
/proc/20853/stat : 20853 (python) S 20604 20604 20569 0 -1 4202560 1131 0 0 0 8 7 0 0 19 0 2 0 538384958 663617536 77489 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/20853/statm: 162016 77489 399 364 0 97910 0
[pid=20855] ppid=20853 vsize=591476 CPUtime=99.98 cores=0,2,4,6
/proc/20855/stat : 20855 (precosat) T 20853 20855 20855 0 -1 4202496 178292 0 0 0 9974 24 0 0 25 0 1 0 538384960 605671424 144059 33554432000 4194304 4890832 140734512821808 18446744073709551615 4229338 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0
/proc/20855/statm: 147869 144059 86 171 0 147696 0
[pid=20853/tid=20875] ppid=20604 vsize=648064 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20875/stat : 20875 (python) S 20604 20604 20569 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538394977 663617536 77489 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453984906112 0 0 -1 2 0 0 0
[pid=20857] ppid=20604 vsize=658320 CPUtime=0.16 cores=0,2,4,6
/proc/20857/stat : 20857 (python) S 20604 20604 20569 0 -1 4202560 1146 0 0 0 8 8 0 0 19 0 2 0 538384963 674119680 77493 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606693323 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20857/statm: 164580 77493 399 364 0 100471 0
[pid=20859] ppid=20857 vsize=593052 CPUtime=98.49 cores=0,2,4,6
/proc/20859/stat : 20859 (precosat) T 20857 20859 20859 0 -1 4202496 178848 0 0 0 9821 28 0 0 25 0 1 0 538384964 607285248 144488 33554432000 4194304 4890832 140735789558976 18446744073709551615 4238673 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/20859/statm: 148263 144488 86 171 0 148090 0
[pid=20857/tid=20877] ppid=20604 vsize=658320 CPUtime=0 cores=0,2,4,6
/proc/20857/task/20877/stat : 20877 (python) S 20604 20604 20569 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538394979 674119680 77493 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 514 18446604453887433792 0 0 -1 4 0 0 0
[pid=20862] ppid=20604 vsize=668576 CPUtime=0.15 cores=0,2,4,6
/proc/20862/stat : 20862 (python) S 20604 20604 20569 0 -1 4202560 970 0 0 0 8 7 0 0 18 0 1 0 538384967 684621824 77467 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886726 0 0 16781312 514 1513438173215031555 0 0 17 4 0 0 0
/proc/20862/statm: 167144 77467 370 364 0 103032 0
[pid=20864] ppid=20862 vsize=588336 CPUtime=99.79 cores=0,2,4,6
/proc/20864/stat : 20864 (precosat) R 20862 20864 20864 0 -1 4202496 177719 0 0 0 9956 23 0 0 25 0 1 0 538384968 602456064 143481 33554432000 4194304 4890832 140734676669312 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/20864/statm: 147084 143481 86 171 0 146911 0
[pid=20865] ppid=20604 vsize=678832 CPUtime=0.14 cores=0,2,4,6
/proc/20865/stat : 20865 (python) S 20604 20604 20569 0 -1 4202560 983 0 0 0 7 7 0 0 18 0 1 0 538384970 695123968 77471 33554432000 4194304 5683644 140735138462032 18446744073709551615 235594886726 0 0 16781312 514 1513438173215031554 0 0 17 0 0 0 0
/proc/20865/statm: 169708 77471 370 364 0 105593 0
[pid=20867] ppid=20865 vsize=594948 CPUtime=99.94 cores=0,2,4,6
/proc/20867/stat : 20867 (precosat) R 20865 20867 20867 0 -1 4202496 182064 0 0 0 9968 26 0 0 25 0 1 0 538384972 609226752 147918 33554432000 4194304 4890832 140735787345344 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/20867/statm: 148737 147918 86 171 0 148564 0
[pid=20876] ppid=20604 vsize=689088 CPUtime=0 cores=0,2,4,6
/proc/20876/stat : 20876 (python) R 20604 20604 20569 0 -1 4202560 692 0 0 0 0 0 0 0 19 0 1 0 538394979 705626112 77410 33554432000 4194304 5683644 140735138462032 18446744073709551615 5291075 0 0 16781312 514 0 0 0 17 0 0 0 0
/proc/20876/statm: 172272 77411 306 364 0 108154 0
[pid=20604/tid=20656] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20656/stat : 20656 (python) S 20602 20604 20569 0 -1 4202560 21 927 0 9 0 0 0 0 25 0 14 0 538364924 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20659] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20659/stat : 20659 (python) S 20602 20604 20569 0 -1 4202560 22 927 0 9 0 0 0 0 25 0 14 0 538364926 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20662] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20662/stat : 20662 (python) S 20602 20604 20569 0 -1 4202560 20 927 0 9 0 0 0 0 25 0 14 0 538364928 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20665] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20665/stat : 20665 (python) S 20602 20604 20569 0 -1 4202560 27 927 0 9 0 0 0 0 25 0 14 0 538364931 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 2 0 0 0
[pid=20604/tid=20688] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20688/stat : 20688 (python) S 20602 20604 20569 0 -1 4202560 22 927 0 9 0 0 0 0 20 0 14 0 538374941 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
[pid=20604/tid=20692] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20692/stat : 20692 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 22 0 14 0 538374945 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 2 0 0 0
[pid=20604/tid=20696] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20696/stat : 20696 (python) S 20602 20604 20569 0 -1 4202560 33 927 0 9 0 0 0 0 24 0 14 0 538374948 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20699] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20699/stat : 20699 (python) S 20602 20604 20569 0 -1 4202560 27 927 0 9 0 0 0 0 25 0 14 0 538374951 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20854] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20854/stat : 20854 (python) S 20602 20604 20569 0 -1 4202560 39 927 0 9 0 0 0 0 20 0 14 0 538384959 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20858] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20858/stat : 20858 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 21 0 14 0 538384964 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20863] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20863/stat : 20863 (python) S 20602 20604 20569 0 -1 4202560 25 927 0 9 0 0 0 0 23 0 14 0 538384968 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 4 0 0 0
[pid=20604/tid=20866] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20866/stat : 20866 (python) S 20602 20604 20569 0 -1 4202560 26 927 0 9 0 0 0 0 25 0 14 0 538384972 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
[pid=20604/tid=20878] ppid=20602 vsize=699332 CPUtime=0 cores=0,2,4,6
/proc/20604/task/20878/stat : 20878 (python) S 20602 20604 20569 0 -1 4202560 24 927 0 9 0 0 0 0 20 0 14 0 538394980 716115968 79003 33554432000 4194304 5683644 140735138462032 18446744073709551615 235606690225 0 0 16781312 2 18446604453983264896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1555.22
Current children cumulated vsize (KiB) 15900772

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20604 and gives
#  childrusage.ru_utime.tv_sec=357
#  childrusage.ru_utime.tv_usec=257688
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=667898
# CPU time returned by wait4() is 357.926
# while last known CPU time is 1555.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 673.19
CPU time (s): 1555.22
CPU user time (s): 1550.76
CPU system time (s): 4.46
CPU usage (%): 231.022
Max. virtual memory (cumulated for all children) (KiB): 15900772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.258
system time used= 0.667898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136706
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24640
involuntary context switches= 910

runsolver used 1.65675 second user time and 4.16337 second system time

The end

Begin job on node120 at 2011-05-01 18:28:06
IDJOB=3317692
IDBENCH=20423
IDSOLVER=1706
FILE ID=node120/3317692-1304267284
RUNJOBID= node120-1304267283-20587
PBS_JOBID= 13173959
Free space on /tmp= 73240 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317692-1304267284/watcher-3317692-1304267284 -o /tmp/evaluation-result-3317692-1304267284/solver-3317692-1304267284 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317692-1304267284.cnf -seed 344144970 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=344144970

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:      30708416 kB
Buffers:        564500 kB
Cached:        1249880 kB
SwapCached:          8 kB
Active:         842392 kB
Inactive:      1035636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30708416 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:          113848 kB
Writeback:           0 kB
AnonPages:       63552 kB
Mapped:          14748 kB
Slab:           300560 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186776 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= 73196 MiB
End job on node120 at 2011-05-01 18:39:24