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