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