(1,19) (2,13) (3,7) (4,18) (5,23) (6,11) (8,28) (9,21) (10,26) (12,16) (14,25) (15,30) (17,27) (24,29) 
nodes: 37427  conflicts: 18  modelTime: 1717  solveTime: 165996  totalTime: 167731  modelSize: 72285  readTime: 18 size: 14