PB'12 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
npSolver inc-topDown (fixed)	? (TO)		1800.06	1800.41

0.00/0.05	c old isEQ: 11, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.05	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.06	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.07	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.08	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.09	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.10	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.11	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.12	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.13	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.14	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.15	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.16	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.17	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.18	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.19	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.20	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.21	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.22	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c run inc solver
0.00/0.29	c [INC SYSTEM] run initial solver
0.00/0.29	c [INC SYSTEM] preprocess with white file
1.57/1.67	c [INC SYSTEM] finished preprocessing in 1 s
1.57/1.67	c [INC SYSTEM] execute solver
1.65/1.75	c [INC SEARCH] formula is SAT
1.65/1.75	c [INC SYSTEM] solved the initial formula
1.65/1.78	c model valid
1.65/1.78	c current solution ok
1.79/1.97	o 3919
1.79/1.97	c [INC SYSTEM] there exists a inc, kill it!
1.79/1.97	c write failed with 2
1.79/1.97	c [INC SEARCH] iteration: 0
1.79/1.97	c [INC BOUNDS] best value:10071 search for 10070
1.79/1.97	c [INC SYSTEM] create new solver instance
1.79/1.97	c [INC] encode full formula
1.79/1.97	c fallback to adder encoding
2.66/2.78	c set iterative enc to: adder
2.66/2.78	c set iterative enc to: none
2.77/2.88	c [INC SEARCH] isOptimum variable: 0
1800.06/1800.41	HOME/npSolver-pbo-Itd.sh: line 18: 26119 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3747248-1339100006/watcher-3747248-1339100006 -o /tmp/evaluation-result-3747248-1339100006/solver-3747248-1339100006 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747248-1339100006.opb 817308314 HOME HOME 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.00 1.69 3/178 26118
/proc/meminfo: memFree=28172432/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0

[startup+0.051504 s]
/proc/loadavg: 2.02 2.00 1.69 3/178 26118
/proc/meminfo: memFree=28172432/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100345 s]
/proc/loadavg: 2.02 2.00 1.69 3/178 26118
/proc/meminfo: memFree=28172432/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300174 s]
/proc/loadavg: 2.02 2.00 1.69 3/178 26118
/proc/meminfo: memFree=28172432/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700159 s]
/proc/loadavg: 2.02 2.00 1.69 3/178 26118
/proc/meminfo: memFree=28172432/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.02 2.00 1.69 3/182 26122
/proc/meminfo: memFree=28110424/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=12476 CPUtime=0.31 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 4374 0 0 0 28 3 0 0 20 0 1 0 376126558 12775424 2742 33554432000 4194304 6004724 140736383603408 140736383597872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 3119 2742 164 442 0 2673 0
[pid=26121] ppid=26119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26121/stat : 26121 (cp2_pre.sh) S 26119 26118 25783 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376126589 9367552 276 33554432000 4194304 5064252 140734531740560 140734531739264 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26121/statm: 2287 276 234 213 0 72 0
[pid=26122] ppid=26121 vsize=49088 CPUtime=1.17 cores=0,2,4,6
/proc/26122/stat : 26122 (coprocessor) R 26121 26118 25783 0 -1 4202496 10897 0 0 0 116 1 0 0 20 0 1 0 376126590 50266112 11675 33554432000 4194304 6586260 140733699852208 140733699847800 5598875 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26122/statm: 12272 11675 191 584 0 11684 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 79860

[startup+3.10028 s]
/proc/loadavg: 2.02 2.00 1.69 3/180 26125
/proc/meminfo: memFree=28131816/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 41504

[startup+6.30023 s]
/proc/loadavg: 2.02 2.00 1.69 3/181 26127
/proc/meminfo: memFree=27917448/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=161892 CPUtime=3.41 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 31581 0 0 0 334 7 0 0 20 0 1 0 376126846 165777408 35906 33554432000 4194304 5654031 140736824711088 140736824708696 4214550 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26127/statm: 40473 35906 140 357 0 40113 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 203396

[startup+12.7002 s]
/proc/loadavg: 2.02 2.00 1.70 3/181 26127
/proc/meminfo: memFree=27904552/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=162032 CPUtime=9.81 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 31616 0 0 0 974 7 0 0 20 0 1 0 376126846 165920768 35941 33554432000 4194304 5654031 140736824711088 140736824708984 4215112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26127/statm: 40508 35941 140 357 0 40148 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 203536

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.70 3/181 26127
/proc/meminfo: memFree=27867000/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=162968 CPUtime=22.6 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 31864 0 0 0 2253 7 0 0 20 0 1 0 376126846 166879232 36693 33554432000 4194304 5654031 140736824711088 140736824698904 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26127/statm: 40742 36693 141 357 0 40382 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 204472

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 1.71 3/181 26127
/proc/meminfo: memFree=27781328/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=184112 CPUtime=48.19 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 32879 0 0 0 4811 8 0 0 20 0 1 0 376126846 188530688 37662 33554432000 4194304 5654031 140736824711088 140736824698904 4208717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 46028 37662 141 357 0 45668 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 225616

[startup+102.307 s]
/proc/loadavg: 1.96 1.98 1.72 3/181 26200
/proc/meminfo: memFree=28746992/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=184112 CPUtime=99.38 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 32911 0 0 0 9930 8 0 0 20 0 1 0 376126846 188530688 38021 33554432000 4194304 5654031 140736824711088 140736824698904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 46028 38021 141 357 0 45668 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 225616

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.73 3/181 26205
/proc/meminfo: memFree=28755292/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=184628 CPUtime=159.36 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 33037 0 0 0 15928 8 0 0 20 0 1 0 376126846 189059072 38138 33554432000 4194304 5654031 140736824711088 140736824708984 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 46157 38138 141 357 0 45797 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 226132

[startup+222.3 s]
/proc/loadavg: 2.14 2.03 1.76 3/182 26246
/proc/meminfo: memFree=23988696/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=186344 CPUtime=219.35 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 33603 0 0 0 21927 8 0 0 20 0 1 0 376126846 190816256 39715 33554432000 4194304 5654031 140736824711088 140736824698904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 46586 39715 141 357 0 46226 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 227848

[startup+282.3 s]

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

/proc/loadavg: 2.00 2.00 1.91 3/181 26258
/proc/meminfo: memFree=23911128/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=294556 CPUtime=1299.2 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 65785 0 0 0 129873 47 0 0 20 0 1 0 376126846 301625344 66805 33554432000 4194304 5654031 140736824711088 140736824708872 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 73639 66805 141 357 0 73279 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 336060

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26259
/proc/meminfo: memFree=23847832/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=349380 CPUtime=1359.18 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 66663 0 0 0 135870 48 0 0 20 0 1 0 376126846 357765120 72272 33554432000 4194304 5654031 140736824711088 140736824698904 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 87345 72272 141 357 0 86985 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 390884

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26259
/proc/meminfo: memFree=23776520/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=351624 CPUtime=1419.17 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 68070 0 0 0 141867 50 0 0 20 0 1 0 376126846 360062976 72843 33554432000 4194304 5654031 140736824711088 140736824698904 4208712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 87906 72843 141 357 0 87546 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 393128

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26259
/proc/meminfo: memFree=23912776/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=353500 CPUtime=1479.16 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 69385 0 0 0 147862 54 0 0 20 0 1 0 376126846 361984000 72805 33554432000 4194304 5654031 140736824711088 140736824698904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 88375 72805 141 357 0 88015 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 395004

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26259
/proc/meminfo: memFree=23870544/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=305004 CPUtime=1539.15 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 70365 0 0 0 153860 55 0 0 20 0 1 0 376126846 312324096 71933 33554432000 4194304 5654031 140736824711088 140736824698904 4214603 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 76251 71933 141 357 0 75891 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 346508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 26262
/proc/meminfo: memFree=23833424/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=306332 CPUtime=1599.14 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 71597 0 0 0 159856 58 0 0 20 0 1 0 376126846 313683968 71295 33554432000 4194304 5654031 140736824711088 140736824698904 4215030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 76583 71295 141 357 0 76223 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 347836

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26263
/proc/meminfo: memFree=23767768/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=358816 CPUtime=1659.13 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 72544 0 0 0 165853 60 0 0 20 0 1 0 376126846 367427584 76313 33554432000 4194304 5654031 140736824711088 140736824698904 4214618 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 89704 76313 141 357 0 89344 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 400320

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26263
/proc/meminfo: memFree=23738056/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=359476 CPUtime=1719.12 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 73526 0 0 0 171849 63 0 0 20 0 1 0 376126846 368103424 74411 33554432000 4194304 5654031 140736824711088 140736824708872 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 89869 74411 141 357 0 89509 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 400980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26263
/proc/meminfo: memFree=23701704/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=310972 CPUtime=1779.12 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 74463 0 0 0 177846 66 0 0 20 0 1 0 376126846 318435328 72981 33554432000 4194304 5654031 140736824711088 140736824708776 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 77743 72981 141 357 0 77383 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 352476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 26263
/proc/meminfo: memFree=23682744/32873648 swapFree=7112/7112
[pid=26118] ppid=26116 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26118/stat : 26118 (npSolver-pbo-It) S 26116 26118 25783 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376126558 9367552 275 33554432000 4194304 5064252 140734184805744 140734184804656 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26118/statm: 2287 275 233 213 0 72 0
[pid=26119] ppid=26118 vsize=32356 CPUtime=2.84 cores=0,2,4,6
/proc/26119/stat : 26119 (npSolver-pbo) S 26118 26118 25783 0 -1 4202496 10804 17745 0 0 114 27 138 5 20 0 1 0 376126558 33132544 7732 33554432000 4194304 6004724 140736383603408 140736383589256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26119/statm: 8089 7732 183 442 0 7643 0
[pid=26127] ppid=26119 vsize=361192 CPUtime=1797.22 cores=0,2,4,6
/proc/26127/stat : 26127 (glucosInc) R 26119 26118 25783 0 -1 4202496 74826 0 0 0 179655 67 0 0 20 0 1 0 376126846 369860608 74868 33554432000 4194304 5654031 140736824711088 140736824698904 4214567 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26127/statm: 90298 74868 141 357 0 89938 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 402696

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26118 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=535614
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=334949
# CPU time returned by wait4() is 2.87056
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.07
CPU system time (s): 0.99
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 482572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.53561
system time used= 0.334949
maximum resident set size= 143476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139
involuntary context switches= 21

runsolver used 2.6126 second user time and 7.2679 second system time

The end

Name	normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
MD5SUM	8ebfb10d75940bc93d5e7784548911ff
Bench Category	OPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	18.6692
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	120
Optimality of the best value was proved	NO
Number of variables	10976
Total number of constraints	12527
Number of constraints which are clauses	10470
Number of constraints which are cardinality constraints (but not clauses)	2057
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	24
Number of terms in the objective function	10976
Biggest coefficient in the objective function	6152
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	31915
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	6152
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	31915
Number of bits of the biggest sum of numbers	15
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 3747248

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data