(2,20) (3,25) (4,28) (6,17) (7,23) (8,22) (9,21) (10,19) (11,26) (12,18) (13,16) (15,29) 
nodes: 1350  conflicts: 63  modelTime: 659  solveTime: 1325  totalTime: 1991  modelSize: 41293  readTime: 7 size: 12