(1,2) (3,19) (4,18) (5,23) (6,14) (7,21) (8,20) (9,25) (10,29) (11,15) (12,26) (13,16) (17,28) (22,27) (24,30) 
nodes: 7834  conflicts: 55  modelTime: 939  solveTime: 23745  totalTime: 24696  modelSize: 72263  readTime: 12 size: 15