(1,26) (2,21) (4,29) (5,25) (6,24) (8,17) (9,23) (10,18) (11,19) (12,16) (13,27) (14,20) 
nodes: 503  conflicts: 65  modelTime: 665  solveTime: 900  totalTime: 1572  modelSize: 41293  readTime: 7 size: 12