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