Optimization criteria: trendy Parsing CUDF /home/competition/data/datasets/caixa//582.cudf... Package universe to CNF... ---- Begin of dist2cnf ---- ---- End of dist2cnf ---- Checking packages... FAIL ERROR: get_pkg_ver_list: requested package not found in the universe.