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