(1,29) (2,18) (3,28) (4,26) (5,19) (6,14) (7,16) (8,9) (10,25) (11,21) (15,30) (17,20) (22,24) (23,27) 
nodes: 21725  conflicts: 32  modelTime: 1721  solveTime: 80293  totalTime: 82034  modelSize: 72264  readTime: 20 size: 14