0.00/0.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb
0.00/0.01	c File size is 930375 bytes.
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.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.04	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.05	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.06	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.07	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.08	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.09	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.03/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.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.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.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.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Highest Coefficient sum: 1.80198e+17
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.138 s
0.09/0.15	c Var: 16224 Constr: 1608 384/0/1224 Lit: 69192 Watch. Lit: 19080
0.09/0.15	c Obj. Vars: 10368 (63.9053 % of total variables)
0.78/0.88	c Pre-processing Time: 0.878 s
1799.97/1800.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.64	c        0   9010     1608    69192   43    53398  136687      0      0 0.88
1799.97/1800.64	c      101   9010     1709    79407   46    53867  150356    101    105 0.96
1799.97/1800.64	c      253   9010     1861    88493   47    54174  165392    253    253 1.00
1799.97/1800.64	c      478   9010     2086    98504   47    54621  181932    478    459 1.04
1799.97/1800.64	c      816   9010     2424   112585   46    55280  200126    816    722 1.13
1799.97/1800.64	c     1326   9010     2934   137197   46    56322  220139   1326   1035 1.28
1799.97/1800.64	c     2091   9010     3699   227159   61    57808  242153   2091   1392 1.50
1799.97/1800.64	c     3238   9010     4846   370705   76    60102  266369   3238   1814 1.78
1799.97/1800.64	c     4960   9010     6568   586403   89    63548  293006   4960   2020 2.46
1799.97/1800.64	c     7544   9010     9152   907806   99    68711  322307   7544   1799 4.19
1799.97/1800.64	c    11423   9010    13031  1391904  106    76457  354538  11423   1323 8.63
1799.97/1800.64	c    17247   9010    18855  2119925  112    88119  389992  17247   1072 16.09
1799.97/1800.64	c    25984   9010    27592  3212913  116   105577  428992  25984    791 32.84
1799.97/1800.64	c    39094   9010    40702  5124358  125   131692  471892  39094    777 50.27
1799.97/1800.64	c    58766   9010    60374  8359649  138   171028  519082  58766    630 93.19
1799.97/1800.64	c    88276   9010    89884 13238477  147   230056  570991  88276    472 186.68
1799.97/1800.64	c   132546   9010   134154 20553421  153   318588  628091 132546    219 603.85
1799.97/1800.64	c   198956   9010   200564 31526100  157   451420  690901 198956    132 1500.51
1799.97/1800.64	c Resources Exceeded
1799.97/1800.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.64	c   17   214779    268   233640   216387 34140640 214779    119 1800.03
1799.97/1800.64	s UNKNOWN
1799.97/1800.64	c Total time: 1800.03 s

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 1.05 1.05 1.00 3/64 9500
/proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=3780 CPUtime=0
/proc/9500/stat : 9500 (bsolo3.0.16) D 9498 9500 9075 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 118804829 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/9500/statm: 945 155 129 324 0 14 0

[startup+0.048093 s]
/proc/loadavg: 1.05 1.05 1.00 3/64 9500
/proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=6080 CPUtime=0.03
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 735 0 3 0 3 0 0 0 18 0 1 0 118804829 6225920 706 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 1520 706 351 324 0 361 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6080

[startup+0.101098 s]
/proc/loadavg: 1.05 1.05 1.00 3/64 9500
/proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=6612 CPUtime=0.09
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 965 0 3 0 9 0 0 0 18 0 1 0 118804829 6770688 936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 1653 936 436 324 0 494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6612

[startup+0.301119 s]
/proc/loadavg: 1.05 1.05 1.00 3/64 9500
/proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=8704 CPUtime=0.28
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 1763 0 3 0 27 1 0 0 19 0 1 0 118804829 8912896 1506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 2176 1506 306 324 0 1245 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8704

[startup+0.70116 s]
/proc/loadavg: 1.05 1.05 1.00 3/64 9500
/proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=8704 CPUtime=0.68
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 1764 0 3 0 67 1 0 0 22 0 1 0 118804829 8912896 1507 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 2176 1507 306 324 0 1245 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8704

[startup+1.50124 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 9501
/proc/meminfo: memFree=1668088/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=10888 CPUtime=1.48
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 2593 0 3 0 146 2 0 0 25 0 1 0 118804829 11149312 2063 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 2722 2063 312 324 0 1791 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10888

[startup+3.10141 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 9501
/proc/meminfo: memFree=1662776/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=17448 CPUtime=3.09
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 4242 0 3 0 305 4 0 0 25 0 1 0 118804829 17866752 3712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 4362 3712 312 324 0 3431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17448

[startup+6.30173 s]
/proc/loadavg: 1.04 1.05 1.00 2/65 9501
/proc/meminfo: memFree=1654776/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=23900 CPUtime=6.28
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 5840 0 3 0 623 5 0 0 25 0 1 0 118804829 24473600 5310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 5975 5310 312 324 0 5044 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23900

[startup+12.7014 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 9501
/proc/meminfo: memFree=1645560/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=32672 CPUtime=12.67
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 8033 0 3 0 1260 7 0 0 25 0 1 0 118804829 33456128 7503 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 8168 7503 312 324 0 7237 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32672

[startup+25.5017 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 9501
/proc/meminfo: memFree=1632376/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=45184 CPUtime=25.47
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 11175 0 3 0 2535 12 0 0 25 0 1 0 118804829 46268416 10645 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 11296 10645 312 324 0 10365 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45184

[startup+51.1013 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 9501
/proc/meminfo: memFree=1599416/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=79196 CPUtime=51.06
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 19650 0 3 0 5086 20 0 0 25 0 1 0 118804829 81096704 19120 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 19799 19120 312 324 0 18868 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79196

[startup+102.306 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 9501
/proc/meminfo: memFree=1543032/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=134280 CPUtime=102.25
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 33438 0 3 0 10189 36 0 0 25 0 1 0 118804829 137502720 32908 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 33570 32908 312 324 0 32639 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 134280

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9501
/proc/meminfo: memFree=1501880/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=175576 CPUtime=162.22
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 43750 0 3 0 16172 50 0 0 25 0 1 0 118804829 179789824 43220 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11722469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 43894 43220 312 324 0 42963 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175576

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9503
/proc/meminfo: memFree=1479544/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=197428 CPUtime=222.21
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 49211 0 3 0 22161 60 0 0 25 0 1 0 118804829 202166272 48681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 49357 48681 312 324 0 48426 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 197428

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9503
/proc/meminfo: memFree=1462264/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=214904 CPUtime=282.19
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 53581 0 3 0 28152 67 0 0 25 0 1 0 118804829 220061696 53051 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 53726 53051 312 324 0 52795 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 214904

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1446712/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=230056 CPUtime=342.17
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 57386 0 3 0 34145 72 0 0 25 0 1 0 118804829 235577344 56856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 57514 56856 312 324 0 56583 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 230056

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1433400/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=243544 CPUtime=402.15
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 60744 0 3 0 40137 78 0 0 25 0 1 0 118804829 249389056 60214 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 60886 60214 312 324 0 59955 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 243544

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1419704/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=257296 CPUtime=462.14
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 64184 0 3 0 46131 83 0 0 25 0 1 0 118804829 263471104 63654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 64324 63654 312 324 0 63393 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 257296

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1408504/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=268488 CPUtime=522.12
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 67004 0 3 0 52125 87 0 0 25 0 1 0 118804829 274931712 66474 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 67122 66474 312 324 0 66191 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 268488

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1397240/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=279676 CPUtime=582.11
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 69778 0 3 0 58120 91 0 0 25 0 1 0 118804829 286388224 69248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 69919 69248 312 324 0 68988 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 279676

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1384760/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=291880 CPUtime=642.1
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 72842 0 3 0 64114 96 0 0 25 0 1 0 118804829 298885120 72312 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 72970 72312 312 324 0 72039 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 291880


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1331832/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=344708 CPUtime=882.02
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 86050 0 3 0 88083 119 0 0 25 0 1 0 118804829 352980992 85520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 86177 85520 312 324 0 85246 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 344708

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1321656/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=354992 CPUtime=942.01
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 88608 0 3 0 94078 123 0 0 25 0 1 0 118804829 363511808 88078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 88748 88078 312 324 0 87817 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 354992

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1311160/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=365276 CPUtime=1001.99
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 91200 0 3 0 100072 127 0 0 25 0 1 0 118804829 374042624 90670 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 91319 90670 312 324 0 90388 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 365276

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1302712/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=373772 CPUtime=1061.97
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 93319 0 3 0 106066 131 0 0 25 0 1 0 118804829 382742528 92789 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 93443 92789 312 324 0 92512 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 373772

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1293624/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=382772 CPUtime=1121.95
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 95565 0 3 0 112060 135 0 0 25 0 1 0 118804829 391958528 95035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 95693 95035 312 324 0 94762 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 382772

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1284152/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=392276 CPUtime=1181.94
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 97941 0 3 0 118055 139 0 0 25 0 1 0 118804829 401690624 97411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 98069 97411 312 324 0 97138 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 392276

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1275576/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=400768 CPUtime=1241.92
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 100056 0 3 0 124050 142 0 0 25 0 1 0 118804829 410386432 99526 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 100192 99526 312 324 0 99261 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 400768

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1269112/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=407192 CPUtime=1301.91
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 101658 0 3 0 130046 145 0 0 25 0 1 0 118804829 416964608 101128 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 101798 101128 312 324 0 100867 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 407192

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1262072/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=414260 CPUtime=1361.89
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 103423 0 3 0 136040 149 0 0 25 0 1 0 118804829 424202240 102893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 103565 102893 312 324 0 102634 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 414260

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1254584/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=421584 CPUtime=1421.87
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 105276 0 3 0 142036 151 0 0 25 0 1 0 118804829 431702016 104746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 105396 104746 312 324 0 104465 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 421584

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9503
/proc/meminfo: memFree=1247288/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=428908 CPUtime=1481.86
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 107104 0 3 0 148031 155 0 0 25 0 1 0 118804829 439201792 106574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 107227 106574 312 324 0 106296 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 428908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 9585
/proc/meminfo: memFree=1239480/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=435464 CPUtime=1541.8
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 108724 0 3 0 154023 157 0 0 25 0 1 0 118804829 445915136 108194 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 108866 108194 312 324 0 107935 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 435464

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1232632/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=443304 CPUtime=1601.73
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 110692 0 3 0 160012 161 0 0 25 0 1 0 118804829 453943296 110162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 110826 110162 312 324 0 109895 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 443304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1224632/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=451272 CPUtime=1661.71
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 112689 0 3 0 166007 164 0 0 25 0 1 0 118804829 462102528 112159 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 112818 112159 312 324 0 111887 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 451272

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1218104/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=457824 CPUtime=1721.69
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 114334 0 3 0 172002 167 0 0 25 0 1 0 118804829 468811776 113804 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 114456 113804 312 324 0 113525 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 457824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1211704/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=464128 CPUtime=1781.68
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 115913 0 3 0 177998 170 0 0 25 0 1 0 118804829 475267072 115383 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 116032 115383 312 324 0 115101 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 464128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1560824/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=0 CPUtime=1800.07
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194308 116407 0 3 0 179830 177 0 0 25 0 1 0 118804829 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9701
/proc/meminfo: memFree=1560824/2055920 swapFree=4184652/4192956
[pid=9500] ppid=9498 vsize=0 CPUtime=1800.07
/proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194308 116407 0 3 0 179830 177 0 0 25 0 1 0 118804829 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9500/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1798.31
CPU system time (s): 1.79273
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 466184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.79273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116407
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3463

runsolver used 1.17782 second user time and 3.82042 second system time

The end

Begin job on node44 on Mon Apr 16 07:35:31 UTC 2007

IDJOB= 349559
IDBENCH= 2521
IDSOLVER= 163
FILE ID= node44/349559-1176708931

PBS_JOBID= 4560066

Free space on /tmp= 66463 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-gesa2-o.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-349559-1176708931 -o ROOT/results/node44/solver-349559-1176708931 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  158d85b2efcaf56eab2db834482aadfb

RANDOM SEED= 293683483

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1674712 kB
Buffers:         17868 kB
Cached:         296236 kB
SwapCached:       2232 kB
Active:         147856 kB
Inactive:       176376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1674712 kB
SwapTotal:     4192956 kB
SwapFree:      4184652 kB
Dirty:            5300 kB
Writeback:           0 kB
Mapped:          17128 kB
Slab:            42984 kB
Committed_AS:   290732 kB
PageTables:       1396 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= 66463 MiB

End job on node44 on Mon Apr 16 08:05:34 UTC 2007