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