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