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