(1,29) (2,27) (3,21) (4,18) (5,25) (6,23) (7,17) (8,26) (10,19) (11,24) (12,16) (13,30) (15,28) 
nodes: 1774  conflicts: 37  modelTime: 660  solveTime: 1970  totalTime: 2637  modelSize: 41293  readTime: 7 size: 13