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