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