(1,25) (2,29) (5,16) (7,22) (8,26) (9,17) (11,20) (12,28) (13,21) (14,27) 
nodes: 740  conflicts: 99  modelTime: 666  solveTime: 1361  totalTime: 2034  modelSize: 41300  readTime: 7 size: 10