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