(1,25) (2,24) (3,19) (5,30) (7,17) (8,29) (10,26) (11,28) (12,16) (13,27) 
nodes: 1710  conflicts: 66  modelTime: 659  solveTime: 2047  totalTime: 2713  modelSize: 41293  readTime: 7 size: 10