(1,26) (2,16) (3,21) (4,25) (5,17) (6,30) (7,27) (8,22) (9,29) (11,23) (13,18) (14,24) (15,28) 
nodes: 8015  conflicts: 43  modelTime: 659  solveTime: 12371  totalTime: 13036  modelSize: 41298  readTime: 6 size: 13