(1,21) (2,15) (3,18) (4,27) (5,29) (6,10) (7,22) (8,19) (11,28) (12,26) (13,30) (14,25) (16,23) (17,20) 
nodes: 3616  conflicts: 59  modelTime: 961  solveTime: 13471  totalTime: 14443  modelSize: 72263  readTime: 11 size: 14