(2,15) (3,28) (4,26) (5,8) (6,21) (7,13) (10,12) (11,14) (16,24) (17,30) (18,20) (19,27) (22,29) (23,25) 
nodes: 27739  conflicts: 75  modelTime: 941  solveTime: 88829  totalTime: 89781  modelSize: 72262  readTime: 11 size: 14