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