(1,21) (2,14) (3,18) (4,29) (6,13) (7,8) (9,24) (10,15) (11,16) (17,25) (19,28) (20,23) (22,26) (27,30) 
nodes: 2564  conflicts: 32  modelTime: 937  solveTime: 9039  totalTime: 9987  modelSize: 72264  readTime: 11 size: 14