(1,27) (2,24) (3,29) (5,22) (6,21) (7,28) (9,23) (10,19) (11,18) (12,16) (13,20) (15,17) 
nodes: 395  conflicts: 73  modelTime: 658  solveTime: 689  totalTime: 1354  modelSize: 41293  readTime: 7 size: 12