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