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