(1,30) (3,28) (4,22) (6,27) (8,23) (10,21) (11,19) (12,25) (13,17) (15,16) 
nodes: 277  conflicts: 88  modelTime: 791  solveTime: 516  totalTime: 1314  modelSize: 41300  readTime: 7 size: 10