(1,20) (2,19) (3,26) (4,25) (5,10) (6,15) (8,18) (9,13) (11,29) (14,16) (17,28) 
nodes: 546  conflicts: 101  modelTime: 924  solveTime: 2323  totalTime: 3259  modelSize: 72263  readTime: 12 size: 11