loading SCIP... n: 30 m: 46 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 1 18 2 6 14 3 10 24 4 28 29 5 23 26 7 8 22 9 17 20 12 15 19