(1,29) (2,21) (3,27) (5,10) (6,26) (7,11) (9,13) (14,15) (16,19) (17,24) (18,23) (20,30) (22,25) 
nodes: 2290  conflicts: 91  modelTime: 1113  solveTime: 8205  totalTime: 9338  modelSize: 72262  readTime: 20 size: 13