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