(1,19) (2,11) (3,23) (4,30) (5,17) (6,7) (9,14) (10,27) (13,18) (15,29) (16,21) (20,25) (22,24) (26,28) 
nodes: 14669  conflicts: 75  modelTime: 1733  solveTime: 59493  totalTime: 61261  modelSize: 72263  readTime: 35 size: 14