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