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