(1,26) (2,30) (3,23) (4,16) (5,20) (6,28) (7,24) (8,25) (9,22) (10,29) (11,21) (12,18) (13,27) (14,19) (15,17) 
nodes: 2765  conflicts: 3  modelTime: 767  solveTime: 3136  totalTime: 3910  modelSize: 41293  readTime: 7 size: 15