23.58/23.69 c old isEQ: 104, new EQ is 1
23.58/23.69 c old isEQ: 104, new EQ is 0
23.58/23.69 c old isEQ: 184, new EQ is 0
23.58/23.69 c old isEQ: 184, new EQ is 0
23.58/23.69 c old isEQ: 184, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.69 c old isEQ: 120, new EQ is 0
23.58/23.70 c old isEQ: 120, new EQ is 0
23.68/23.70 c old isEQ: 120, new EQ is 0
23.68/23.70 c old isEQ: 120, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.70 c old isEQ: 184, new EQ is 0
23.68/23.71 c old isEQ: 184, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.71 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 104, new EQ is 0
23.68/23.72 c old isEQ: 120, new EQ is 0
23.68/23.72 c old isEQ: 120, new EQ is 0
23.68/23.72 c old isEQ: 120, new EQ is 0
23.68/23.72 c old isEQ: 120, new EQ is 0
23.68/23.72 c old isEQ: 120, new EQ is 0
23.68/23.72 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.73 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.74 c old isEQ: 152, new EQ is 0
23.68/23.75 c old isEQ: 152, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 24, new EQ is 0
23.68/23.75 c old isEQ: 184, new EQ is 0
23.68/23.75 c old isEQ: 184, new EQ is 0
23.68/23.75 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.76 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 184, new EQ is 0
23.68/23.77 c old isEQ: 136, new EQ is 0
23.68/23.77 c old isEQ: 136, new EQ is 0
23.68/23.77 c old isEQ: 136, new EQ is 0
23.68/23.77 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.78 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.79 c old isEQ: 136, new EQ is 0
23.68/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 136, new EQ is 0
23.78/23.80 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.81 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.82 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.83 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.84 c old isEQ: 232, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.85 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.86 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.87 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.88 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 248, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.89 c old isEQ: 56, new EQ is 0
23.78/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.90 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.91 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.92 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.93 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.94 c old isEQ: 56, new EQ is 0
23.88/23.95 c old isEQ: 56, new EQ is 0
23.88/23.95 c old isEQ: 56, new EQ is 0
23.88/23.95 c old isEQ: 56, new EQ is 0
23.88/23.95 c old isEQ: 56, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.95 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.96 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.97 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
23.88/23.98 c old isEQ: 168, new EQ is 0
177.86/177.97 terminate called after throwing an instance of 'std::bad_alloc'
177.86/177.97 what(): std::bad_alloc
183.78/450.31 HOME/npSolver-pbo-Itdqb.sh: line 18: 23767 Aborted (core dumped) ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -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-3751273-1339160241/watcher-3751273-1339160241 -o /tmp/evaluation-result-3751273-1339160241/solver-3751273-1339160241 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751273-1339160241.opb 1842263265 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.17 2.04 2.01 2/178 23766
/proc/meminfo: memFree=31401000/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[startup+0.0844299 s]
/proc/loadavg: 2.17 2.04 2.01 2/178 23766
/proc/meminfo: memFree=31401000/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100304 s]
/proc/loadavg: 2.17 2.04 2.01 2/178 23766
/proc/meminfo: memFree=31401000/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 2.17 2.04 2.01 2/178 23766
/proc/meminfo: memFree=31401000/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.17 2.04 2.01 2/178 23766
/proc/meminfo: memFree=31401000/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.17 2.04 2.01 3/180 23768
/proc/meminfo: memFree=31309016/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=154656 CPUtime=1.48 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 25379 0 0 0 141 7 0 0 20 0 1 0 382149943 158367744 37076 33554432000 4194304 6004724 140736536769296 140736536765320 4969078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 38664 37077 130 442 0 38218 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 163804
[startup+3.10031 s]
/proc/loadavg: 2.17 2.04 2.01 3/180 23768
/proc/meminfo: memFree=31202396/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=312860 CPUtime=3.09 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 49123 0 0 0 295 14 0 0 20 0 1 0 382149943 320368640 75606 33554432000 4194304 6004724 140736536769296 140736536765320 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 78215 75606 130 442 0 77769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 322008
[startup+6.30031 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 23768
/proc/meminfo: memFree=30883892/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=629420 CPUtime=6.29 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 96128 0 0 0 600 29 0 0 20 0 1 0 382149943 644526080 153717 33554432000 4194304 6004724 140736536769296 140736536765320 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 157355 153718 130 442 0 156909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 638568
[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/180 23768
/proc/meminfo: memFree=30250072/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=1256196 CPUtime=12.69 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 188054 0 0 0 1212 57 0 0 20 0 1 0 382149943 1286344704 306323 33554432000 4194304 6004724 140736536769296 140736536765320 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 314049 306324 130 442 0 313603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1265344
[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/180 23768
/proc/meminfo: memFree=28428588/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=2944048 CPUtime=25.48 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 541754 0 0 0 2402 146 0 0 20 0 1 0 382149943 3014705152 735688 33554432000 4194304 6004724 140736536769296 140736536764680 4582605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 736012 735688 162 442 0 735566 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2953196
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/180 23768
/proc/meminfo: memFree=26445756/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=5041224 CPUtime=51.08 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 544008 0 0 0 4908 200 0 0 20 0 1 0 382149943 5162213376 1241276 33554432000 4194304 6004724 140736536769296 140736536763896 4534766 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 1260306 1241276 162 442 0 1259860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5050372
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 23808
/proc/meminfo: memFree=20626932/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=11332744 CPUtime=102.28 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 550029 0 0 0 9853 375 0 0 20 0 1 0 382149943 11604729856 2219724 33554432000 4194304 6004724 140736536769296 140736536763896 4579232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 2833186 2219724 162 442 0 2832740 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11341892
[startup+162.3 s]
/proc/loadavg: 2.75 2.20 2.06 3/182 23813
/proc/meminfo: memFree=10859136/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 275 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 275 233 213 0 72 0
[pid=23767] ppid=23766 vsize=11398428 CPUtime=162.26 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) R 23766 23766 17615 0 -1 4202496 552917 0 0 0 15809 417 0 0 20 0 1 0 382149943 11671990272 2833019 33554432000 4194304 6004724 140736536769296 140736536765016 4582666 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23767/statm: 2849607 2833019 211 442 0 2849161 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11407576
[startup+222.3 s]
/proc/loadavg: 3.61 2.50 2.17 2/183 23836
/proc/meminfo: memFree=242036/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=181.55 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 779 0 0 20 0 1 0 382149943 11672064000 2833568 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833568 219 442 0 2849179 0
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (KiB) 11407648
[startup+282.3 s]
/proc/loadavg: 4.54 2.98 2.35 2/182 23837
/proc/meminfo: memFree=191444/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=181.63 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 787 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 181.63
Current children cumulated vsize (KiB) 11407648
heavy processes:
%CPU=14 pid=23814 uid=0 cmd=
[startup+342.3 s]
/proc/loadavg: 4.37 3.21 2.47 1/181 23839
/proc/meminfo: memFree=5726864/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=182.51 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 875 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 182.51
Current children cumulated vsize (KiB) 11407648
heavy processes:
%CPU=11 pid=23814 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 23767 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 4.84 3.55 2.63 1/181 23839
/proc/meminfo: memFree=633160/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
heavy processes:
%CPU=13 pid=23814 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 23767 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 4.85 3.57 2.64 1/181 23839
/proc/meminfo: memFree=623328/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+435.1 s]
/proc/loadavg: 4.96 3.70 2.71 1/181 23839
/proc/meminfo: memFree=589780/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+441.5 s]
/proc/loadavg: 4.97 3.75 2.73 1/181 23839
/proc/meminfo: memFree=579532/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+444.7 s]
/proc/loadavg: 4.97 3.75 2.73 1/181 23839
/proc/meminfo: memFree=573764/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+447.9 s]
/proc/loadavg: 4.89 3.75 2.74 1/181 23839
/proc/meminfo: memFree=566816/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+449.5 s]
/proc/loadavg: 4.89 3.75 2.74 1/181 23839
/proc/meminfo: memFree=565576/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+449.907 s]
/proc/loadavg: 4.89 3.75 2.74 1/181 23839
/proc/meminfo: memFree=568164/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) S 23764 23766 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
[pid=23767] ppid=23766 vsize=11398500 CPUtime=183.66 cores=1,3,5,7
/proc/23767/stat : 23767 (npSolver-pbo) S 23766 23766 17615 0 -1 4204032 554672 0 0 0 17376 990 0 0 20 0 1 0 382149943 11672064000 2833567 33554432000 4194304 6004724 140736536769296 140736536764968 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23767/statm: 2849625 2833567 218 442 0 2849179 0
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (KiB) 11407648
[startup+450.3 s]
/proc/loadavg: 4.89 3.75 2.74 1/181 23839
/proc/meminfo: memFree=568164/32873844 swapFree=7124/7124
[pid=23766] ppid=23764 vsize=9148 CPUtime=183.78 cores=1,3,5,7
/proc/23766/stat : 23766 (npSolver-pbo-It) D 23764 23766 17615 0 -1 4202496 358 554672 0 0 0 0 17376 1002 20 0 1 0 382149943 9367552 271 33554432000 4194304 5064252 140735337952288 140735337951200 4428256 0 65536 4100 65538 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/23766/statm: 2287 271 229 213 0 72 0
Current children cumulated CPU time (s) 183.78
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 450.321
CPU time (s): 183.797
CPU user time (s): 173.767
CPU system time (s): 10.0305
CPU usage (%): 40.8146
Max. virtual memory (cumulated for all children) (KiB): 15536164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.767
system time used= 10.0305
maximum resident set size= 11334272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555046
page faults= 1
swaps= 0
block input operations= 48
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1781364
involuntary context switches= 209
runsolver used 0.72289 second user time and 1.85572 second system time
The end