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