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