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