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