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