(1,20) (4,19) (5,26) (6,25) (7,29) (8,16) (10,22) (12,23) (14,17) 
nodes: 775  conflicts: 79  modelTime: 665  solveTime: 630  totalTime: 1302  modelSize: 41300  readTime: 7 size: 9