(1,14) (2,23) (3,11) (4,28) (5,15) (6,7) (8,10) (9,13) (12,24) (16,22) (17,29) (18,20) (19,21) (25,30) (26,27) 
nodes: 213369  conflicts: 24  modelTime: 968  solveTime: 984191  totalTime: 985170  modelSize: 72285  readTime: 11 size: 15