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