(1,18) (2,16) (7,27) (8,28) (11,25) (12,22) (13,20) (14,29) (15,23) 
nodes: 238  conflicts: 95  modelTime: 665  solveTime: 447  totalTime: 1119  modelSize: 41300  readTime: 7 size: 9