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