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