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