(1,29) (2,25) (3,26) (5,20) (6,24) (8,17) (9,23) (10,16) (12,19) (13,22) 
nodes: 920  conflicts: 71  modelTime: 669  solveTime: 1126  totalTime: 1803  modelSize: 41301  readTime: 8 size: 10