(1,20) (2,26) (4,24) (5,27) (6,19) (8,25) (10,21) (11,17) (12,29) (14,22) 
nodes: 725  conflicts: 98  modelTime: 654  solveTime: 775  totalTime: 1436  modelSize: 41300  readTime: 7 size: 10