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