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