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/349339-1176696353/instance-349339-1176696353.opb
0.00/0.01	c File size is 1130273 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.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.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.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.05	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.06	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.07	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.08	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.04/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Highest Coefficient sum: 7.73893e+14
0.08/0.19	c Parsing was ok!!
0.08/0.19	c Total parsing time: 0.184 s
0.08/0.20	c Var: 16800 Constr: 1185 11/0/1174 Lit: 103310 Watch. Lit: 12842
0.08/0.20	c Obj. Vars: 9600 (57.1429 % of total variables)
0.38/0.50	c Pre-processing Time: 0.49 s
1799.90/1800.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.90/1800.49	c        0  13266     1169   102772   87    69396  205544      0      0 0.49
1799.90/1800.49	c      102  13266     1271   123030   96    69640  226099    102    172 0.59
1799.90/1800.49	c      253  13266     1422   143153  100    70022  248709    253    367 0.69
1799.90/1800.49	c      480  13266     1649   166460  100    70511  273580    480    592 0.81
1799.90/1800.49	c      818  13266     1987   217254  109    71523  300939    818    795 1.03
1799.90/1800.49	c     1326  13266     2495   253948  101    72579  331033   1326   1145 1.16
1799.90/1800.49	c     2090  13266     3259   359180  110    84376  364137   2090   1444 1.45
1799.90/1800.49	c     3237  13266     4406   457742  103    86677  400551   3237   1973 1.64
1799.90/1800.49	c     4959  13266     6128   618686  100    90109  440607   4959   2421 2.05
1799.90/1800.49	c     7543  13266     8712   778396   89    94824  484668   7543   3129 2.41
1799.90/1800.49	c    11422  13266    12591  1129339   89   102673  533135  11422   3616 3.16
1799.90/1800.49	c    17244  13266    18413  2011945  109   114128  586449  17244   2755 6.26
1799.90/1800.49	c    25982  13266    27151  2807314  103   131470  645094  25982   2874 9.04
1799.90/1800.49	c    39093  13266    40262  3267289   81   157701  709604  39093   2195 17.81
1799.90/1800.49	c    58764  13266    59933  3859590   64   197040  780565  58764    988 59.44
1799.90/1800.49	c    88275  13266    89444  4822313   53   259386  858622  88275    646 136.48
1799.90/1800.49	c   132546  13265   133715  6449007   48   346673  944485 132546    348 380.51
1799.90/1800.49	c   198956  13265   200125  8624727   43   480324  500000 198956    350 566.93
1799.90/1800.49	c   298577  13265   299746 17496840   58   676122  550001 298577    421 709.15
1799.90/1800.49	c   448012  13263   449181 26852614   59   974966  605002 448012    491 912.42
1799.90/1800.49	c   672170  13262    76692  4521640   58   228530  665503  75523    424 1583.05
1799.90/1800.49	c Resources Exceeded
1799.90/1800.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.49	c   20   728520  19256  1557225   133042 17516615 131873    404 1800.00
1799.90/1800.49	s UNKNOWN
1799.90/1800.49	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/node35/watcher-349339-1176696353 -o ROOT/results/node35/solver-349339-1176696353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349339-1176696353/instance-349339-1176696353.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.92 0.98 0.99 3/77 27088
/proc/meminfo: memFree=1799488/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=3780 CPUtime=0
/proc/27088/stat : 27088 (bsolo3.0.16) D 27086 27088 26453 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 117550719 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/27088/statm: 945 155 129 324 0 14 0

[startup+0.052052 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27088
/proc/meminfo: memFree=1799488/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=6028 CPUtime=0.04
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 683 0 3 0 4 0 0 0 18 0 1 0 117550719 6172672 654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 1507 654 347 324 0 300 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6028

[startup+0.101765 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27088
/proc/meminfo: memFree=1799488/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=6836 CPUtime=0.08
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 948 0 3 0 8 0 0 0 18 0 1 0 117550719 7000064 919 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 1709 919 418 324 0 502 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6836

[startup+0.30279 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27088
/proc/meminfo: memFree=1799488/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=9424 CPUtime=0.29
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 1990 0 3 0 27 2 0 0 19 0 1 0 117550719 9650176 1685 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 2356 1685 306 324 0 1425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9424

[startup+0.702835 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27088
/proc/meminfo: memFree=1799488/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=10892 CPUtime=0.69
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 2532 0 3 0 65 4 0 0 23 0 1 0 117550719 11153408 2062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 2723 2062 312 324 0 1792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10892

[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1791480/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=13656 CPUtime=1.48
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 3230 0 3 0 142 6 0 0 25 0 1 0 117550719 13983744 2760 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 3414 2760 312 324 0 2483 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13656

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1784824/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=24128 CPUtime=3.09
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 5846 0 3 0 300 9 0 0 25 0 1 0 117550719 24707072 5376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 6032 5376 312 324 0 5101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24128

[startup+6.30149 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1767992/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=36356 CPUtime=6.28
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 8904 0 3 0 617 11 0 0 25 0 1 0 117550719 37228544 8434 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 9089 8434 312 324 0 8158 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36356

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1750648/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=52008 CPUtime=12.68
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 12823 0 3 0 1252 16 0 0 25 0 1 0 117550719 53256192 12353 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 13002 12353 312 324 0 12071 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52008

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1745080/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=57372 CPUtime=25.48
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 14166 0 3 0 2529 19 0 0 25 0 1 0 117550719 58748928 13696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 14343 13696 312 324 0 13412 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57372

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1739704/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=62844 CPUtime=51.07
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 15510 0 3 0 5085 22 0 0 25 0 1 0 117550719 64352256 15040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 15711 15040 312 324 0 14780 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62844

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1730104/2055920 swapFree=4093612/4192956
[pid=27088] ppid=27086 vsize=72252 CPUtime=102.26
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 17882 0 3 0 10196 30 0 0 25 0 1 0 117550719 73986048 17412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 18063 17412 312 324 0 17132 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 72252

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1717176/2055920 swapFree=4093676/4192956
[pid=27088] ppid=27086 vsize=85316 CPUtime=162.24
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 21125 0 3 0 16185 39 0 0 25 0 1 0 117550719 87363584 20655 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 21329 20655 312 324 0 20398 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 85316

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27089
/proc/meminfo: memFree=1710520/2055920 swapFree=4093676/4192956
[pid=27088] ppid=27086 vsize=91796 CPUtime=222.22
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 22766 0 3 0 22178 44 0 0 25 0 1 0 117550719 93999104 22296 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 22949 22296 312 324 0 22018 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91796

[startup+282.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1704568/2055920 swapFree=4093740/4192956
[pid=27088] ppid=27086 vsize=97904 CPUtime=282.21
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 24272 0 3 0 28172 49 0 0 25 0 1 0 117550719 100253696 23802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 24476 23802 312 324 0 23545 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97904

[startup+342.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1698872/2055920 swapFree=4093740/4192956
[pid=27088] ppid=27086 vsize=103468 CPUtime=342.2
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 25675 0 3 0 34166 54 0 0 25 0 1 0 117550719 105951232 25205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 25867 25205 312 324 0 24936 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 103468

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1685368/2055920 swapFree=4093740/4192956
[pid=27088] ppid=27086 vsize=116964 CPUtime=402.17
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 29058 0 3 0 40155 62 0 0 25 0 1 0 117550719 119771136 28588 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 29241 28588 312 324 0 28310 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 116964

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1671608/2055920 swapFree=4093808/4192956
[pid=27088] ppid=27086 vsize=130532 CPUtime=462.16
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 32452 0 3 0 46145 71 0 0 25 0 1 0 117550719 133664768 31982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 32633 31982 312 324 0 31702 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 130532

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1664824/2055920 swapFree=4093808/4192956
[pid=27088] ppid=27086 vsize=137312 CPUtime=522.15
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 34140 0 3 0 52138 77 0 0 25 0 1 0 117550719 140607488 33670 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 34328 33670 312 324 0 33397 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 137312

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1625016/2055920 swapFree=4093872/4192956
[pid=27088] ppid=27086 vsize=177680 CPUtime=582.13
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 44244 0 3 0 58121 92 0 0 25 0 1 0 117550719 181944320 43774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 44420 43774 312 324 0 43489 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 177680

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1568760/2055920 swapFree=4093872/4192956
[pid=27088] ppid=27086 vsize=232984 CPUtime=642.12
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 58062 0 3 0 64103 109 0 0 25 0 1 0 117550719 238575616 57592 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1895876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 58246 57592 312 324 0 57315 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 232984


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1404472/2055920 swapFree=4094000/4192956
[pid=27088] ppid=27086 vsize=396840 CPUtime=882.05
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 99036 0 3 0 88023 182 0 0 25 0 1 0 117550719 406364160 98566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 99210 98566 312 324 0 98279 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 396840

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1356344/2055920 swapFree=4094064/4192956
[pid=27088] ppid=27086 vsize=445584 CPUtime=942.03
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 111191 0 3 0 94002 201 0 0 25 0 1 0 117550719 456278016 110721 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 111396 110721 312 324 0 110465 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 445584

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1342904/2055920 swapFree=4094064/4192956
[pid=27088] ppid=27086 vsize=458560 CPUtime=1002.02
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 114445 0 3 0 99989 213 0 0 25 0 1 0 117550719 469565440 113975 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 114640 113975 312 324 0 113709 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 458560

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1304632/2055920 swapFree=4094064/4192956
[pid=27088] ppid=27086 vsize=496856 CPUtime=1062
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 124031 0 3 0 105973 227 0 0 25 0 1 0 117550719 508780544 123561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 124214 123561 312 324 0 123283 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 496856

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1287736/2055920 swapFree=4094128/4192956
[pid=27088] ppid=27086 vsize=513516 CPUtime=1121.98
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 128204 0 3 0 111964 234 0 0 25 0 1 0 117550719 525840384 127734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 128379 127734 312 324 0 127448 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 513516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1271288/2055920 swapFree=4094128/4192956
[pid=27088] ppid=27086 vsize=530008 CPUtime=1181.97
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 132313 0 3 0 117956 241 0 0 25 0 1 0 117550719 542728192 131843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 132502 131843 312 324 0 131571 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 530008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1256632/2055920 swapFree=4094192/4192956
[pid=27088] ppid=27086 vsize=544440 CPUtime=1241.95
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 135926 0 3 0 123949 246 0 0 25 0 1 0 117550719 557506560 135456 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 136110 135456 312 324 0 135179 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 544440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1214456/2055920 swapFree=4094192/4192956
[pid=27088] ppid=27086 vsize=586448 CPUtime=1301.94
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 146415 0 3 0 129932 262 0 0 25 0 1 0 117550719 600522752 145945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 146612 145945 312 324 0 145681 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 586448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094192/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1361.92
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 135925 267 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 596392

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094256/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1421.9
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 141923 267 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 596392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094256/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1481.89
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 147921 268 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 596392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094320/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1541.87
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 153912 275 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134571637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 596392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094320/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1601.85
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 159903 282 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 596392

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094320/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1661.84
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 165898 286 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 596392

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204152/2055920 swapFree=4094384/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1721.82
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 171893 289 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 596392

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1204024/2055920 swapFree=4094384/4192956
[pid=27088] ppid=27086 vsize=596392 CPUtime=1781.8
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194304 149506 0 3 0 177889 291 0 0 25 0 1 0 117550719 610705408 148438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 149098 148438 312 324 0 148167 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 596392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1252280/2055920 swapFree=4094384/4192956
[pid=27088] ppid=27086 vsize=0 CPUtime=1800.01
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194308 149507 0 3 0 179708 293 0 0 25 0 1 0 117550719 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27089
/proc/meminfo: memFree=1252280/2055920 swapFree=4094384/4192956
[pid=27088] ppid=27086 vsize=0 CPUtime=1800.01
/proc/27088/stat : 27088 (bsolo3.0.16) R 27086 27088 26453 0 -1 4194308 149507 0 3 0 179708 293 0 0 25 0 1 0 117550719 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.1
CPU user time (s): 1797.08
CPU system time (s): 3.01754
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 598784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.08
system time used= 3.01754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149507
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= 35599

runsolver used 2.11368 second user time and 4.39133 second system time

The end

Begin job on node35 on Mon Apr 16 04:05:53 UTC 2007

IDJOB= 349339
IDBENCH= 2358
IDSOLVER= 163
FILE ID= node35/349339-1176696353

PBS_JOBID= 4560004

Free space on /tmp= 66526 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349339-1176696353/instance-349339-1176696353.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-349339-1176696353 -o ROOT/results/node35/solver-349339-1176696353 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349339-1176696353/instance-349339-1176696353.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  bc049badf8b0b6990d4dd6f2aa909c41

RANDOM SEED= 911530233

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.232
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.232
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:       1799704 kB
Buffers:         22716 kB
Cached:         126672 kB
SwapCached:       3000 kB
Active:         115312 kB
Inactive:        87824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799704 kB
SwapTotal:     4192956 kB
SwapFree:      4093612 kB
Dirty:            5512 kB
Writeback:           0 kB
Mapped:          61828 kB
Slab:            38196 kB
Committed_AS:  2379016 kB
PageTables:       2000 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= 66526 MiB

End job on node35 on Mon Apr 16 04:35:55 UTC 2007