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