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