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