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