(1,26) (2,22) (3,30) (4,5) (6,8) (7,18) (9,24) (10,20) (13,23) (14,28) (15,21) (16,27) (17,19) (25,29) 
nodes: 174  conflicts: 108  modelTime: 1731  solveTime: 3541  totalTime: 5293  modelSize: 72262  readTime: 21 size: 14