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