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