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