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