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