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