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