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