(1,30) (2,27) (3,16) (5,21) (6,23) (7,18) (8,22) (9,17) (11,19) (14,25) (15,28) 
nodes: 859  conflicts: 65  modelTime: 671  solveTime: 1154  totalTime: 1831  modelSize: 41292  readTime: 6 size: 11