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