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