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