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