(1,26) (2,18) (3,28) (4,23) (5,22) (6,20) (8,29) (9,21) (10,25) (11,19) (12,16) (14,17) (15,27) 
nodes: 1850  conflicts: 26  modelTime: 657  solveTime: 2120  totalTime: 2783  modelSize: 41298  readTime: 6 size: 13