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