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