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