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