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