(1,24) (2,25) (3,18) (4,27) (6,30) (8,26) (10,20) (11,23) (12,17) (14,16) (15,28) 
nodes: 763  conflicts: 51  modelTime: 660  solveTime: 1041  totalTime: 1707  modelSize: 41293  readTime: 6 size: 11