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