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