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