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/349304-1176695023/instance-349304-1176695023.opb
0.00/0.01	c File size is 910199 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.04/0.09	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Highest Coefficient sum: 2.12351e+12
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.168 s
0.09/0.18	c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36267
0.09/0.18	c Obj. Vars: 31 (0.348236 % of total variables)
0.89/0.98	c Pre-processing Time: 0.974 s
1799.92/1800.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.47	c        0   5557     2061    98916   47    49514  191658      0      0 0.97
1799.92/1800.47	c      100   5557     2161   101483   46    54725  210824    100     96 1.04
1799.92/1800.47	c      250   5557     2311   107495   46    59010  231907    250    201 1.24
1799.92/1800.47	c      475   5557     2536   113631   44    59136  255098    475    346 1.37
1799.92/1800.47	c      815   5557     2876   134985   46    61322  280608    815    411 1.98
1799.92/1800.47	c     1325   5557     3386   154938   45    61745  308669   1325    541 2.45
1799.92/1800.47	c     2088   5557     4149   187040   45    62904  339536   2088    677 3.08
1799.92/1800.47	c     3235   5557     5296   238705   45    66679  373490   3235    769 4.21
1799.92/1800.47	c     4957   5557     7018   342271   48    69722  410840   4957    690 7.18
1799.92/1800.47	c     7541   5557     9602   427032   44    74223  451925   7541    790 9.54
1799.92/1800.47	c    11420   5557    13481   779287   57    82709  497118  11420    743 15.36
1799.92/1800.47	c    17245   5557    19306  1290043   66    94197  546830  17245    680 25.33
1799.92/1800.47	c    25982   5557    28043  1997209   71   111414  601514  25982    615 42.19
1799.92/1800.47	c    39093   5557    41154  3734955   90   138235  661666  39093    483 80.85
1799.92/1800.47	c    58764   5557    60825  6349680  104   177090  727833  58764    405 144.88
1799.92/1800.47	c    88278   5557    90339 10104058  111   236273  800617  88278    354 249.34
1799.92/1800.47	c   132549   5557   134610 14666876  108   324723  880679 132549    283 466.76
1799.92/1800.47	c   198959   5557   201020 24033287  119   457270  968747 198959    225 882.64
1799.92/1800.47	c Resources Exceeded
1799.92/1800.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.47	c   17   291596  65561   563398   293657 34953943 291596    161 1800.00
1799.92/1800.47	s UNKNOWN
1799.92/1800.47	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/node30/watcher-349304-1176695023 -o ROOT/results/node30/solver-349304-1176695023 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349304-1176695023/instance-349304-1176695023.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.99 0.99 3/77 897
/proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=3780 CPUtime=0
/proc/897/stat : 897 (bsolo3.0.16) D 895 897 525 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 117417957 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/897/statm: 945 155 129 324 0 14 0

[startup+0.0518499 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 897
/proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=5680 CPUtime=0.04
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 641 0 3 0 4 0 0 0 18 0 1 0 117417957 5816320 612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 1420 612 335 324 0 266 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5680

[startup+0.101853 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 897
/proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=6336 CPUtime=0.09
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 860 0 3 0 9 0 0 0 18 0 1 0 117417957 6488064 831 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 1584 831 401 324 0 430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6336

[startup+0.301866 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 897
/proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=8144 CPUtime=0.28
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1639 0 3 0 28 0 0 0 19 0 1 0 117417957 8339456 1387 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 2036 1387 306 324 0 1105 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8144

[startup+0.701891 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 897
/proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=9160 CPUtime=0.69
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1906 0 3 0 68 1 0 0 22 0 1 0 117417957 9379840 1654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 2290 1654 308 324 0 1359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9160

[startup+1.50194 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 898
/proc/meminfo: memFree=1802352/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=8492 CPUtime=1.48
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1927 0 3 0 146 2 0 0 25 0 1 0 117417957 8695808 1473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 2123 1473 312 324 0 1192 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8492

[startup+3.10104 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 898
/proc/meminfo: memFree=1801840/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=9412 CPUtime=3.09
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 2180 0 3 0 306 3 0 0 25 0 1 0 117417957 9637888 1726 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 2353 1726 312 324 0 1422 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9412

[startup+6.30124 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 898
/proc/meminfo: memFree=1799728/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=11380 CPUtime=6.28
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 2654 0 3 0 625 3 0 0 25 0 1 0 117417957 11653120 2200 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 2845 2200 312 324 0 1914 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11380

[startup+12.7016 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 898
/proc/meminfo: memFree=1795376/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=15980 CPUtime=12.68
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 3813 0 3 0 1264 4 0 0 25 0 1 0 117417957 16363520 3359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 3995 3359 312 324 0 3064 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15980

[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 898
/proc/meminfo: memFree=1785648/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=25348 CPUtime=25.48
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 6158 0 3 0 2540 8 0 0 25 0 1 0 117417957 25956352 5704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 6337 5704 312 324 0 5406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25348

[startup+51.102 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 898
/proc/meminfo: memFree=1769968/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=41100 CPUtime=51.07
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 10095 0 3 0 5095 12 0 0 25 0 1 0 117417957 42086400 9641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 10275 9641 312 324 0 9344 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41100

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 898
/proc/meminfo: memFree=1740016/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=70744 CPUtime=102.26
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 17499 0 3 0 10205 21 0 0 25 0 1 0 117417957 72441856 17045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 17686 17045 312 324 0 16755 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70744

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1706864/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=104196 CPUtime=162.25
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 25849 0 3 0 16191 34 0 0 25 0 1 0 117417957 106696704 25395 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 26049 25395 312 324 0 25118 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 104196

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1678192/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=132284 CPUtime=222.24
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 32887 0 3 0 22181 43 0 0 25 0 1 0 117417957 135458816 32433 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 33071 32433 312 324 0 32140 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 132284

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1652848/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=157696 CPUtime=282.22
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 39224 0 3 0 28172 50 0 0 25 0 1 0 117417957 161480704 38770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 39424 38770 312 324 0 38493 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 157696

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1633712/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=176600 CPUtime=342.22
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 43963 0 3 0 34162 60 0 0 25 0 1 0 117417957 180838400 43509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 44150 43509 312 324 0 43219 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 176600

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1619696/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=190724 CPUtime=402.2
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 47497 0 3 0 40153 67 0 0 25 0 1 0 117417957 195301376 47043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 47681 47043 312 324 0 46750 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 190724

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1602416/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=207728 CPUtime=462.19
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 51743 0 3 0 46146 73 0 0 25 0 1 0 117417957 212713472 51289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 51932 51289 312 324 0 51001 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 207728

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1580912/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=229496 CPUtime=522.17
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 57185 0 3 0 52134 83 0 0 25 0 1 0 117417957 235003904 56731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 57374 56731 312 324 0 56443 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 229496

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1560560/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=249580 CPUtime=582.16
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 62204 0 3 0 58125 91 0 0 25 0 1 0 117417957 255569920 61750 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 62395 61750 312 324 0 61464 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 249580

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 898
/proc/meminfo: memFree=1546288/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=263548 CPUtime=642.15
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 65708 0 3 0 64117 98 0 0 25 0 1 0 117417957 269873152 65254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 65887 65254 312 324 0 64956 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 263548


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 898
/proc/meminfo: memFree=1474096/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=335340 CPUtime=882.1
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 83642 0 3 0 88083 127 0 0 25 0 1 0 117417957 343388160 83188 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 83835 83188 312 324 0 82904 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 335340

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 898
/proc/meminfo: memFree=1461744/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=347644 CPUtime=942.09
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 86733 0 3 0 94076 133 0 0 25 0 1 0 117417957 355987456 86279 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 86911 86279 312 324 0 85980 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 347644

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 898
/proc/meminfo: memFree=1448240/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=360916 CPUtime=1002.07
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 90047 0 3 0 100069 138 0 0 25 0 1 0 117417957 369577984 89593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 90229 89593 312 324 0 89298 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 360916

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 1014
/proc/meminfo: memFree=1431736/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=376220 CPUtime=1062.02
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 93861 0 3 0 106057 145 0 0 25 0 1 0 117417957 385249280 93407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 94055 93407 312 324 0 93124 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 376220

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1422768/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=385988 CPUtime=1121.97
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 96305 0 3 0 112048 149 0 0 25 0 1 0 117417957 395251712 95851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 96497 95851 312 324 0 95566 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 385988

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1414832/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=393936 CPUtime=1181.96
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 98299 0 3 0 118042 154 0 0 25 0 1 0 117417957 403390464 97845 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 98484 97845 312 324 0 97553 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 393936

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1405744/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=403012 CPUtime=1241.94
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 100580 0 3 0 124036 158 0 0 25 0 1 0 117417957 412684288 100126 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 100753 100126 312 324 0 99822 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 403012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1396912/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=411848 CPUtime=1301.93
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 102761 0 3 0 130029 164 0 0 25 0 1 0 117417957 421732352 102307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 102962 102307 312 324 0 102031 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 411848

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1389232/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=419488 CPUtime=1361.91
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 104690 0 3 0 136024 167 0 0 25 0 1 0 117417957 429555712 104236 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 104872 104236 312 324 0 103941 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 419488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1380208/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=428412 CPUtime=1421.91
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 106921 0 3 0 142019 172 0 0 25 0 1 0 117417957 438693888 106467 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 107103 106467 312 324 0 106172 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 428412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1370800/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=438132 CPUtime=1481.89
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 109361 0 3 0 148011 178 0 0 25 0 1 0 117417957 448647168 108907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 109533 108907 312 324 0 108602 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 438132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1359280/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=449320 CPUtime=1541.88
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 112142 0 3 0 154006 182 0 0 25 0 1 0 117417957 460103680 111688 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 112330 111688 312 324 0 111399 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 449320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1350448/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=458280 CPUtime=1601.87
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 114368 0 3 0 160002 185 0 0 25 0 1 0 117417957 469278720 113914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 114570 113914 312 324 0 113639 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 458280

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1341232/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=467384 CPUtime=1661.86
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 116653 0 3 0 165996 190 0 0 25 0 1 0 117417957 478601216 116199 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 116846 116199 312 324 0 115915 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 467384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1097
/proc/meminfo: memFree=1333616/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=474924 CPUtime=1721.84
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 118546 0 3 0 171991 193 0 0 25 0 1 0 117417957 486322176 118092 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 118731 118092 312 324 0 117800 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 474924

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 1097
/proc/meminfo: memFree=1326320/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=482068 CPUtime=1781.82
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 120328 0 3 0 177987 195 0 0 25 0 1 0 117417957 493637632 119874 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 120517 119874 312 324 0 119586 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 482068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 1097
/proc/meminfo: memFree=1480496/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=0 CPUtime=1800.03
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194308 121047 0 3 0 179803 200 0 0 25 0 1 0 117417957 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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.03 1.01 1.00 2/78 1097
/proc/meminfo: memFree=1480496/2055920 swapFree=4169844/4192956
[pid=897] ppid=895 vsize=0 CPUtime=1800.03
/proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194308 121047 0 3 0 179803 200 0 0 25 0 1 0 117417957 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/897/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.08
CPU user time (s): 1798.03
CPU system time (s): 2.04869
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 484932

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

runsolver used 2.08768 second user time and 4.44232 second system time

The end

Begin job on node30 on Mon Apr 16 03:43:43 UTC 2007

IDJOB= 349304
IDBENCH= 2349
IDSOLVER= 163
FILE ID= node30/349304-1176695023

PBS_JOBID= 4560013

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  671dfb6ede3c120af748dc40a7daef68

RANDOM SEED= 879189160

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1808336 kB
Buffers:         42240 kB
Cached:         120624 kB
SwapCached:       2376 kB
Active:          92424 kB
Inactive:        94268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808336 kB
SwapTotal:     4192956 kB
SwapFree:      4169844 kB
Dirty:            5288 kB
Writeback:           0 kB
Mapped:          30832 kB
Slab:            46388 kB
Committed_AS:  2739016 kB
PageTables:       1776 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= 66528 MiB

End job on node30 on Mon Apr 16 04:13:45 UTC 2007