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