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