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