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