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