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