(1,22) (2,25) (3,20) (5,17) (6,16) (7,21) (8,24) (10,18) (12,29) (14,30) (15,27) 
nodes: 266  conflicts: 49  modelTime: 665  solveTime: 569  totalTime: 1241  modelSize: 41300  readTime: 7 size: 11