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