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