(1,25) (2,21) (3,20) (6,18) (7,19) (8,24) (9,17) (10,27) (11,28) (13,22) (15,29) 
nodes: 1282  conflicts: 82  modelTime: 807  solveTime: 921  totalTime: 1735  modelSize: 41298  readTime: 7 size: 11