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