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