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