(1,16) (2,30) (3,20) (4,19) (5,28) (6,22) (7,23) (8,17) (9,21) (10,27) (12,18) (13,29) (14,26) (15,24) 
nodes: 12787  conflicts: 37  modelTime: 690  solveTime: 37279  totalTime: 37976  modelSize: 41292  readTime: 7 size: 14