(1,16) (2,21) (3,24) (4,29) (8,25) (9,22) (10,26) (11,19) (12,17) (13,28) (15,20) 
nodes: 668  conflicts: 66  modelTime: 659  solveTime: 1078  totalTime: 1743  modelSize: 41293  readTime: 6 size: 11