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/354405-1176707907/instance-354405-1176707907.opb
0.00/0.00	c File size is 1370837 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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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 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 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 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 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 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 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 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 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 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 Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.20	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.21	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Coefficients are big enough for not using lower bounding.
0.19/0.22	c Highest Coefficient sum: 4.80394e+15
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.222 s
0.19/0.23	c Var: 23808 Constr: 1324 0/0/1324 Lit: 103488 Watch. Lit: 35912
0.19/0.23	c Obj. Vars: 7968 (33.4677 % of total variables)
3.40/3.46	c Pre-processing Time: 3.461 s
1799.99/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.60	c        0   8316     1324   103488   78    75747  206976      0      0 3.46
1799.99/1800.60	c      100   8316     1424   106504   74    75905  227674    100     28 3.51
1799.99/1800.60	c      250   8316     1574   111040   70    76206  250442    250     70 3.56
1799.99/1800.60	c      476   8316     1800   117754   65    76658  275487    476    129 3.66
1799.99/1800.60	c      814   8316     2138   128006   59    77334  303036    814    215 3.78
1799.99/1800.60	c     1323   8316     2647   143160   54    78352  333340   1323    329 4.01
1799.99/1800.60	c     2087   8316     3411   166021   48    79880  366675   2087    478 4.36
1799.99/1800.60	c     3233   8316     4557   200401   43    82174  403343   3233    660 4.90
1799.99/1800.60	c     4955   8316     6279   252228   40    85618  443678   4955    856 5.78
1799.99/1800.60	c     7540   8316     8864   330363   37    90789  488046   7540    975 7.73
1799.99/1800.60	c    11420   8316    12744   448158   35    98549  536851  11420    975 11.70
1799.99/1800.60	c    17242   8316    18566   624618   33   110195  590537  17242    812 21.21
1799.99/1800.60	c    25980   8316    27304   894998   32   127670  649591  25980    583 44.50
1799.99/1800.60	c    39091   8316    40415  1299910   32   153882  714551  39091    436 89.61
1799.99/1800.60	c    58763   8316    60087  1901813   31   193237  786007  58763    326 180.01
1799.99/1800.60	c    88273   8316    89597  2803083   31   252257  864608  88273    219 401.30
1799.99/1800.60	c   132543   8316   133867  4162917   31   340798  951069 132543    151 873.47
1799.99/1800.60	c   198953   8316   200277  6226571   31   473620  500000 198953    125 1589.09
1799.99/1800.60	c Resources Exceeded
1799.99/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.60	c   17   212196      1   212518   213520  6639126 212196    117 1800.00
1799.99/1800.60	s UNKNOWN
1799.99/1800.60	c Total time: 1800 s

ERROR: no interpretation found !

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-354405-1176707907 -o ROOT/results/node22/solver-354405-1176707907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354405-1176707907/instance-354405-1176707907.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: 0.78 0.95 0.98 3/77 13095
/proc/meminfo: memFree=1781224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=13076 CPUtime=0
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 118708397 13389824 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 3269 337 282 324 0 2003 0

[startup+0.101773 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 13095
/proc/meminfo: memFree=1781224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=7552 CPUtime=0.09
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 1106 0 0 0 9 0 0 0 18 0 1 0 118708397 7733248 1034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 1888 1034 433 324 0 622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7552

[startup+0.201787 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 13095
/proc/meminfo: memFree=1781224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=8172 CPUtime=0.19
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 1410 0 0 0 19 0 0 0 18 0 1 0 118708397 8368128 1338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 2043 1338 579 324 0 777 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8172

[startup+0.301803 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 13095
/proc/meminfo: memFree=1781224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=10900 CPUtime=0.29
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 2417 0 0 0 28 1 0 0 19 0 1 0 118708397 11161600 2010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 2725 2010 306 324 0 1794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10900

[startup+0.701864 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 13095
/proc/meminfo: memFree=1781224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=10900 CPUtime=0.69
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 2417 0 0 0 68 1 0 0 23 0 1 0 118708397 11161600 2010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 2725 2010 306 324 0 1794 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10900

[startup+1.50199 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 13096
/proc/meminfo: memFree=1774304/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=10900 CPUtime=1.49
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 2417 0 0 0 148 1 0 0 25 0 1 0 118708397 11161600 2010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 2725 2010 306 324 0 1794 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10900

[startup+3.10123 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 13096
/proc/meminfo: memFree=1774176/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=10900 CPUtime=3.08
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 2417 0 0 0 307 1 0 0 25 0 1 0 118708397 11161600 2010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 2725 2010 306 324 0 1794 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10900

[startup+6.30172 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 13096
/proc/meminfo: memFree=1771872/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=13852 CPUtime=6.29
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 3552 0 0 0 625 4 0 0 25 0 1 0 118708397 14184448 2743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 3463 2743 312 324 0 2532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13852

[startup+12.7017 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 13096
/proc/meminfo: memFree=1768168/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=16960 CPUtime=12.68
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 4345 0 0 0 1263 5 0 0 25 0 1 0 118708397 17367040 3536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 4240 3536 312 324 0 3309 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16960

[startup+25.5017 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 13096
/proc/meminfo: memFree=1764648/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=20480 CPUtime=25.48
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 5213 0 0 0 2540 8 0 0 25 0 1 0 118708397 20971520 4404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 5120 4404 312 324 0 4189 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20480

[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 13096
/proc/meminfo: memFree=1760168/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=25024 CPUtime=51.07
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 6341 0 0 0 5096 11 0 0 25 0 1 0 118708397 25624576 5532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 6256 5532 312 324 0 5325 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25024

[startup+102.301 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 13096
/proc/meminfo: memFree=1753192/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=31900 CPUtime=102.26
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 8064 0 0 0 10209 17 0 0 25 0 1 0 118708397 32665600 7255 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 7975 7255 312 324 0 7044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31900

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1746280/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=38792 CPUtime=162.23
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 9813 0 0 0 16201 22 0 0 25 0 1 0 118708397 39723008 9004 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 9698 9004 312 324 0 8767 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 38792

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1741416/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=43712 CPUtime=222.22
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 11022 0 0 0 22196 26 0 0 25 0 1 0 118708397 44761088 10213 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 10928 10213 312 324 0 9997 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 43712

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1737000/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=47988 CPUtime=282.2
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 12109 0 0 0 28190 30 0 0 25 0 1 0 118708397 49139712 11300 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 11997 11300 312 324 0 11066 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 47988

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1733224/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=51752 CPUtime=342.18
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 13050 0 0 0 34185 33 0 0 25 0 1 0 118708397 52994048 12241 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 12938 12241 312 324 0 12007 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 51752

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1729576/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=55404 CPUtime=402.16
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 13953 0 0 0 40179 37 0 0 25 0 1 0 118708397 56733696 13144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 13851 13144 312 324 0 12920 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 55404

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1726184/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=58788 CPUtime=462.13
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 14788 0 0 0 46174 39 0 0 25 0 1 0 118708397 60198912 13979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5109589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 14697 13979 312 324 0 13766 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 58788

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1722856/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=62048 CPUtime=522.11
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 15613 0 0 0 52170 41 0 0 25 0 1 0 118708397 63537152 14804 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 15512 14804 312 324 0 14581 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 62048

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1719848/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=65048 CPUtime=582.1
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 16353 0 0 0 58165 45 0 0 25 0 1 0 118708397 66609152 15544 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 16262 15544 312 324 0 15331 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 65048

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13096
/proc/meminfo: memFree=1717096/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=67772 CPUtime=642.08
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 17044 0 0 0 64159 49 0 0 25 0 1 0 118708397 69398528 16235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 16943 16235 312 324 0 16012 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 67772


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

/proc/meminfo: memFree=1698216/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=86480 CPUtime=1061.93
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 21733 0 0 0 106125 68 0 0 25 0 1 0 118708397 88555520 20924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 21620 20924 312 324 0 20689 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 86480

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13098
/proc/meminfo: memFree=1695016/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=89592 CPUtime=1121.92
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 22499 0 0 0 112121 71 0 0 25 0 1 0 118708397 91742208 21690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 22398 21690 312 324 0 21467 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 89592

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13098
/proc/meminfo: memFree=1692392/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=92196 CPUtime=1181.9
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 23152 0 0 0 118117 73 0 0 25 0 1 0 118708397 94408704 22343 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 23049 22343 312 324 0 22118 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 92196

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13098
/proc/meminfo: memFree=1689384/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=95184 CPUtime=1241.87
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 23896 0 0 0 124112 75 0 0 25 0 1 0 118708397 97468416 23087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 23796 23087 312 324 0 22865 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 95184

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13098
/proc/meminfo: memFree=1686120/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=98432 CPUtime=1301.86
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 24713 0 0 0 130106 80 0 0 25 0 1 0 118708397 100794368 23904 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 24608 23904 312 324 0 23677 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 98432

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13098
/proc/meminfo: memFree=1683112/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=101424 CPUtime=1361.83
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 25446 0 0 0 136101 82 0 0 25 0 1 0 118708397 103858176 24637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 25356 24637 312 324 0 24425 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 101424

[startup+1422.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1680680/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=103884 CPUtime=1421.82
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 26062 0 0 0 142097 85 0 0 25 0 1 0 118708397 106377216 25253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5111580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 25971 25253 312 324 0 25040 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 103884

[startup+1482.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1677992/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=106616 CPUtime=1481.79
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 26755 0 0 0 148091 88 0 0 25 0 1 0 118708397 109174784 25946 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 26654 25946 312 324 0 25723 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 106616

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1675112/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=109468 CPUtime=1541.78
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 27475 0 0 0 154087 91 0 0 25 0 1 0 118708397 112095232 26666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 27367 26666 312 324 0 26436 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 109468

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1672616/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=111932 CPUtime=1601.76
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 28094 0 0 0 160082 94 0 0 25 0 1 0 118708397 114618368 27285 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 27983 27285 312 324 0 27052 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 111932

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1670760/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=113748 CPUtime=1661.74
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 28544 0 0 0 166078 96 0 0 25 0 1 0 118708397 116477952 27735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 28437 27735 312 324 0 27506 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 113748

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1668904/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=115700 CPUtime=1721.72
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29009 0 0 0 172073 99 0 0 25 0 1 0 118708397 118476800 28200 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 28925 28200 312 324 0 27994 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 115700

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666792/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=117776 CPUtime=1781.7
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29533 0 0 0 178068 102 0 0 25 0 1 0 118708397 120602624 28724 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29444 28724 312 324 0 28513 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 117776

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

[startup+1792.01 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666472/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118044 CPUtime=1791.4
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29615 0 0 0 179038 102 0 0 25 0 1 0 118708397 120877056 28806 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29511 28806 312 324 0 28580 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 118044

[startup+1795.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666344/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118176 CPUtime=1794.6
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29640 0 0 0 179358 102 0 0 25 0 1 0 118708397 121012224 28831 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29544 28831 312 324 0 28613 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 118176

[startup+1798.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666280/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118308 CPUtime=1797.79
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29664 0 0 0 179677 102 0 0 25 0 1 0 118708397 121147392 28855 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29577 28855 312 324 0 28646 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 118308

[startup+1800 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666216/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118308 CPUtime=1799.39
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29677 0 0 0 179837 102 0 0 25 0 1 0 118708397 121147392 28868 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29577 28868 312 324 0 28646 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 118308

[startup+1800.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666216/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118308 CPUtime=1799.79
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29680 0 0 0 179877 102 0 0 25 0 1 0 118708397 121147392 28871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29577 28871 312 324 0 28646 0
Current children cumulated CPU time (s) 1799.79
Current children cumulated vsize (KiB) 118308

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13098
/proc/meminfo: memFree=1666216/2055920 swapFree=4168648/4192956
[pid=13095] ppid=13093 vsize=118308 CPUtime=1799.99
/proc/13095/stat : 13095 (bsolo3.0.16) R 13093 13095 13035 0 -1 4194304 29682 0 0 0 179897 102 0 0 25 0 1 0 118708397 121147392 28873 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13095/statm: 29577 28873 312 324 0 28646 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 118308

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.03
CPU user time (s): 1798.98
CPU system time (s): 1.04584
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 118308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 20027

runsolver used 2.14667 second user time and 4.24835 second system time

The end

Begin job on node22 on Mon Apr 16 07:18:27 UTC 2007

IDJOB= 354405
IDBENCH= 2512
IDSOLVER= 163
FILE ID= node22/354405-1176707907

PBS_JOBID= 4560090

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  42437a98f8f475fdcbcf3676beea9d9f

RANDOM SEED= 452014193

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1781696 kB
Buffers:         57744 kB
Cached:         123644 kB
SwapCached:       2144 kB
Active:          46124 kB
Inactive:       159288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781696 kB
SwapTotal:     4192956 kB
SwapFree:      4168648 kB
Dirty:            5932 kB
Writeback:           0 kB
Mapped:          30232 kB
Slab:            54464 kB
Committed_AS:  1667580 kB
PageTables:       1676 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= 66550 MiB

End job on node22 on Mon Apr 16 07:48:28 UTC 2007