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