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