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