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