(1,15) (2,23) (3,21) (7,20) (8,13) (9,26) (10,11) (12,22) (16,29) (17,24) (18,30) (19,27) (25,28) 
nodes: 16852  conflicts: 112  modelTime: 967  solveTime: 45079  totalTime: 46058  modelSize: 72262  readTime: 11 size: 13