(1,7) (2,30) (3,20) (4,17) (5,10) (6,24) (8,27) (9,21) (11,19) (12,22) (13,23) (14,18) (15,26) (16,29) (25,28) 
nodes: 3034  conflicts: 2  modelTime: 1697  solveTime: 15898  totalTime: 17609  modelSize: 72338  readTime: 14 size: 15