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