(1,19) (3,25) (4,29) (5,16) (6,20) (9,28) (10,26) (11,23) (12,24) (15,18) 
nodes: 657  conflicts: 83  modelTime: 665  solveTime: 1179  totalTime: 1850  modelSize: 41301  readTime: 6 size: 10