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