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