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