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