(1,17) (2,3) (4,18) (5,9) (6,30) (7,26) (8,11) (13,19) (14,27) (15,21) (16,29) (20,22) (23,24) (25,28) 
nodes: 1167  conflicts: 60  modelTime: 1725  solveTime: 7124  totalTime: 8869  modelSize: 72262  readTime: 20 size: 14