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