loading SCIP... n: 30 m: 293 packed: 10 density: 100 nodes: 0 solverTime: 78 buildTime: 0 solved: true 0 23 26 1 12 14 2 13 15 3 5 10 4 8 20 6 27 29 7 11 16 9 19 21 17 22 25 18 24 28