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