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