(1,12) (2,18) (3,15) (4,19) (5,8) (6,23) (7,10) (9,30) (11,13) (14,28) (16,29) (17,26) (20,21) (22,27) (24,25) 
nodes: 3159  conflicts: 31  modelTime: 977  solveTime: 14786  totalTime: 15774  modelSize: 72266  readTime: 11 size: 15