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