(1,29) (2,22) (3,21) (4,19) (6,17) (7,27) (8,25) (9,26) (10,23) (11,18) (13,16) (14,24) (15,30) 
nodes: 7582  conflicts: 42  modelTime: 656  solveTime: 12789  totalTime: 13452  modelSize: 41293  readTime: 7 size: 13