(1,25) (2,29) (3,23) (4,17) (6,24) (7,22) (10,18) (11,19) (13,16) (14,30) (15,27) 
nodes: 10641  conflicts: 67  modelTime: 659  solveTime: 15943  totalTime: 16609  modelSize: 41293  readTime: 7 size: 11