PB'07 evaluation competition: execution trace

Solver Name	Answer	Objective function	CPU time	Wall clock time
bsolo 3.0.16	? (TO)		1800.1	1800.66

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/349314-1176695370/instance-349314-1176695370.opb
0.00/0.01 c File size is 889140 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.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.04 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.05 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.06 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.00/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.07 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.08 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.09 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/0.10 c Coefficients are big enough for not using lower bounding.
0.06/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.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.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.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.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.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 Highest Coefficient sum: 8.69952e+11
0.08/0.16 c Parsing was ok!!
0.08/0.16 c Total parsing time: 0.152 s
0.08/0.17 c Var: 21960 Constr: 1110 0/0/1110 Lit: 86400 Watch. Lit: 26592
0.08/0.17 c Obj. Vars: 11160 (50.8197 % of total variables)
0.48/0.50 c Pre-processing Time: 0.495 s
1799.94/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1799.94/1800.56 c 0 17112 1110 86088 77 81087 172176 0 0 0.50
1799.94/1800.56 c 101 17112 1211 108633 89 81740 189394 101 175 0.58
1799.94/1800.56 c 251 17112 1361 124082 91 82039 208334 251 389 0.64
1799.94/1800.56 c 477 17112 1587 144835 91 82477 229168 477 676 0.70
1799.94/1800.56 c 817 17110 1927 164974 85 83122 252085 817 1014 0.81
1799.94/1800.56 c 1326 17110 2436 187628 77 84140 277294 1326 1560 0.85
1799.94/1800.56 c 2091 17110 3201 218371 68 85670 305024 2091 2280 0.92
1799.94/1800.56 c 3237 17110 4347 273735 62 87959 335527 3237 2817 1.15
1799.94/1800.56 c 4958 17107 6068 351261 57 91398 369080 4958 3419 1.45
1799.94/1800.56 c 7543 17107 8653 462691 53 96510 405989 7543 3928 1.92
1799.94/1800.56 c 11424 17107 12534 601937 48 104384 446588 11424 4708 2.43
1799.94/1800.56 c 17247 17106 18357 783621 42 115947 491247 17247 4989 3.46
1799.94/1800.56 c 25985 17106 27095 1137933 41 133423 540372 25985 3904 6.66
1799.94/1800.56 c 39097 17106 40207 1670639 41 159647 594410 39097 2190 17.85
1799.94/1800.56 c 58769 17106 59879 2545341 42 199070 653852 58769 2783 21.12
1799.94/1800.56 c 88280 17106 89390 3947049 44 258092 719238 88280 819 107.70
1799.94/1800.56 c 132552 17106 133662 6761492 50 346525 791162 132552 1034 128.10
1799.94/1800.56 c 198964 17104 200074 15692452 78 479425 870279 198964 573 347.19
1799.94/1800.56 c 298585 17103 299695 20070738 66 678700 957307 298585 431 691.63
1799.94/1800.56 c 448022 17103 449132 45642221 101 977578 500000 448022 252 1771.95
1799.94/1800.56 c Resources Exceeded
1799.94/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
1799.94/1800.56 c 19 464390 79597 1233672 465500 46413000 464390 257 1800.00
1799.94/1800.56 s UNKNOWN
1799.94/1800.56 c Total time: 1800 s

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-349314-1176695370 -o ROOT/results/node47/solver-349314-1176695370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349314-1176695370/instance-349314-1176695370.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.94 1.01 0.99 3/64 18995
/proc/meminfo: memFree=1814832/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=3780 CPUtime=0
/proc/18995/stat : 18995 (bsolo3.0.16) D 18993 18995 18623 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 24382357 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/18995/statm: 945 155 129 324 0 14 0

[startup+0.0746971 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18995
/proc/meminfo: memFree=1814832/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=6836 CPUtime=0.06
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 977 0 3 0 6 0 0 0 18 0 1 0 24382357 7000064 908 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 1709 908 379 324 0 560 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6836

[startup+0.101699 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18995
/proc/meminfo: memFree=1814832/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=7096 CPUtime=0.08
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 1088 0 3 0 8 0 0 0 18 0 1 0 24382357 7266304 1019 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 1774 1019 415 324 0 625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7096

[startup+0.301722 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18995
/proc/meminfo: memFree=1814832/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=10600 CPUtime=0.28
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 2211 0 3 0 26 2 0 0 19 0 1 0 24382357 10854400 1924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 2650 1924 306 324 0 1719 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10600

[startup+0.701816 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18995
/proc/meminfo: memFree=1814832/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=11676 CPUtime=0.68
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 2726 0 3 0 63 5 0 0 22 0 1 0 24382357 11956224 2224 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 2919 2224 312 324 0 1988 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11676

[startup+1.50185 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18996
/proc/meminfo: memFree=1805416/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=14808 CPUtime=1.49
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 3516 0 3 0 140 9 0 0 25 0 1 0 24382357 15163392 3014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 3702 3014 312 324 0 2771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14808

[startup+3.10102 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18996
/proc/meminfo: memFree=1800872/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=20208 CPUtime=3.08
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 4873 0 3 0 295 13 0 0 25 0 1 0 24382357 20692992 4371 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 5052 4371 312 324 0 4121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20208

[startup+6.30137 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18996
/proc/meminfo: memFree=1792360/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=26444 CPUtime=6.28
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 6425 0 3 0 612 16 0 0 25 0 1 0 24382357 27078656 5923 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 6611 5923 312 324 0 5680 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26444

[startup+12.7011 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 18996
/proc/meminfo: memFree=1788200/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=30072 CPUtime=12.68
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 7341 0 3 0 1250 18 0 0 25 0 1 0 24382357 30793728 6839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 7518 6839 312 324 0 6587 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30072

[startup+25.5015 s]
/proc/loadavg: 0.96 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1763112/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=55048 CPUtime=25.48
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 13568 0 3 0 2518 30 0 0 25 0 1 0 24382357 56369152 13066 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 13762 13066 312 324 0 12831 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55048

[startup+51.1012 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1756008/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=62172 CPUtime=51.06
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 15349 0 3 0 5072 34 0 0 25 0 1 0 24382357 63664128 14847 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 15543 14847 312 324 0 14612 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62172

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1748840/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=69184 CPUtime=102.25
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 17108 0 3 0 10187 38 0 0 25 0 1 0 24382357 70844416 16606 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 17296 16606 312 324 0 16365 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69184

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1668520/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=149984 CPUtime=162.24
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 37300 0 3 0 16152 72 0 0 25 0 1 0 24382357 153583616 36798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 37496 36798 312 324 0 36565 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149984

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1632424/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=185328 CPUtime=222.23
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 46159 0 3 0 22141 82 0 0 25 0 1 0 24382357 189775872 45657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 46332 45657 312 324 0 45401 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 185328

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1608552/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=209408 CPUtime=282.21
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 52168 0 3 0 28130 91 0 0 25 0 1 0 24382357 214433792 51666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 52352 51666 312 324 0 51421 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 209408

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1587048/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=230564 CPUtime=342.19
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 57461 0 3 0 34119 100 0 0 25 0 1 0 24382357 236097536 56959 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 57641 56959 312 324 0 56710 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 230564

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1554344/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=263188 CPUtime=402.18
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 65621 0 3 0 40098 120 0 0 25 0 1 0 24382357 269504512 65119 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 65797 65119 312 324 0 64866 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 263188

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1544104/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=273408 CPUtime=462.16
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 68169 0 3 0 46090 126 0 0 25 0 1 0 24382357 279969792 67667 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 68352 67667 312 324 0 67421 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 273408

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1536296/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=281188 CPUtime=522.15
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 70114 0 3 0 52082 133 0 0 25 0 1 0 24382357 287936512 69612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 70297 69612 312 324 0 69366 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 281188

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1529320/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=288052 CPUtime=582.13
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 71835 0 3 0 58076 137 0 0 25 0 1 0 24382357 294965248 71333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 72013 71333 312 324 0 71082 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 288052

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18996
/proc/meminfo: memFree=1523176/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=294144 CPUtime=642.12
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 73356 0 3 0 64072 140 0 0 25 0 1 0 24382357 301203456 72854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 73536 72854 312 324 0 72605 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 294144


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

[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19194
/proc/meminfo: memFree=1447272/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=370116 CPUtime=821.99
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 92350 0 3 0 82022 177 0 0 25 0 1 0 24382357 378998784 91848 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 92529 91848 312 324 0 91598 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 370116

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19194
/proc/meminfo: memFree=1418856/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=398164 CPUtime=881.97
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 99359 0 3 0 88010 187 0 0 25 0 1 0 24382357 407719936 98857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 99541 98857 312 324 0 98610 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 398164

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19194
/proc/meminfo: memFree=1392616/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=424764 CPUtime=941.96
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 105987 0 3 0 93999 197 0 0 25 0 1 0 24382357 434958336 105485 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 106191 105485 312 324 0 105260 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 424764

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19194
/proc/meminfo: memFree=1369128/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=447784 CPUtime=1001.94
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 111764 0 3 0 99990 204 0 0 25 0 1 0 24382357 458530816 111262 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 111946 111262 312 324 0 111015 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 447784

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19194
/proc/meminfo: memFree=1352424/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=464692 CPUtime=1061.93
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 115977 0 3 0 105983 210 0 0 25 0 1 0 24382357 475844608 115475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 116173 115475 312 324 0 115242 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 464692

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1336424/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=480336 CPUtime=1121.91
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 119907 0 3 0 111976 215 0 0 25 0 1 0 24382357 491864064 119405 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10952250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 120084 119405 312 324 0 119153 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 480336

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1321448/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=495712 CPUtime=1181.89
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 123724 0 3 0 117968 221 0 0 25 0 1 0 24382357 507609088 123222 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 123928 123222 312 324 0 122997 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 495712

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1306152/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=510652 CPUtime=1241.87
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 127477 0 3 0 123960 227 0 0 25 0 1 0 24382357 522907648 126975 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 127663 126975 312 324 0 126732 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 510652

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1284712/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=531940 CPUtime=1301.87
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 132799 0 3 0 129953 234 0 0 25 0 1 0 24382357 544706560 132297 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 132985 132297 312 324 0 132054 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 531940

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1269608/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=547304 CPUtime=1361.85
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 136622 0 3 0 135945 240 0 0 25 0 1 0 24382357 560439296 136120 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 136826 136120 312 324 0 135895 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 547304

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1252264/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=564304 CPUtime=1421.84
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 140879 0 3 0 141938 246 0 0 25 0 1 0 24382357 577847296 140377 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 141076 140377 312 324 0 140145 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 564304

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1238440/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=578232 CPUtime=1481.82
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 144378 0 3 0 147931 251 0 0 25 0 1 0 24382357 592109568 143876 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 144558 143876 312 324 0 143627 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 578232

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1220840/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=595748 CPUtime=1541.8
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 148734 0 3 0 153923 257 0 0 25 0 1 0 24382357 610045952 148232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 148937 148232 312 324 0 148006 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 595748

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1208744/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=607880 CPUtime=1601.78
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 151778 0 3 0 159916 262 0 0 25 0 1 0 24382357 622469120 151276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 151970 151276 312 324 0 151039 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 607880

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1196776/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=619676 CPUtime=1661.77
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 154733 0 3 0 165911 266 0 0 25 0 1 0 24382357 634548224 154231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 154919 154231 312 324 0 153988 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 619676

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1184808/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=631580 CPUtime=1721.76
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 157721 0 3 0 171905 271 0 0 25 0 1 0 24382357 646737920 157219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 157895 157219 312 324 0 156964 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 631580

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1173864/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=642596 CPUtime=1781.74
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194304 160450 0 3 0 177899 275 0 0 25 0 1 0 24382357 658018304 159948 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 160649 159948 312 324 0 159718 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 642596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19196
/proc/meminfo: memFree=1446248/2055920 swapFree=4183716/4192956
[pid=18995] ppid=18993 vsize=0 CPUtime=1800.05
/proc/18995/stat : 18995 (bsolo3.0.16) R 18993 18995 18623 0 -1 4194308 162981 0 3 0 179717 288 0 0 25 0 1 0 24382357 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18995/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.1
CPU user time (s): 1797.17
CPU system time (s): 2.93355
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 652652

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

runsolver used 1.45978 second user time and 3.55646 second system time

The end

Name	normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	9b62ad3c86a83b0289fcc931c207c964
Bench Category	OPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	21960
Total number of constraints	750
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	31
Maximum length of a constraint	372
Number of terms in the objective function	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 349314

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data (download as text)

Verifier Data (download as text)

Watcher Data (download as text)

Launcher Data (download as text)