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