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