(1,21) (2,27) (3,18) (4,20) (5,22) (6,28) (7,26) (8,23) (9,29) (10,24) (11,17) (13,30) (14,25) (15,19) 
nodes: 2797  conflicts: 34  modelTime: 660  solveTime: 4547  totalTime: 5214  modelSize: 41293  readTime: 7 size: 14