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