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