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