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