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