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