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