(1,23) (2,30) (3,20) (4,24) (6,28) (8,25) (9,26) (10,21) (11,16) (13,27) (14,29) 
nodes: 456  conflicts: 66  modelTime: 804  solveTime: 919  totalTime: 1730  modelSize: 41293  readTime: 7 size: 11