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