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