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