(1,13) (2,12) (3,19) (4,26) (5,20) (6,28) (7,30) (8,29) (9,16) (10,23) (11,21) (14,27) (15,17) (18,24) (22,25) 
nodes: 45729  conflicts: 35  modelTime: 1708  solveTime: 218525  totalTime: 220271  modelSize: 72262  readTime: 38 size: 15