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