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