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