(3,26) (4,20) (5,27) (8,18) (9,19) (10,25) (11,17) (12,21) (13,16) (15,22) 
nodes: 296  conflicts: 76  modelTime: 661  solveTime: 515  totalTime: 1182  modelSize: 41300  readTime: 6 size: 10