(1,24) (2,17) (3,26) (4,16) (5,21) (6,20) (7,25) (8,23) (9,29) (10,27) (12,30) (13,22) (15,18) 
nodes: 5020  conflicts: 39  modelTime: 657  solveTime: 7822  totalTime: 8486  modelSize: 41298  readTime: 6 size: 13