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