(1,26) (2,22) (3,29) (5,23) (6,24) (7,30) (9,18) (10,20) (11,25) (13,17) (14,21) 
nodes: 889  conflicts: 68  modelTime: 659  solveTime: 1540  totalTime: 2205  modelSize: 41293  readTime: 6 size: 11