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