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