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