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