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