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