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