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