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