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