(2,26) (3,20) (4,24) (5,19) (6,17) (7,22) (8,25) (9,21) (11,29) (12,27) (13,28) (14,16) (15,18) 
nodes: 5775  conflicts: 49  modelTime: 659  solveTime: 7969  totalTime: 8634  modelSize: 41298  readTime: 6 size: 13