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