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