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