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