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