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