(1,10) (2,27) (3,4) (5,18) (6,12) (7,30) (8,13) (9,23) (11,19) (14,29) (15,21) (16,28) (17,25) (20,22) (24,26) 
nodes: 29262  conflicts: 31  modelTime: 1738  solveTime: 190620  totalTime: 192379  modelSize: 72268  readTime: 20 size: 15