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