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