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 New iteration (#3) [1] Encoding problem as PBO... PBO problem encoding finished. [2] Executing solver (wbo)... Parsing the solution Writing solution in CUDF file. Benchmark: 3,12,4,5,0,2,0