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