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