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