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