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