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