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