loading SCIP... n: 30 m: 113 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 7 10 1 5 25 2 8 19 3 13 14 6 18 22 9 15 17 11 23 29 12 16 27 20 24 28