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