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