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