(1,26) (2,27) (3,16) (5,17) (7,29) (8,25) (9,20) (11,22) (13,30) (14,18) (15,24) 
nodes: 733  conflicts: 60  modelTime: 671  solveTime: 1249  totalTime: 1928  modelSize: 41293  readTime: 8 size: 11