(2,18) (4,17) (5,23) (6,28) (9,22) (12,21) (13,16) (14,19) (15,30) 
nodes: 240  conflicts: 90  modelTime: 667  solveTime: 493  totalTime: 1167  modelSize: 41300  readTime: 7 size: 9