(1,30) (2,18) (3,20) (4,28) (5,26) (6,19) (9,16) (10,27) (11,17) (12,21) (14,22) (15,23) 
nodes: 961  conflicts: 51  modelTime: 661  solveTime: 967  totalTime: 1635  modelSize: 41293  readTime: 7 size: 12