(1,16) (3,18) (5,17) (6,23) (8,25) (9,28) (11,20) (14,22) (15,24) 
nodes: 415  conflicts: 88  modelTime: 669  solveTime: 690  totalTime: 1366  modelSize: 41300  readTime: 7 size: 9