(1,22) (2,17) (3,27) (4,20) (5,30) (6,29) (7,21) (8,28) (10,18) (11,24) (12,23) (13,25) (14,19) (15,16) 
nodes: 48062  conflicts: 34  modelTime: 684  solveTime: 93040  totalTime: 93730  modelSize: 41293  readTime: 6 size: 14