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