0.00/0.81 c old isEQ: 232, new EQ is 1
0.00/0.81 c old isEQ: 184, new EQ is 0
0.00/0.81 c old isEQ: 200, new EQ is 0
0.00/0.82 c old isEQ: 216, new EQ is 0
0.00/0.82 c old isEQ: 216, new EQ is 0
0.00/0.82 c old isEQ: 232, new EQ is 0
0.00/0.82 c old isEQ: 232, new EQ is 0
0.00/0.82 c old isEQ: 232, new EQ is 0
0.00/0.82 c old isEQ: 232, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 248, new EQ is 0
0.00/0.82 c old isEQ: 56, new EQ is 0
0.00/0.82 c old isEQ: 56, new EQ is 0
0.00/0.82 c old isEQ: 56, new EQ is 0
0.00/0.82 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 56, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.83 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.84 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 248, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.85 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.86 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.87 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 8, new EQ is 0
0.00/0.88 c old isEQ: 104, new EQ is 0
0.00/0.88 c old isEQ: 104, new EQ is 0
0.00/0.88 c old isEQ: 104, new EQ is 0
0.00/0.88 c old isEQ: 104, new EQ is 0
0.00/0.88 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.89 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.90 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.91 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.92 c old isEQ: 104, new EQ is 0
0.00/0.93 c old isEQ: 104, new EQ is 0
0.00/0.93 c old isEQ: 104, new EQ is 0
0.00/0.93 c old isEQ: 104, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.93 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.94 c old isEQ: 120, new EQ is 0
0.00/0.95 c old isEQ: 120, new EQ is 0
0.00/0.95 c old isEQ: 120, new EQ is 0
0.00/0.95 c old isEQ: 120, new EQ is 0
0.00/0.95 c old isEQ: 120, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.95 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.96 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.97 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.98 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/0.99 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.00/1.00 c old isEQ: 136, new EQ is 0
0.99/1.00 c old isEQ: 136, new EQ is 0
0.99/1.00 c old isEQ: 136, new EQ is 0
0.99/1.00 c old isEQ: 136, new EQ is 0
0.99/1.00 c old isEQ: 136, new EQ is 0
0.99/1.00 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.01 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.02 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.03 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.04 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.05 c old isEQ: 136, new EQ is 0
0.99/1.07 c run inc solver
0.99/1.07 c [INC SYSTEM] run initial solver
0.99/1.07 c [INC SYSTEM] preprocess with white file
2.47/2.53 c [INC SYSTEM] finished preprocessing in 1 s
2.47/2.53 c [INC SYSTEM] execute solver
15.86/15.99 c [INC SEARCH] formula is SAT
15.86/16.00 c [INC SYSTEM] solved the initial formula
16.27/16.37 npSolver-pbo: IterativeSolver.cc:102: void IterativeSolver::checkSolution(): Assertion `parser.cb.ok' failed.
16.39/19.07 HOME/npSolver-pbo-I.sh: line 18: 25334 Aborted (core dumped) ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -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-3748070-1339160732/watcher-3748070-1339160732 -o /tmp/evaluation-result-3748070-1339160732/solver-3748070-1339160732 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748070-1339160732.opb 1294984696 HOME HOME
running on 4 cores: 1,3,5,7
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.08 2.02 1.91 2/177 25333
/proc/meminfo: memFree=26545340/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[startup+0.0777961 s]
/proc/loadavg: 2.08 2.02 1.91 2/177 25333
/proc/meminfo: memFree=26545340/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 2.08 2.02 1.91 2/177 25333
/proc/meminfo: memFree=26545340/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30029 s]
/proc/loadavg: 2.08 2.02 1.91 2/177 25333
/proc/meminfo: memFree=26545340/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700272 s]
/proc/loadavg: 2.08 2.02 1.91 2/177 25333
/proc/meminfo: memFree=26545340/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.08 2.02 1.91 3/179 25335
/proc/meminfo: memFree=26357456/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112848 CPUtime=1.06 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4202496 22149 0 0 0 101 5 0 0 20 0 1 0 382201687 115556352 27891 33554432000 4194304 6004724 140734240978016 140734240972480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25334/statm: 28212 27891 157 442 0 27766 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 121996
[startup+3.10033 s]
/proc/loadavg: 2.08 2.02 1.91 3/181 25337
/proc/meminfo: memFree=26177416/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112848 CPUtime=2.52 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4202496 22164 20216 0 0 101 6 135 10 20 0 1 0 382201687 115556352 27894 33554432000 4194304 6004724 140734240978016 140734240964296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25334/statm: 28212 27894 160 442 0 27766 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 121996
[startup+6.30038 s]
/proc/loadavg: 2.08 2.02 1.91 3/180 25339
/proc/meminfo: memFree=25973324/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112848 CPUtime=2.52 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4202496 22164 20216 0 0 101 6 135 10 20 0 1 0 382201687 115556352 27894 33554432000 4194304 6004724 140734240978016 140734240964296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25334/statm: 28212 27894 160 442 0 27766 0
[pid=25339] ppid=25334 vsize=40952 CPUtime=3.75 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) R 25334 25333 14826 0 -1 4202496 8822 0 0 0 373 2 0 0 20 0 1 0 382201941 41934848 9037 33554432000 4194304 5654031 140734900176112 140734900163928 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 10238 9037 140 357 0 9878 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 162948
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.91 3/180 25339
/proc/meminfo: memFree=23723260/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112848 CPUtime=2.52 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4202496 22164 20216 0 0 101 6 135 10 20 0 1 0 382201687 115556352 27894 33554432000 4194304 6004724 140734240978016 140734240964296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25334/statm: 28212 27894 160 442 0 27766 0
[pid=25339] ppid=25334 vsize=42000 CPUtime=10.15 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) R 25334 25333 14826 0 -1 4202496 9744 0 0 0 1013 2 0 0 20 0 1 0 382201941 43008000 9246 33554432000 4194304 5654031 140734900176112 140734900163928 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 10500 9246 142 357 0 10140 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 163996
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 2.06 2.02 1.91 3/180 25339
/proc/meminfo: memFree=25202836/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112848 CPUtime=2.52 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4202496 22164 20216 0 0 101 6 135 10 20 0 1 0 382201687 115556352 27894 33554432000 4194304 6004724 140734240978016 140734240964296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25334/statm: 28212 27894 160 442 0 27766 0
[pid=25339] ppid=25334 vsize=59800 CPUtime=13.34 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) R 25334 25333 14826 0 -1 4202496 10385 0 0 0 1332 2 0 0 20 0 1 0 382201941 61235200 13444 33554432000 4194304 5654031 140734900176112 140734900163928 4216491 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14950 13444 142 357 0 14590 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 181796
[startup+17.5003 s]
/proc/loadavg: 2.06 2.02 1.91 2/181 25340
/proc/meminfo: memFree=24834240/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112852 CPUtime=2.95 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4204032 22954 20216 0 0 139 11 135 10 20 0 1 0 382201687 115560448 27917 33554432000 4194304 6004724 140734240978016 140734240972568 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25334/statm: 28213 27917 182 442 0 27767 0
[pid=25339] ppid=25334 vsize=59808 CPUtime=13.44 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) S 25334 25333 14826 0 -1 4202496 10397 0 0 0 1342 2 0 0 20 0 1 0 382201941 61243392 13456 33554432000 4194304 5654031 140734900176112 140734900174424 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14952 13456 148 357 0 14592 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 181808
[startup+18.3003 s]
/proc/loadavg: 2.06 2.02 1.91 2/181 25340
/proc/meminfo: memFree=24834240/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112852 CPUtime=2.95 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4204032 22954 20216 0 0 139 11 135 10 20 0 1 0 382201687 115560448 27917 33554432000 4194304 6004724 140734240978016 140734240972568 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25334/statm: 28213 27917 182 442 0 27767 0
[pid=25339] ppid=25334 vsize=59808 CPUtime=13.44 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) S 25334 25333 14826 0 -1 4202496 10397 0 0 0 1342 2 0 0 20 0 1 0 382201941 61243392 13456 33554432000 4194304 5654031 140734900176112 140734900174424 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14952 13456 148 357 0 14592 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 181808
[startup+18.707 s]
/proc/loadavg: 2.06 2.02 1.91 2/181 25340
/proc/meminfo: memFree=24743384/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112852 CPUtime=2.95 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4204032 22954 20216 0 0 139 11 135 10 20 0 1 0 382201687 115560448 27917 33554432000 4194304 6004724 140734240978016 140734240972568 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25334/statm: 28213 27917 182 442 0 27767 0
[pid=25339] ppid=25334 vsize=59808 CPUtime=13.44 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) S 25334 25333 14826 0 -1 4202496 10397 0 0 0 1342 2 0 0 20 0 1 0 382201941 61243392 13456 33554432000 4194304 5654031 140734900176112 140734900174424 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14952 13456 148 357 0 14592 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 181808
[startup+18.9003 s]
/proc/loadavg: 2.06 2.02 1.91 2/181 25340
/proc/meminfo: memFree=24743384/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112852 CPUtime=2.95 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4204032 22954 20216 0 0 139 11 135 10 20 0 1 0 382201687 115560448 27917 33554432000 4194304 6004724 140734240978016 140734240972568 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25334/statm: 28213 27917 182 442 0 27767 0
[pid=25339] ppid=25334 vsize=59808 CPUtime=13.44 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) S 25334 25333 14826 0 -1 4202496 10397 0 0 0 1342 2 0 0 20 0 1 0 382201941 61243392 13456 33554432000 4194304 5654031 140734900176112 140734900174424 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14952 13456 148 357 0 14592 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 181808
[startup+19.0003 s]
/proc/loadavg: 2.06 2.02 1.91 2/181 25340
/proc/meminfo: memFree=24743384/32873844 swapFree=7384/7384
[pid=25333] ppid=25331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25333/stat : 25333 (npSolver-pbo-I.) S 25331 25333 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382201687 9367552 274 33554432000 4194304 5064252 140736934902672 140736934901584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25333/statm: 2287 274 233 213 0 72 0
[pid=25334] ppid=25333 vsize=112852 CPUtime=2.95 cores=1,3,5,7
/proc/25334/stat : 25334 (npSolver-pbo) S 25333 25333 14826 0 -1 4204032 22954 20216 0 0 139 11 135 10 20 0 1 0 382201687 115560448 27917 33554432000 4194304 6004724 140734240978016 140734240972568 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25334/statm: 28213 27917 182 442 0 27767 0
[pid=25339] ppid=25334 vsize=59808 CPUtime=13.44 cores=1,3,5,7
/proc/25339/stat : 25339 (glucosInc) S 25334 25333 14826 0 -1 4202496 10397 0 0 0 1342 2 0 0 20 0 1 0 382201941 61243392 13456 33554432000 4194304 5654031 140734900176112 140734900174424 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25339/statm: 14952 13456 148 357 0 14592 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 181808
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25333 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=751581
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=225965
# CPU time returned by wait4() is 2.97755
# while last known CPU time is 16.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 19.0776
CPU time (s): 16.39
CPU user time (s): 16.16
CPU system time (s): 0.23
CPU usage (%): 85.9123
Max. virtual memory (cumulated for all children) (KiB): 225180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.75158
system time used= 0.225965
maximum resident set size= 133108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24379
involuntary context switches= 24
runsolver used 0.06399 second user time and 0.103984 second system time
The end