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