(1,29) (3,30) (4,25) (5,28) (7,16) (8,17) (10,20) (11,22) (12,18) (13,24) (15,21) 
nodes: 298  conflicts: 65  modelTime: 801  solveTime: 602  totalTime: 1410  modelSize: 41300  readTime: 7 size: 11