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