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