(1,23) (2,19) (3,20) (4,29) (5,25) (6,27) (7,17) (9,26) (10,21) (11,18) (12,24) (13,22) (14,16) (15,30) 
nodes: 2724  conflicts: 39  modelTime: 667  solveTime: 4931  totalTime: 5604  modelSize: 41293  readTime: 6 size: 14