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