(1,20) (2,19) (3,17) (5,18) (6,24) (7,25) (8,28) (9,27) (10,26) (11,29) (12,22) (13,23) (14,30) (15,21) 
nodes: 1736  conflicts: 30  modelTime: 659  solveTime: 1705  totalTime: 2370  modelSize: 41299  readTime: 6 size: 14