0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/349589-1176710372/instance-349589-1176710372.opb
0.00/0.00	c File size is 902816 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.00/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Highest Coefficient sum: 1.44204e+17
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.124 s
0.09/0.13	c Var: 15504 Constr: 1536 264/0/1272 Lit: 68064 Watch. Lit: 19824
0.09/0.13	c Obj. Vars: 8784 (56.6563 % of total variables)
0.79/0.85	c Pre-processing Time: 0.851 s
1799.91/1800.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.59	c        0   8751     1536    68064   44    53108  134920      0      0 0.85
1799.91/1800.59	c      100   8751     1636    78304   47    53413  148413    100    111 0.90
1799.91/1800.59	c      250   8751     1786    94832   53    53723  163255    250    273 0.91
1799.91/1800.59	c      475   8751     2011   119784   59    54167  179581    475    505 0.94
1799.91/1800.59	c      814   8751     2350   157255   66    54843  197540    814    824 0.99
1799.91/1800.59	c     1322   8751     2858   213189   74    55865  217295   1322   1220 1.08
1799.91/1800.59	c     2086   8751     3622   297801   82    57396  239025   2086   1671 1.25
1799.91/1800.59	c     3233   8751     4769   425874   89    59680  262928   3233   2006 1.61
1799.91/1800.59	c     4956   8751     6492   619033   95    63126  289221   4956   2221 2.23
1799.91/1800.59	c     7540   8751     9076   902131   99    68294  318144   7540   2088 3.61
1799.91/1800.59	c    11420   8751    12956  1336568  103    76055  349959  11420   1223 9.33
1799.91/1800.59	c    17243   8751    18779  1988580  105    87695  384955  17243    838 20.57
1799.91/1800.59	c    25980   8751    27516  2967775  107   105186  423451  25980    564 46.00
1799.91/1800.59	c    39090   8751    40626  4436049  109   131397  465797  39090    355 109.88
1799.91/1800.59	c    58761   8751    60297  6640227  110   170739  512377  58761    256 229.07
1799.91/1800.59	c    88272   8751    89808  9945909  110   229757  563615  88272    175 503.12
1799.91/1800.59	c   132543   8751   134079 14917064  111   318298  619977 132543    139 953.42
1799.91/1800.59	c Resources Exceeded
1799.91/1800.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.59	c   16   184574     18   188329   186110 20752688 184574    102 1800.01
1799.91/1800.59	s UNKNOWN
1799.91/1800.59	c Total time: 1800.01 s

ERROR: no interpretation found !

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-349589-1176710372 -o ROOT/results/node12/solver-349589-1176710372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349589-1176710372/instance-349589-1176710372.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.56 1.14 1.05 3/77 17522
/proc/meminfo: memFree=1852920/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=3828 CPUtime=0
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 159 0 1 0 0 0 0 0 18 0 1 0 147074574 3919872 139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9665400 0 0 4096 0 0 0 0 17 0 0 0
/proc/17522/statm: 957 139 116 324 0 14 0

[startup+0.103252 s]
/proc/loadavg: 1.56 1.14 1.05 3/77 17522
/proc/meminfo: memFree=1852920/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=6636 CPUtime=0.09
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 1002 0 1 0 9 0 0 0 18 0 1 0 147074574 6795264 971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 1659 971 460 324 0 507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.201261 s]
/proc/loadavg: 1.56 1.14 1.05 3/77 17522
/proc/meminfo: memFree=1852920/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=8588 CPUtime=0.18
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 1727 0 1 0 18 0 0 0 18 0 1 0 147074574 8794112 1475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 2147 1475 306 324 0 1216 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8588

[startup+0.301271 s]
/proc/loadavg: 1.56 1.14 1.05 3/77 17522
/proc/meminfo: memFree=1852920/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=8588 CPUtime=0.28
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 1731 0 1 0 28 0 0 0 19 0 1 0 147074574 8794112 1479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 2147 1479 306 324 0 1216 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8588

[startup+0.701311 s]
/proc/loadavg: 1.56 1.14 1.05 3/77 17522
/proc/meminfo: memFree=1852920/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=8588 CPUtime=0.68
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 1732 0 1 0 68 0 0 0 23 0 1 0 147074574 8794112 1480 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 2147 1480 306 324 0 1216 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8588

[startup+1.50139 s]
/proc/loadavg: 1.56 1.14 1.05 2/78 17523
/proc/meminfo: memFree=1846128/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=13080 CPUtime=1.49
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 3127 0 1 0 146 3 0 0 25 0 1 0 147074574 13393920 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 3270 2610 312 324 0 2339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13080

[startup+3.10155 s]
/proc/loadavg: 1.56 1.14 1.05 2/78 17523
/proc/meminfo: memFree=1840752/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=18740 CPUtime=3.09
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 4551 0 1 0 306 3 0 0 25 0 1 0 147074574 19189760 4034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 4685 4034 312 324 0 3754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18740

[startup+6.30187 s]
/proc/loadavg: 1.51 1.14 1.05 2/78 17523
/proc/meminfo: memFree=1834424/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=23240 CPUtime=6.28
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 5664 0 1 0 624 4 0 0 25 0 1 0 147074574 23797760 5147 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10128892 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17522/statm: 5810 5147 312 324 0 4879 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23240

[startup+12.7015 s]
/proc/loadavg: 1.47 1.14 1.04 2/78 17523
/proc/meminfo: memFree=1828992/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=28792 CPUtime=12.67
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 7070 0 1 0 1261 6 0 0 25 0 1 0 147074574 29483008 6553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 7198 6553 312 324 0 6267 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28792

[startup+25.5026 s]
/proc/loadavg: 1.37 1.13 1.04 2/78 17523
/proc/meminfo: memFree=1819392/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=38228 CPUtime=25.47
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 9401 0 1 0 2536 11 0 0 25 0 1 0 147074574 39145472 8884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 9557 8884 312 324 0 8626 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38228

[startup+51.1012 s]
/proc/loadavg: 1.24 1.12 1.04 2/78 17523
/proc/meminfo: memFree=1807680/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=49984 CPUtime=51.06
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 12363 0 1 0 5090 16 0 0 25 0 1 0 147074574 51183616 11846 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 12496 11846 312 324 0 11565 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49984

[startup+102.302 s]
/proc/loadavg: 1.10 1.10 1.04 2/84 17605
/proc/meminfo: memFree=1789704/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=66352 CPUtime=102.22
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 16453 0 1 0 10199 23 0 0 25 0 1 0 147074574 67944448 15936 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 16588 15936 312 324 0 15657 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 66352

[startup+162.301 s]
/proc/loadavg: 1.04 1.08 1.03 2/78 17721
/proc/meminfo: memFree=1774592/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=82584 CPUtime=162.13
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 20488 0 1 0 16182 31 0 0 25 0 1 0 147074574 84566016 19971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 20646 19971 312 324 0 19715 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 82584

[startup+222.306 s]
/proc/loadavg: 1.01 1.06 1.02 2/78 17721
/proc/meminfo: memFree=1760000/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=97000 CPUtime=222.12
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 24116 0 1 0 22174 38 0 0 25 0 1 0 147074574 99328000 23599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 24250 23599 312 324 0 23319 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 97000

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/78 17721
/proc/meminfo: memFree=1750400/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=106676 CPUtime=282.1
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 26523 0 1 0 28168 42 0 0 25 0 1 0 147074574 109236224 26006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 26669 26006 312 324 0 25738 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 106676

[startup+342.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 17721
/proc/meminfo: memFree=1739712/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=117280 CPUtime=342.09
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 29164 0 1 0 34162 47 0 0 25 0 1 0 147074574 120094720 28647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 29320 28647 312 324 0 28389 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 117280

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/78 17721
/proc/meminfo: memFree=1729152/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=127864 CPUtime=402.07
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 31813 0 1 0 40155 52 0 0 25 0 1 0 147074574 130932736 31296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 31966 31296 312 324 0 31035 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 127864

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17721
/proc/meminfo: memFree=1719552/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=137268 CPUtime=462.06
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 34181 0 1 0 46148 58 0 0 25 0 1 0 147074574 140562432 33664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 34317 33664 312 324 0 33386 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 137268

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17721
/proc/meminfo: memFree=1710528/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=146300 CPUtime=522.03
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 36430 0 1 0 52141 62 0 0 25 0 1 0 147074574 149811200 35913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 36575 35913 312 324 0 35644 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 146300

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 17721
/proc/meminfo: memFree=1701184/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=155464 CPUtime=582.02
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 38724 0 1 0 58135 67 0 0 25 0 1 0 147074574 159195136 38207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 38866 38207 312 324 0 37935 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 155464

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1690368/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=166300 CPUtime=642
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 41432 0 1 0 64128 72 0 0 25 0 1 0 147074574 170291200 40915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 41575 40915 312 324 0 40644 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 166300


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1654336/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=201776 CPUtime=881.95
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 50304 0 1 0 88105 90 0 0 25 0 1 0 147074574 206618624 49787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 50444 49787 312 324 0 49513 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 201776

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1645632/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=210540 CPUtime=941.93
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 52483 0 1 0 94099 94 0 0 25 0 1 0 147074574 215592960 51966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 52635 51966 312 324 0 51704 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 210540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1639232/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=216736 CPUtime=1001.91
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 54040 0 1 0 100093 98 0 0 25 0 1 0 147074574 221937664 53523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 54184 53523 312 324 0 53253 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 216736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1630912/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=224984 CPUtime=1061.9
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 56096 0 1 0 106087 103 0 0 25 0 1 0 147074574 230383616 55579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551693 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 56246 55579 312 324 0 55315 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 224984

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1625472/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=230400 CPUtime=1121.88
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 57449 0 1 0 112082 106 0 0 25 0 1 0 147074574 235929600 56932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 57600 56932 312 324 0 56669 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 230400

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1619776/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=235928 CPUtime=1181.87
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 58854 0 1 0 118077 110 0 0 25 0 1 0 147074574 241590272 58337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 58982 58337 312 324 0 58051 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 235928

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1614272/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=241228 CPUtime=1241.86
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 60169 0 1 0 124073 113 0 0 25 0 1 0 147074574 247017472 59652 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 60307 59652 312 324 0 59376 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 241228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1608576/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=246916 CPUtime=1301.84
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 61596 0 1 0 130068 116 0 0 25 0 1 0 147074574 252841984 61079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 61729 61079 312 324 0 60798 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 246916

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1603200/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=252200 CPUtime=1361.83
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 62900 0 1 0 136064 119 0 0 25 0 1 0 147074574 258252800 62383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 63050 62383 312 324 0 62119 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 252200

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1596672/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=258516 CPUtime=1421.81
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 64499 0 1 0 142059 122 0 0 25 0 1 0 147074574 264720384 63982 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 64629 63982 312 324 0 63698 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 258516

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1589824/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=265464 CPUtime=1481.8
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 66219 0 1 0 148054 126 0 0 25 0 1 0 147074574 271835136 65702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 66366 65702 312 324 0 65435 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 265464

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1584896/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=270240 CPUtime=1541.78
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 67410 0 1 0 154050 128 0 0 25 0 1 0 147074574 276725760 66893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 67560 66893 312 324 0 66629 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 270240

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1579904/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=275256 CPUtime=1601.77
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 68669 0 1 0 160045 132 0 0 25 0 1 0 147074574 281862144 68152 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 68814 68152 312 324 0 67883 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 275256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1574976/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=280016 CPUtime=1661.75
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 69857 0 1 0 166040 135 0 0 25 0 1 0 147074574 286736384 69340 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 70004 69340 312 324 0 69073 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 280016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1569856/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=285040 CPUtime=1721.74
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 71127 0 1 0 172035 139 0 0 25 0 1 0 147074574 291880960 70610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 71260 70610 312 324 0 70329 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 285040

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1563904/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=290728 CPUtime=1781.72
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194304 72546 0 1 0 178031 141 0 0 25 0 1 0 147074574 297705472 72029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 72682 72029 312 324 0 71751 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 290728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1612800/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=0 CPUtime=1800.02
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194308 72941 0 1 0 179859 143 0 0 25 0 1 0 147074574 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17721
/proc/meminfo: memFree=1612800/2055920 swapFree=4169032/4192956
[pid=17522] ppid=17520 vsize=0 CPUtime=1800.02
/proc/17522/stat : 17522 (bsolo3.0.16) R 17520 17522 17036 0 -1 4194308 72941 0 1 0 179859 143 0 0 25 0 1 0 147074574 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17522/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.06
CPU user time (s): 1798.59
CPU system time (s): 1.47278
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 292280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.47278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72941
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 3357

runsolver used 2.03869 second user time and 4.46432 second system time

The end

Begin job on node12 on Mon Apr 16 07:59:32 UTC 2007

IDJOB= 349589
IDBENCH= 2545
IDSOLVER= 163
FILE ID= node12/349589-1176710372

PBS_JOBID= 4559437

Free space on /tmp= 66353 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349589-1176710372/instance-349589-1176710372.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-349589-1176710372 -o ROOT/results/node12/solver-349589-1176710372 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349589-1176710372/instance-349589-1176710372.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  65c2bbddd90efb87154e28c84e06f5c3

RANDOM SEED= 758713809

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1853584 kB
Buffers:          2784 kB
Cached:         114180 kB
SwapCached:       2172 kB
Active:          51392 kB
Inactive:        99744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853584 kB
SwapTotal:     4192956 kB
SwapFree:      4169032 kB
Dirty:            6000 kB
Writeback:           0 kB
Mapped:          41636 kB
Slab:            36692 kB
Committed_AS:  4253736 kB
PageTables:       1824 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66353 MiB

End job on node12 on Mon Apr 16 08:29:35 UTC 2007