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