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