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