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