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