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