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