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