(1,26) (2,29) (3,17) (4,20) (5,23) (6,24) (9,28) (10,25) (11,21) (12,16) (13,19) (14,27) (15,22) 
nodes: 2342  conflicts: 33  modelTime: 1193  solveTime: 5858  totalTime: 7061  modelSize: 41298  readTime: 10 size: 13