(1,30) (2,21) (3,13) (4,12) (5,27) (6,23) (7,18) (8,20) (9,24) (11,16) (14,22) (25,26) 
nodes: 7454  conflicts: 91  modelTime: 939  solveTime: 15622  totalTime: 16572  modelSize: 72263  readTime: 11 size: 12