4.59/4.64 c old isEQ: 156, new EQ is 1
4.59/4.64 c old isEQ: 236, new EQ is 1
4.59/4.64 c old isEQ: 236, new EQ is 0
4.59/4.64 c old isEQ: 76, new EQ is 0
4.59/4.64 c old isEQ: 220, new EQ is 0
4.59/4.64 c old isEQ: 140, new EQ is 0
4.59/4.64 c old isEQ: 220, new EQ is 0
4.59/4.64 c old isEQ: 220, new EQ is 0
4.59/4.64 c old isEQ: 220, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 28, new EQ is 0
4.59/4.64 c old isEQ: 12, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 76, new EQ is 0
4.59/4.65 c old isEQ: 60, new EQ is 0
4.59/4.65 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.66 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 60, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.67 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.68 c old isEQ: 108, new EQ is 0
4.59/4.69 c old isEQ: 108, new EQ is 0
4.59/4.69 c old isEQ: 108, new EQ is 0
4.59/4.69 c old isEQ: 108, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.69 c old isEQ: 156, new EQ is 0
4.59/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 156, new EQ is 0
4.69/4.70 c old isEQ: 92, new EQ is 0
4.69/4.70 c old isEQ: 92, new EQ is 0
4.69/4.70 c old isEQ: 92, new EQ is 0
4.69/4.70 c old isEQ: 92, new EQ is 0
4.69/4.70 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 92, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.71 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.72 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.73 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 28, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.74 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.75 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.76 c old isEQ: 140, new EQ is 0
4.69/4.77 c old isEQ: 156, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.77 c old isEQ: 220, new EQ is 0
4.69/4.78 c old isEQ: 220, new EQ is 0
4.69/4.78 c old isEQ: 220, new EQ is 0
4.69/4.78 c old isEQ: 220, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.78 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.79 c old isEQ: 28, new EQ is 0
4.69/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.80 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.81 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 28, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.82 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.83 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.84 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.85 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.86 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 60, new EQ is 0
4.79/4.87 c old isEQ: 124, new EQ is 0
4.79/4.87 c old isEQ: 124, new EQ is 0
4.79/4.87 c old isEQ: 124, new EQ is 0
4.79/4.87 c old isEQ: 124, new EQ is 0
4.79/4.87 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.88 c old isEQ: 124, new EQ is 0
4.79/4.89 c old isEQ: 124, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.79/4.89 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.90 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.91 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.92 c old isEQ: 44, new EQ is 0
4.89/4.93 c old isEQ: 44, new EQ is 0
4.89/4.93 c old isEQ: 44, new EQ is 0
4.89/4.93 c old isEQ: 44, new EQ is 0
4.89/4.93 c old isEQ: 44, new EQ is 0
4.89/4.93 c old isEQ: 44, new EQ is 0
58.08/59.81 c run usual solver
1800.01/1805.21 c error: unexpected solver exit code
1800.01/1805.21 s UNKNOWN
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-3749673-1339166112/watcher-3749673-1339166112 -o /tmp/evaluation-result-3749673-1339166112/solver-3749673-1339166112 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749673-1339166112.opb 2018711844 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.13 2.04 2.01 2/179 23241
/proc/meminfo: memFree=28706888/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[startup+0.037236 s]
/proc/loadavg: 2.13 2.04 2.01 2/179 23241
/proc/meminfo: memFree=28706888/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.13 2.04 2.01 2/179 23241
/proc/meminfo: memFree=28706888/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 2.13 2.04 2.01 2/179 23241
/proc/meminfo: memFree=28706888/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.13 2.04 2.01 2/179 23241
/proc/meminfo: memFree=28706888/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 23243
/proc/meminfo: memFree=28609176/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=153608 CPUtime=1.49 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 25129 0 0 0 143 6 0 0 20 0 1 0 382739947 157294592 36826 33554432000 4194304 6004724 140736042210320 140736042206344 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 38402 36826 130 442 0 37956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162756
[startup+3.10026 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 23243
/proc/meminfo: memFree=28505968/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=309960 CPUtime=3.09 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 48432 0 0 0 297 12 0 0 20 0 1 0 382739947 317399040 74915 33554432000 4194304 6004724 140736042210320 140736042205960 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 77490 74915 130 442 0 77044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 319108
[startup+6.30026 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 23243
/proc/meminfo: memFree=28122864/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=715692 CPUtime=6.28 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 111204 0 0 0 600 28 0 0 20 0 1 0 382739947 732868608 171950 33554432000 4194304 6004724 140736042210320 140736042204616 4534728 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 178923 171950 162 442 0 178477 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 724840
[startup+12.7003 s]
/proc/loadavg: 2.18 2.06 2.01 3/181 23243
/proc/meminfo: memFree=27641040/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=1633196 CPUtime=12.69 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 111877 0 0 0 1220 49 0 0 20 0 1 0 382739947 1672392704 285617 33554432000 4194304 6004724 140736042210320 140736042204808 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 408299 285617 162 442 0 407853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1642344
[startup+25.5003 s]
/proc/loadavg: 2.15 2.05 2.01 3/181 23243
/proc/meminfo: memFree=26686860/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=2681784 CPUtime=25.49 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 112850 0 0 0 2470 79 0 0 20 0 1 0 382739947 2746146816 518583 33554432000 4194304 6004724 140736042210320 140736042205128 4579842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 670446 518583 162 442 0 670000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2690932
[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.01 3/181 23243
/proc/meminfo: memFree=24689940/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778964 CPUtime=51.08 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) R 23241 23241 17323 0 -1 4202496 114850 0 0 0 4967 141 0 0 20 0 1 0 382739947 4893659136 1014718 33554432000 4194304 6004724 140736042210320 140736042204920 4536240 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23242/statm: 1194741 1014718 162 442 0 1194295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4788112
[startup+102.307 s]
/proc/loadavg: 2.76 2.22 2.07 3/183 23245
/proc/meminfo: memFree=15815824/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=58.11 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117092 0 0 0 5139 672 0 0 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042204368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23244] ppid=23242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23244/stat : 23244 (cp2_pre.sh) S 23242 23241 17323 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382745929 9367552 277 33554432000 4194304 5064252 140735922215584 140735922214288 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23244/statm: 2287 277 234 213 0 72 0
[pid=23245] ppid=23244 vsize=6362104 CPUtime=42.45 cores=0,2,4,6
/proc/23245/stat : 23245 (coprocessor) R 23244 23241 17323 0 -1 4202496 31417 0 0 0 4070 175 0 0 20 0 1 0 382745931 6514794496 1294300 33554432000 4194304 6586260 140733251409280 140733251405160 4556770 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23245/statm: 1590526 1294300 155 584 0 1589938 0
Current children cumulated CPU time (s) 100.56
Current children cumulated vsize (KiB) 11159376
[startup+162.3 s]
/proc/loadavg: 2.59 2.30 2.10 3/183 23245
/proc/meminfo: memFree=14514476/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=58.11 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117092 0 0 0 5139 672 0 0 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042204368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23244] ppid=23242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23244/stat : 23244 (cp2_pre.sh) S 23242 23241 17323 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382745929 9367552 277 33554432000 4194304 5064252 140735922215584 140735922214288 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23244/statm: 2287 277 234 213 0 72 0
[pid=23245] ppid=23244 vsize=6362108 CPUtime=100.05 cores=0,2,4,6
/proc/23245/stat : 23245 (coprocessor) R 23244 23241 17323 0 -1 4202496 31420 0 0 0 9549 456 0 0 20 0 1 0 382745931 6514798592 1294303 33554432000 4194304 6586260 140733251409280 140733251405032 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 237 0 0
/proc/23245/statm: 1590527 1294303 157 584 0 1589939 0
Current children cumulated CPU time (s) 158.16
Current children cumulated vsize (KiB) 11159380
[startup+222.3 s]
/proc/loadavg: 2.21 2.24 2.09 3/183 23246
/proc/meminfo: memFree=12981080/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=58.11 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117092 0 0 0 5139 672 0 0 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042204368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23244] ppid=23242 vsize=9148 CPUtime=159.17 cores=0,2,4,6
/proc/23244/stat : 23244 (cp2_pre.sh) S 23242 23241 17323 0 -1 4202496 631 31422 0 0 0 0 15148 769 20 0 1 0 382745929 9367552 281 33554432000 4194304 5064252 140735922215584 140735922214288 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23244/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 217.28
Current children cumulated vsize (KiB) 4797272
[startup+282.3 s]
/proc/loadavg: 2.08 2.19 2.08 3/183 23249
/proc/meminfo: memFree=14230192/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8482168 CPUtime=59.38 cores=0,2,4,6
################
# More data... #
################
/proc/23249/statm: 2133019 1884808 104 248 0 2132768 0
Current children cumulated CPU time (s) 1357.17
Current children cumulated vsize (KiB) 13329348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23408
/proc/meminfo: memFree=14332128/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8535196 CPUtime=1199.2 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 874386 0 0 0 119589 331 0 0 20 0 1 0 382762236 8740040704 1885618 33554432000 4194304 5208918 140733695733904 140733695732040 4229125 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2133799 1885618 104 248 0 2133548 0
Current children cumulated CPU time (s) 1417.17
Current children cumulated vsize (KiB) 13332468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23408
/proc/meminfo: memFree=14315580/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8535316 CPUtime=1259.18 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 879059 0 0 0 125584 334 0 0 20 0 1 0 382762236 8740163584 1886188 33554432000 4194304 5208918 140733695733904 140733695732040 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2133829 1886188 104 248 0 2133578 0
Current children cumulated CPU time (s) 1477.15
Current children cumulated vsize (KiB) 13332588
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23411
/proc/meminfo: memFree=14346724/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8535712 CPUtime=1319.17 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 879141 0 0 0 131583 334 0 0 20 0 1 0 382762236 8740569088 1886270 33554432000 4194304 5208918 140733695733904 140733695731752 4229859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2133928 1886270 104 248 0 2133677 0
Current children cumulated CPU time (s) 1537.14
Current children cumulated vsize (KiB) 13332984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23434
/proc/meminfo: memFree=14301000/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8535956 CPUtime=1379.16 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 884344 0 0 0 137578 338 0 0 20 0 1 0 382762236 8740818944 1886330 33554432000 4194304 5208918 140733695733904 140733695731752 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2133989 1886330 104 248 0 2133738 0
Current children cumulated CPU time (s) 1597.13
Current children cumulated vsize (KiB) 13333228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23434
/proc/meminfo: memFree=14299912/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8536036 CPUtime=1439.15 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 889505 0 0 0 143574 341 0 0 20 0 1 0 382762236 8740900864 1886366 33554432000 4194304 5208918 140733695733904 140733695730280 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2134009 1886366 104 248 0 2133758 0
Current children cumulated CPU time (s) 1657.12
Current children cumulated vsize (KiB) 13333308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23435
/proc/meminfo: memFree=14293168/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8536244 CPUtime=1499.14 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 894683 0 0 0 149570 344 0 0 20 0 1 0 382762236 8741113856 1886930 33554432000 4194304 5208918 140733695733904 140733695732040 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2134061 1886930 104 248 0 2133810 0
Current children cumulated CPU time (s) 1717.11
Current children cumulated vsize (KiB) 13333516
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 23435
/proc/meminfo: memFree=14301536/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8536448 CPUtime=1559.14 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 899860 0 0 0 155567 347 0 0 20 0 1 0 382762236 8741322752 1886981 33554432000 4194304 5208918 140733695733904 140733695732040 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2134112 1886981 104 248 0 2133861 0
Current children cumulated CPU time (s) 1777.11
Current children cumulated vsize (KiB) 13333720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.2 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 23435
/proc/meminfo: memFree=14292228/32873844 swapFree=7372/7372
[pid=23241] ppid=23239 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23241/stat : 23241 (npSolver-pbo.sh) S 23239 23241 17323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382739947 9367552 274 33554432000 4194304 5064252 140734484687712 140734484686624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23241/statm: 2287 274 233 213 0 72 0
[pid=23242] ppid=23241 vsize=4778976 CPUtime=217.96 cores=0,2,4,6
/proc/23242/stat : 23242 (npSolver-pbo) S 23241 23241 17323 0 -1 4202496 117099 32321 0 0 5139 673 15148 836 20 0 1 0 382739947 4893671424 1024969 33554432000 4194304 6004724 140736042210320 140736042205456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 169 0 0
/proc/23242/statm: 1194744 1024969 170 442 0 1194298 0
[pid=23248] ppid=23242 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/23248/stat : 23248 (satsolver.sh) S 23242 23241 17323 0 -1 4202496 597 0 0 0 0 1 0 0 20 0 1 0 382762234 9367552 265 33554432000 4194304 5064252 140735148344096 140735148343008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23248/statm: 2287 265 226 213 0 72 0
[pid=23249] ppid=23248 vsize=8536580 CPUtime=1582.04 cores=0,2,4,6
/proc/23249/stat : 23249 (glucose) R 23248 23241 17323 0 -1 4202496 899862 0 0 0 157857 347 0 0 20 0 1 0 382762236 8741457920 1886983 33554432000 4194304 5208918 140733695733904 140733695731656 4229232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23249/statm: 2134145 1886983 104 248 0 2133894 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13333852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23241 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1805.22
CPU time (s): 1800.01
CPU user time (s): 1781.44
CPU system time (s): 18.57
CPU usage (%): 99.7114
Max. virtual memory (cumulated for all children) (KiB): 13427148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.70944 second user time and 10.8264 second system time
The end