(1,17) (2,30) (4,26) (5,27) (6,28) (7,18) (9,16) (10,29) (11,21) (13,20) (14,25) (15,23) 
nodes: 2159  conflicts: 59  modelTime: 660  solveTime: 3380  totalTime: 4046  modelSize: 41298  readTime: 6 size: 12