(2,6) (3,9) (4,15) (5,23) (7,25) (8,30) (10,11) (14,24) (19,28) (20,29) (21,22) 
nodes: 11151  conflicts: 106  modelTime: 940  solveTime: 32420  totalTime: 33371  modelSize: 72262  readTime: 11 size: 11