(1,12) (2,17) (3,29) (4,19) (5,13) (6,20) (7,8) (9,11) (14,25) (15,21) (16,27) (18,28) (22,23) (24,26) 
nodes: 43229  conflicts: 66  modelTime: 1718  solveTime: 177319  totalTime: 179058  modelSize: 72264  readTime: 21 size: 14