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