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