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