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