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