(1,25) (2,16) (3,14) (4,8) (5,7) (6,21) (9,23) (10,12) (11,18) (13,28) (15,20) (17,22) (24,27) (26,29) 
nodes: 186000  conflicts: 31  modelTime: 1562  solveTime: 748178  totalTime: 749758  modelSize: 72275  readTime: 18 size: 14