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