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