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