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