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