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