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