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