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