Reading CUDF and generating status / repo... Generating cache... Beginning dependencies problem solving... [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution New iteration (#2) [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution Writing solution in CUDF file. Benchmark: 2,402,6,350,0,45,0