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