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