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