(1,9) (2,29) (3,26) (4,25) (5,12) (6,18) (7,10) (8,24) (11,16) (13,30) (14,23) (15,21) (17,22) (19,20) (27,28) 
nodes: 26382  conflicts: 49  modelTime: 969  solveTime: 85998  totalTime: 86991  modelSize: 72263  readTime: 24 size: 15