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