(1,13) (3,19) (4,10) (5,25) (6,23) (7,20) (8,17) (9,27) (11,21) (12,30) (14,18) (15,26) (16,28) 
nodes: 4321  conflicts: 66  modelTime: 939  solveTime: 11415  totalTime: 12366  modelSize: 72262  readTime: 12 size: 13