loading SCIP... n: 30 m: 128 packed: 9 density: 90 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 3 26 1 20 25 2 16 21 4 5 17 6 15 19 7 10 22 8 28 29 9 11 12 13 18 24